Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Robustness Verification on MUTAG (All instances)
Loading...
188
Solved Count
RobLight
60.08
93.29
126.5
159.71
Oct 21, 2025
Solved Count
Verification Time (s)
Graph Time (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Solved Count
Verification Time (s)
Graph Time (s)
RobLight
Aggregation function=s...
2025.10
188
0.09
0.06
RobLight
Aggregation function=s...
2025.10
188
0.1
0.07
RobLight
Aggregation function=m...
2025.10
188
0.01
0.01
RobLight
Aggregation function=m...
2025.10
187
6.28
1.04
SCIP-MPNN
Aggregation function=s...
2025.10
65
22.9
8.22
Feedback
Search any
task
Search any
task
