ARCH-COMP
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
ARCH-COMP Instance AT6abc
10FR
11
ARCH-COMP Instance AT6c
10FR
11
ARCH-COMP Instance AT6a
10Falsification Rate (FR)
11
ARCH-COMP AT2
10Falsification Rate (FR)
11
ARCH-COMP CC3
10FR
11
ARCH-COMP CC2
10Falsification Rate (FR)
11
ARCH-COMP Instance CC1
10FR
11
ARCH-COMP Instance AT6b
10Falsification Rate (FR)
10
ARCH-COMP Instance AT54
10Falsification Rate (FR)
10
ARCH-COMP Instance AT53
10FR
10
ARCH-COMP AT52
10Falsification Rate (FR)
10
ARCH-COMP Instance AT51
10Falsification Rate (FR)
10
ARCH-COMP CCx
10Falsification Rate (FR)
10
ARCH-COMP CC5
10Falsification Rate (FR)
10
ARCH-COMP AFC29
10FR
9
ARCH-COMP AFC27
10Falsification Rate (FR)
8
ARCH-COMP AT1
10Falsification Rate (FR)
7
ARCH-COMP Instance: CC4
10FR
5
ARCH-COMP Instance F16
10Falsification Rate (FR)
2
ARCH-COMP AFC33
10FR
1