Benchmarking ics, DIRECTORY=sal, EXT=ics, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
Carpark2-ausgabe-1 Carpark2-ausgabe-1.ics UNSAT 0.04
Carpark2-ausgabe-2 Carpark2-ausgabe-2.ics UNSAT 0.06
Carpark2-ausgabe-3 Carpark2-ausgabe-3.ics UNSAT 0.04
Carpark2-ausgabe-4 Carpark2-ausgabe-4.ics UNSAT 0.08
Carpark2-ausgabe-5 Carpark2-ausgabe-5.ics UNSAT 0.09
Carpark2-ausgabe-6 Carpark2-ausgabe-6.ics UNSAT 0.12
Carpark2-ausgabe-7 Carpark2-ausgabe-7.ics UNSAT 0.10
Carpark2-ausgabe-8 Carpark2-ausgabe-8.ics SAT 0.32
Carpark2-t1-1 Carpark2-t1-1.ics UNSAT 0.05
Carpark2-t1-2 Carpark2-t1-2.ics UNSAT 0.06
Carpark2-t1-3 Carpark2-t1-3.ics UNSAT 0.09
Carpark2-t1-4 Carpark2-t1-4.ics SAT 0.16
fischer3-mutex-1 fischer3-mutex-1.ics UNSAT 0.02
fischer3-mutex-10 fischer3-mutex-10.ics UNSAT 48.03
fischer3-mutex-11 fischer3-mutex-11.ics UNSAT 329.64
fischer3-mutex-12 fischer3-mutex-12.ics UNSAT 1719.96
fischer3-mutex-13 fischer3-mutex-13.ics UNSAT 2502.47
fischer3-mutex-14 fischer3-mutex-14.ics KILLED 2502.41
fischer3-mutex-15 fischer3-mutex-15.ics KILLED 1985.26
fischer3-mutex-16 fischer3-mutex-16.ics KILLED 1782.51
fischer3-mutex-17 fischer3-mutex-17.ics KILLED 1977.49
fischer3-mutex-18 fischer3-mutex-18.ics KILLED 2202.18
fischer3-mutex-19 fischer3-mutex-19.ics KILLED 1951.07
fischer3-mutex-2 fischer3-mutex-2.ics UNSAT 0.05
fischer3-mutex-20 fischer3-mutex-20.ics KILLED 1437.99
fischer3-mutex-3 fischer3-mutex-3.ics UNSAT 0.07
fischer3-mutex-4 fischer3-mutex-4.ics UNSAT 0.10
fischer3-mutex-5 fischer3-mutex-5.ics UNSAT 0.19
fischer3-mutex-6 fischer3-mutex-6.ics UNSAT 0.36
fischer3-mutex-7 fischer3-mutex-7.ics UNSAT 0.73
fischer3-mutex-8 fischer3-mutex-8.ics UNSAT 1.39
fischer3-mutex-9 fischer3-mutex-9.ics UNSAT 5.70
fischer6-mutex-1 fischer6-mutex-1.ics UNSAT 0.02
fischer6-mutex-10 fischer6-mutex-10.ics KILLED 2084.39
fischer6-mutex-11 fischer6-mutex-11.ics KILLED 1995.37
fischer6-mutex-12 fischer6-mutex-12.ics KILLED 1563.16
fischer6-mutex-13 fischer6-mutex-13.ics KILLED 1631.77
fischer6-mutex-14 fischer6-mutex-14.ics KILLED 1868.21
fischer6-mutex-15 fischer6-mutex-15.ics KILLED 2110.68
fischer6-mutex-16 fischer6-mutex-16.ics KILLED 1778.93
fischer6-mutex-17 fischer6-mutex-17.ics KILLED 1535.73
fischer6-mutex-18 fischer6-mutex-18.ics KILLED 1447.10
fischer6-mutex-19 fischer6-mutex-19.ics KILLED 1321.24
fischer6-mutex-2 fischer6-mutex-2.ics UNSAT 0.07
fischer6-mutex-20 fischer6-mutex-20.ics KILLED 1793.43
fischer6-mutex-3 fischer6-mutex-3.ics UNSAT 0.08
fischer6-mutex-4 fischer6-mutex-4.ics UNSAT 0.25
fischer6-mutex-5 fischer6-mutex-5.ics UNSAT 1.24
fischer6-mutex-6 fischer6-mutex-6.ics UNSAT 7.84
fischer6-mutex-7 fischer6-mutex-7.ics UNSAT 14.81
fischer6-mutex-8 fischer6-mutex-8.ics UNSAT 39.43
fischer6-mutex-9 fischer6-mutex-9.ics UNSAT 261.28
fischer9-mutex-1 fischer9-mutex-1.ics UNSAT 0.04
fischer9-mutex-10 fischer9-mutex-10.ics KILLED 2956.67
fischer9-mutex-11 fischer9-mutex-11.ics KILLED 2962.34
fischer9-mutex-12 fischer9-mutex-12.ics KILLED 1945.51
fischer9-mutex-13 fischer9-mutex-13.ics KILLED 1335.17
fischer9-mutex-14 fischer9-mutex-14.ics KILLED 1494.24
fischer9-mutex-15 fischer9-mutex-15.ics KILLED 1948.00
fischer9-mutex-16 fischer9-mutex-16.ics KILLED 1098.31
fischer9-mutex-17 fischer9-mutex-17.ics KILLED 1321.88
fischer9-mutex-18 fischer9-mutex-18.ics KILLED 2419.04
fischer9-mutex-19 fischer9-mutex-19.ics KILLED 1215.83
fischer9-mutex-2 fischer9-mutex-2.ics UNSAT 0.07
fischer9-mutex-20 fischer9-mutex-20.ics KILLED 3598.56
fischer9-mutex-3 fischer9-mutex-3.ics UNSAT 0.14
fischer9-mutex-4 fischer9-mutex-4.ics UNSAT 1.78
fischer9-mutex-5 fischer9-mutex-5.ics UNSAT 5.82
fischer9-mutex-6 fischer9-mutex-6.ics UNSAT 9.54
fischer9-mutex-7 fischer9-mutex-7.ics UNSAT 34.60
fischer9-mutex-8 fischer9-mutex-8.ics UNSAT 84.11
fischer9-mutex-9 fischer9-mutex-9.ics KILLED 3061.93
gasburner-prop3-1 gasburner-prop3-1.ics UNSAT 0.02
gasburner-prop3-10 gasburner-prop3-10.ics UNSAT 0.35
gasburner-prop3-11 gasburner-prop3-11.ics UNSAT 0.38
gasburner-prop3-12 gasburner-prop3-12.ics UNSAT 0.50
gasburner-prop3-13 gasburner-prop3-13.ics UNSAT 0.62
gasburner-prop3-14 gasburner-prop3-14.ics UNSAT 0.71
gasburner-prop3-15 gasburner-prop3-15.ics UNSAT 0.54
gasburner-prop3-16 gasburner-prop3-16.ics UNSAT 1.09
gasburner-prop3-17 gasburner-prop3-17.ics UNSAT 1.03
gasburner-prop3-18 gasburner-prop3-18.ics UNSAT 2.17
gasburner-prop3-19 gasburner-prop3-19.ics UNSAT 2.23
gasburner-prop3-2 gasburner-prop3-2.ics UNSAT 0.02
gasburner-prop3-20 gasburner-prop3-20.ics UNSAT 2.32
gasburner-prop3-3 gasburner-prop3-3.ics UNSAT 0.04
gasburner-prop3-4 gasburner-prop3-4.ics UNSAT 0.07
gasburner-prop3-5 gasburner-prop3-5.ics UNSAT 0.08
gasburner-prop3-6 gasburner-prop3-6.ics UNSAT 0.12
gasburner-prop3-7 gasburner-prop3-7.ics UNSAT 0.14
gasburner-prop3-8 gasburner-prop3-8.ics UNSAT 0.20
gasburner-prop3-9 gasburner-prop3-9.ics UNSAT 0.26
inf-bakery-invalid-1 inf-bakery-invalid-1.ics UNSAT 0.01
inf-bakery-invalid-10 inf-bakery-invalid-10.ics SAT 0.05
inf-bakery-invalid-2 inf-bakery-invalid-2.ics UNSAT 0.03
inf-bakery-invalid-3 inf-bakery-invalid-3.ics SAT 0.01
inf-bakery-invalid-4 inf-bakery-invalid-4.ics SAT 0.03
inf-bakery-invalid-5 inf-bakery-invalid-5.ics SAT 0.04
inf-bakery-invalid-6 inf-bakery-invalid-6.ics SAT 0.05
inf-bakery-invalid-7 inf-bakery-invalid-7.ics SAT 0.05
inf-bakery-invalid-8 inf-bakery-invalid-8.ics SAT 0.07
inf-bakery-invalid-9 inf-bakery-invalid-9.ics SAT 0.07
inf-bakery-mutex-1 inf-bakery-mutex-1.ics UNSAT 0.03
inf-bakery-mutex-10 inf-bakery-mutex-10.ics UNSAT 0.80
inf-bakery-mutex-11 inf-bakery-mutex-11.ics UNSAT 0.68
inf-bakery-mutex-12 inf-bakery-mutex-12.ics UNSAT 0.87
inf-bakery-mutex-13 inf-bakery-mutex-13.ics UNSAT 2.54
inf-bakery-mutex-14 inf-bakery-mutex-14.ics UNSAT 2.23
inf-bakery-mutex-15 inf-bakery-mutex-15.ics UNSAT 2.79
inf-bakery-mutex-16 inf-bakery-mutex-16.ics UNSAT 9.27
inf-bakery-mutex-17 inf-bakery-mutex-17.ics UNSAT 7.32
inf-bakery-mutex-18 inf-bakery-mutex-18.ics UNSAT 9.56
inf-bakery-mutex-19 inf-bakery-mutex-19.ics UNSAT 23.11
inf-bakery-mutex-2 inf-bakery-mutex-2.ics UNSAT 0.01
inf-bakery-mutex-20 inf-bakery-mutex-20.ics UNSAT 19.12
inf-bakery-mutex-3 inf-bakery-mutex-3.ics UNSAT 0.03
inf-bakery-mutex-4 inf-bakery-mutex-4.ics UNSAT 0.04
inf-bakery-mutex-5 inf-bakery-mutex-5.ics UNSAT 0.08
inf-bakery-mutex-6 inf-bakery-mutex-6.ics UNSAT 0.07
inf-bakery-mutex-7 inf-bakery-mutex-7.ics UNSAT 0.19
inf-bakery-mutex-8 inf-bakery-mutex-8.ics UNSAT 0.19
inf-bakery-mutex-9 inf-bakery-mutex-9.ics UNSAT 0.25
lpsat-goal-1 lpsat-goal-1.ics UNSAT 0.05
lpsat-goal-10 lpsat-goal-10.ics UNSAT 4.89
lpsat-goal-11 lpsat-goal-11.ics UNSAT 7.32
lpsat-goal-12 lpsat-goal-12.ics UNSAT 14.67
lpsat-goal-13 lpsat-goal-13.ics UNSAT 10.04
lpsat-goal-14 lpsat-goal-14.ics UNSAT 171.61
lpsat-goal-15 lpsat-goal-15.ics UNSAT 168.39
lpsat-goal-16 lpsat-goal-16.ics UNSAT 73.83
lpsat-goal-17 lpsat-goal-17.ics UNSAT 120.27
lpsat-goal-18 lpsat-goal-18.ics UNSAT 347.00
lpsat-goal-19 lpsat-goal-19.ics SAT 200.56
lpsat-goal-2 lpsat-goal-2.ics UNSAT 0.08
lpsat-goal-20 lpsat-goal-20.ics SAT 55.73
lpsat-goal-3 lpsat-goal-3.ics UNSAT 0.10
lpsat-goal-4 lpsat-goal-4.ics UNSAT 0.15
lpsat-goal-5 lpsat-goal-5.ics UNSAT 0.26
lpsat-goal-6 lpsat-goal-6.ics UNSAT 0.34
lpsat-goal-7 lpsat-goal-7.ics UNSAT 0.65
lpsat-goal-8 lpsat-goal-8.ics UNSAT 1.42
lpsat-goal-9 lpsat-goal-9.ics UNSAT 2.27
pursuit-safety-1 pursuit-safety-1.ics UNSAT 0.03
pursuit-safety-10 pursuit-safety-10.ics UNSAT 1.52
pursuit-safety-11 pursuit-safety-11.ics UNSAT 2.14
pursuit-safety-12 pursuit-safety-12.ics UNSAT 3.29
pursuit-safety-13 pursuit-safety-13.ics UNSAT 5.33
pursuit-safety-14 pursuit-safety-14.ics UNSAT 3.61
pursuit-safety-15 pursuit-safety-15.ics UNSAT 11.45
pursuit-safety-16 pursuit-safety-16.ics UNSAT 3.63
pursuit-safety-17 pursuit-safety-17.ics UNSAT 4.93
pursuit-safety-18 pursuit-safety-18.ics UNSAT 4.34
pursuit-safety-19 pursuit-safety-19.ics UNSAT 6.14
pursuit-safety-2 pursuit-safety-2.ics UNSAT 0.07
pursuit-safety-20 pursuit-safety-20.ics UNSAT 20.25
pursuit-safety-3 pursuit-safety-3.ics UNSAT 0.19
pursuit-safety-4 pursuit-safety-4.ics UNSAT 0.32
pursuit-safety-5 pursuit-safety-5.ics UNSAT 0.42
pursuit-safety-6 pursuit-safety-6.ics UNSAT 0.56
pursuit-safety-7 pursuit-safety-7.ics UNSAT 1.13
pursuit-safety-8 pursuit-safety-8.ics UNSAT 1.44
pursuit-safety-9 pursuit-safety-9.ics UNSAT 1.54
tgc_io-nosafe-1 tgc_io-nosafe-1.ics UNSAT 0.03
tgc_io-nosafe-2 tgc_io-nosafe-2.ics UNSAT 0.03
tgc_io-nosafe-3 tgc_io-nosafe-3.ics UNSAT 0.07
tgc_io-nosafe-4 tgc_io-nosafe-4.ics UNSAT 0.08
tgc_io-nosafe-5 tgc_io-nosafe-5.ics UNSAT 0.13
tgc_io-nosafe-6 tgc_io-nosafe-6.ics UNSAT 0.17
tgc_io-nosafe-7 tgc_io-nosafe-7.ics SAT 0.18
tgc_io-safe-1 tgc_io-safe-1.ics UNSAT 0.03
tgc_io-safe-10 tgc_io-safe-10.ics UNSAT 0.96
tgc_io-safe-11 tgc_io-safe-11.ics UNSAT 1.28
tgc_io-safe-12 tgc_io-safe-12.ics UNSAT 1.78
tgc_io-safe-13 tgc_io-safe-13.ics UNSAT 2.77
tgc_io-safe-14 tgc_io-safe-14.ics UNSAT 3.99
tgc_io-safe-15 tgc_io-safe-15.ics UNSAT 5.66
tgc_io-safe-16 tgc_io-safe-16.ics UNSAT 5.83
tgc_io-safe-17 tgc_io-safe-17.ics SAT 7.89
tgc_io-safe-18 tgc_io-safe-18.ics SAT 6.04
tgc_io-safe-19 tgc_io-safe-19.ics SAT 3.52
tgc_io-safe-2 tgc_io-safe-2.ics UNSAT 0.02
tgc_io-safe-20 tgc_io-safe-20.ics SAT 3.08
tgc_io-safe-3 tgc_io-safe-3.ics UNSAT 0.04
tgc_io-safe-4 tgc_io-safe-4.ics UNSAT 0.07
tgc_io-safe-5 tgc_io-safe-5.ics UNSAT 0.13
tgc_io-safe-6 tgc_io-safe-6.ics UNSAT 0.17
tgc_io-safe-7 tgc_io-safe-7.ics UNSAT 0.29
tgc_io-safe-8 tgc_io-safe-8.ics UNSAT 0.40
tgc_io-safe-9 tgc_io-safe-9.ics UNSAT 0.59
windowreal-no_t_deadlock-1 windowreal-no_t_deadlock-1.ics UNSAT 0.02
windowreal-no_t_deadlock-10 windowreal-no_t_deadlock-10.ics UNSAT 0.26
windowreal-no_t_deadlock-11 windowreal-no_t_deadlock-11.ics UNSAT 0.27
windowreal-no_t_deadlock-12 windowreal-no_t_deadlock-12.ics UNSAT 0.36
windowreal-no_t_deadlock-13 windowreal-no_t_deadlock-13.ics UNSAT 0.30
windowreal-no_t_deadlock-14 windowreal-no_t_deadlock-14.ics UNSAT 0.46
windowreal-no_t_deadlock-15 windowreal-no_t_deadlock-15.ics UNSAT 0.57
windowreal-no_t_deadlock-16 windowreal-no_t_deadlock-16.ics UNSAT 0.66
windowreal-no_t_deadlock-17 windowreal-no_t_deadlock-17.ics UNSAT 0.68
windowreal-no_t_deadlock-18 windowreal-no_t_deadlock-18.ics UNSAT 0.54
windowreal-no_t_deadlock-19 windowreal-no_t_deadlock-19.ics UNSAT 0.78
windowreal-no_t_deadlock-2 windowreal-no_t_deadlock-2.ics UNSAT 0.03
windowreal-no_t_deadlock-20 windowreal-no_t_deadlock-20.ics UNSAT 0.90
windowreal-no_t_deadlock-3 windowreal-no_t_deadlock-3.ics UNSAT 0.06
windowreal-no_t_deadlock-4 windowreal-no_t_deadlock-4.ics UNSAT 0.06
windowreal-no_t_deadlock-5 windowreal-no_t_deadlock-5.ics UNSAT 0.06
windowreal-no_t_deadlock-6 windowreal-no_t_deadlock-6.ics UNSAT 0.07
windowreal-no_t_deadlock-7 windowreal-no_t_deadlock-7.ics UNSAT 0.17
windowreal-no_t_deadlock-8 windowreal-no_t_deadlock-8.ics UNSAT 0.13
windowreal-no_t_deadlock-9 windowreal-no_t_deadlock-9.ics UNSAT 0.26
windowreal-safe-1 windowreal-safe-1.ics UNSAT 0.02
windowreal-safe-2 windowreal-safe-2.ics UNSAT 0.05
windowreal-safe-3 windowreal-safe-3.ics SAT 0.04
windowreal-safe-4 windowreal-safe-4.ics SAT 0.07
windowreal-safe2-1 windowreal-safe2-1.ics UNSAT 0.01
windowreal-safe2-2 windowreal-safe2-2.ics UNSAT 0.03
windowreal-safe2-3 windowreal-safe2-3.ics SAT 0.07
windowreal-safe2-4 windowreal-safe2-4.ics SAT 0.08