Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Verification on MUTAG global budget Delta=2, local budget delta=2
Loading...
188
Solved Count (All Instances)
RobLight
71.52
101.76
132
162.24
Oct 21, 2025
Solved Count (All Instances)
Time Taken (s) (All Instances)
Target Time (s) (All Instances)
Solved Count (Robust Instances)
Time Taken (s) (Robust Instances)
Target Time (s) (Robust Instances)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Count (All Instances)
Time Taken (s) (All Instances)
Target Time (s) (All Instances)
Solved Count (Robust Instances)
Time Taken (s) (Robust Instances)
Target Time (s) (Robust Instances)
RobLight
Aggregation function=s...
2025.10
188
0.07
0.06
2
3.87
3.35
RobLight
Aggregation function=s...
2025.10
188
0.07
0.06
2
3.92
3.39
RobLight
Aggregation function=m...
2025.10
188
0.02
0.02
0
-
-
RobLight
Aggregation function=m...
2025.10
188
1.58
1.29
42
6.4
6.15
SCIP-MPNN
Aggregation function=s...
2025.10
76
39.47
11.67
0
-
-
Feedback
Search any
task
Search any
task