Benchmarking cvcl-1.0.1-fast, DIRECTORY=sal, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
Carpark2-ausgabe-1 Carpark2-ausgabe-1.cvc UNSAT 0.08
Carpark2-ausgabe-2 Carpark2-ausgabe-2.cvc UNSAT 0.16
Carpark2-ausgabe-3 Carpark2-ausgabe-3.cvc UNSAT 0.24
Carpark2-ausgabe-4 Carpark2-ausgabe-4.cvc UNSAT 1.18
Carpark2-ausgabe-5 Carpark2-ausgabe-5.cvc UNSAT 4.84
Carpark2-ausgabe-6 Carpark2-ausgabe-6.cvc UNSAT 9.02
Carpark2-ausgabe-7 Carpark2-ausgabe-7.cvc UNSAT 28.35
Carpark2-ausgabe-8 Carpark2-ausgabe-8.cvc SAT 9.72
Carpark2-t1-1 Carpark2-t1-1.cvc UNSAT 0.06
Carpark2-t1-2 Carpark2-t1-2.cvc UNSAT 0.17
Carpark2-t1-3 Carpark2-t1-3.cvc UNSAT 0.49
Carpark2-t1-4 Carpark2-t1-4.cvc SAT 1.40
fischer3-mutex-1 fischer3-mutex-1.cvc UNSAT 0.06
fischer3-mutex-10 fischer3-mutex-10.cvc KILLED 3600.96
fischer3-mutex-11 fischer3-mutex-11.cvc KILLED 3600.98
fischer3-mutex-12 fischer3-mutex-12.cvc KILLED 3600.96
fischer3-mutex-13 fischer3-mutex-13.cvc KILLED 3600.94
fischer3-mutex-14 fischer3-mutex-14.cvc KILLED 3600.95
fischer3-mutex-15 fischer3-mutex-15.cvc KILLED 3600.96
fischer3-mutex-16 fischer3-mutex-16.cvc KILLED 3601.00
fischer3-mutex-17 fischer3-mutex-17.cvc KILLED 3600.98
fischer3-mutex-18 fischer3-mutex-18.cvc KILLED 3600.95
fischer3-mutex-19 fischer3-mutex-19.cvc KILLED 3600.95
fischer3-mutex-2 fischer3-mutex-2.cvc UNSAT 0.14
fischer3-mutex-20 fischer3-mutex-20.cvc KILLED 3600.99
fischer3-mutex-3 fischer3-mutex-3.cvc UNSAT 0.36
fischer3-mutex-4 fischer3-mutex-4.cvc KILLED 3600.98
fischer3-mutex-5 fischer3-mutex-5.cvc KILLED 3600.99
fischer3-mutex-6 fischer3-mutex-6.cvc KILLED 3600.97
fischer3-mutex-7 fischer3-mutex-7.cvc UNSAT 0.89
fischer3-mutex-8 fischer3-mutex-8.cvc KILLED 3600.95
fischer3-mutex-9 fischer3-mutex-9.cvc KILLED 3600.98
fischer6-mutex-1 fischer6-mutex-1.cvc UNSAT 0.15
fischer6-mutex-10 fischer6-mutex-10.cvc KILLED 3600.94
fischer6-mutex-11 fischer6-mutex-11.cvc KILLED 3600.88
fischer6-mutex-12 fischer6-mutex-12.cvc KILLED 3600.94
fischer6-mutex-13 fischer6-mutex-13.cvc KILLED 3600.98
fischer6-mutex-14 fischer6-mutex-14.cvc KILLED 3600.97
fischer6-mutex-15 fischer6-mutex-15.cvc KILLED 3600.96
fischer6-mutex-16 fischer6-mutex-16.cvc KILLED 3600.94
fischer6-mutex-17 fischer6-mutex-17.cvc KILLED 3600.97
fischer6-mutex-18 fischer6-mutex-18.cvc KILLED 3600.94
fischer6-mutex-19 fischer6-mutex-19.cvc UNSAT 42.75
fischer6-mutex-2 fischer6-mutex-2.cvc UNSAT 0.30
fischer6-mutex-20 fischer6-mutex-20.cvc KILLED 3600.91
fischer6-mutex-3 fischer6-mutex-3.cvc UNSAT 2.14
fischer6-mutex-4 fischer6-mutex-4.cvc KILLED 3600.95
fischer6-mutex-5 fischer6-mutex-5.cvc KILLED 3600.96
fischer6-mutex-6 fischer6-mutex-6.cvc KILLED 3600.96
fischer6-mutex-7 fischer6-mutex-7.cvc KILLED 3600.98
fischer6-mutex-8 fischer6-mutex-8.cvc KILLED 3600.94
fischer6-mutex-9 fischer6-mutex-9.cvc KILLED 3600.96
fischer9-mutex-1 fischer9-mutex-1.cvc UNSAT 0.26
fischer9-mutex-10 fischer9-mutex-10.cvc KILLED 3600.93
fischer9-mutex-11 fischer9-mutex-11.cvc KILLED 3600.93
fischer9-mutex-12 fischer9-mutex-12.cvc KILLED 3600.95
fischer9-mutex-13 fischer9-mutex-13.cvc KILLED 3600.97
fischer9-mutex-14 fischer9-mutex-14.cvc KILLED 3600.97
fischer9-mutex-15 fischer9-mutex-15.cvc KILLED 3600.96
fischer9-mutex-16 fischer9-mutex-16.cvc KILLED 3600.91
fischer9-mutex-17 fischer9-mutex-17.cvc KILLED 3600.96
fischer9-mutex-18 fischer9-mutex-18.cvc KILLED 3600.96
fischer9-mutex-19 fischer9-mutex-19.cvc KILLED 3600.66
fischer9-mutex-2 fischer9-mutex-2.cvc UNSAT 0.49
fischer9-mutex-20 fischer9-mutex-20.cvc KILLED 3600.94
fischer9-mutex-3 fischer9-mutex-3.cvc KILLED 3601.00
fischer9-mutex-4 fischer9-mutex-4.cvc KILLED 3600.99
fischer9-mutex-5 fischer9-mutex-5.cvc KILLED 3601.00
fischer9-mutex-6 fischer9-mutex-6.cvc KILLED 3600.99
fischer9-mutex-7 fischer9-mutex-7.cvc KILLED 3600.99
fischer9-mutex-8 fischer9-mutex-8.cvc KILLED 3600.95
fischer9-mutex-9 fischer9-mutex-9.cvc KILLED 3600.95
gasburner-prop3-1 gasburner-prop3-1.cvc UNSAT 0.02
gasburner-prop3-10 gasburner-prop3-10.cvc UNSAT 1.34
gasburner-prop3-11 gasburner-prop3-11.cvc UNSAT 1.50
gasburner-prop3-12 gasburner-prop3-12.cvc UNSAT 1.81
gasburner-prop3-13 gasburner-prop3-13.cvc KILLED 3600.95
gasburner-prop3-14 gasburner-prop3-14.cvc UNSAT 2.59
gasburner-prop3-15 gasburner-prop3-15.cvc UNSAT 7.73
gasburner-prop3-16 gasburner-prop3-16.cvc UNSAT 5.55
gasburner-prop3-17 gasburner-prop3-17.cvc UNSAT 8.65
gasburner-prop3-18 gasburner-prop3-18.cvc KILLED 3600.83
gasburner-prop3-19 gasburner-prop3-19.cvc UNSAT 12.15
gasburner-prop3-2 gasburner-prop3-2.cvc UNSAT 0.06
gasburner-prop3-20 gasburner-prop3-20.cvc UNSAT 228.56
gasburner-prop3-3 gasburner-prop3-3.cvc UNSAT 0.19
gasburner-prop3-4 gasburner-prop3-4.cvc UNSAT 0.22
gasburner-prop3-5 gasburner-prop3-5.cvc UNSAT 0.32
gasburner-prop3-6 gasburner-prop3-6.cvc UNSAT 0.50
gasburner-prop3-7 gasburner-prop3-7.cvc UNSAT 0.57
gasburner-prop3-8 gasburner-prop3-8.cvc UNSAT 1.01
gasburner-prop3-9 gasburner-prop3-9.cvc UNSAT 0.87
inf-bakery-invalid-1 inf-bakery-invalid-1.cvc UNSAT 0.02
inf-bakery-invalid-10 inf-bakery-invalid-10.cvc SAT 0.84
inf-bakery-invalid-2 inf-bakery-invalid-2.cvc UNSAT 0.05
inf-bakery-invalid-3 inf-bakery-invalid-3.cvc SAT 0.10
inf-bakery-invalid-4 inf-bakery-invalid-4.cvc SAT 0.28
inf-bakery-invalid-5 inf-bakery-invalid-5.cvc SAT 0.37
inf-bakery-invalid-6 inf-bakery-invalid-6.cvc SAT 0.46
inf-bakery-invalid-7 inf-bakery-invalid-7.cvc SAT 0.55
inf-bakery-invalid-8 inf-bakery-invalid-8.cvc SAT 0.64
inf-bakery-invalid-9 inf-bakery-invalid-9.cvc SAT 0.74
inf-bakery-mutex-1 inf-bakery-mutex-1.cvc UNSAT 0.01
inf-bakery-mutex-10 inf-bakery-mutex-10.cvc KILLED 3600.98
inf-bakery-mutex-11 inf-bakery-mutex-11.cvc KILLED 3600.96
inf-bakery-mutex-12 inf-bakery-mutex-12.cvc KILLED 3600.98
inf-bakery-mutex-13 inf-bakery-mutex-13.cvc KILLED 3600.96
inf-bakery-mutex-14 inf-bakery-mutex-14.cvc KILLED 3600.97
inf-bakery-mutex-15 inf-bakery-mutex-15.cvc KILLED 3600.98
inf-bakery-mutex-16 inf-bakery-mutex-16.cvc KILLED 3600.97
inf-bakery-mutex-17 inf-bakery-mutex-17.cvc KILLED 3600.91
inf-bakery-mutex-18 inf-bakery-mutex-18.cvc KILLED 3600.89
inf-bakery-mutex-19 inf-bakery-mutex-19.cvc KILLED 3600.87
inf-bakery-mutex-2 inf-bakery-mutex-2.cvc UNSAT 0.05
inf-bakery-mutex-20 inf-bakery-mutex-20.cvc KILLED 3600.97
inf-bakery-mutex-3 inf-bakery-mutex-3.cvc KILLED 3600.97
inf-bakery-mutex-4 inf-bakery-mutex-4.cvc KILLED 3601.00
inf-bakery-mutex-5 inf-bakery-mutex-5.cvc KILLED 3600.89
inf-bakery-mutex-6 inf-bakery-mutex-6.cvc KILLED 3600.99
inf-bakery-mutex-7 inf-bakery-mutex-7.cvc KILLED 3600.98
inf-bakery-mutex-8 inf-bakery-mutex-8.cvc KILLED 3600.98
inf-bakery-mutex-9 inf-bakery-mutex-9.cvc KILLED 3600.97
lpsat-goal-1 lpsat-goal-1.cvc UNSAT 0.07
lpsat-goal-10 lpsat-goal-10.cvc KILLED 3600.57
lpsat-goal-11 lpsat-goal-11.cvc KILLED 3600.56
lpsat-goal-12 lpsat-goal-12.cvc KILLED 3600.59
lpsat-goal-13 lpsat-goal-13.cvc KILLED 3600.49
lpsat-goal-14 lpsat-goal-14.cvc KILLED 3600.34
lpsat-goal-15 lpsat-goal-15.cvc KILLED 3600.31
lpsat-goal-16 lpsat-goal-16.cvc KILLED 3600.54
lpsat-goal-17 lpsat-goal-17.cvc KILLED 3600.79
lpsat-goal-18 lpsat-goal-18.cvc KILLED 3600.53
lpsat-goal-19 lpsat-goal-19.cvc KILLED 3600.57
lpsat-goal-2 lpsat-goal-2.cvc UNSAT 0.20
lpsat-goal-20 lpsat-goal-20.cvc KILLED 3600.75
lpsat-goal-3 lpsat-goal-3.cvc UNSAT 0.99
lpsat-goal-4 lpsat-goal-4.cvc UNSAT 6.27
lpsat-goal-5 lpsat-goal-5.cvc KILLED 3600.94
lpsat-goal-6 lpsat-goal-6.cvc KILLED 3600.77
lpsat-goal-7 lpsat-goal-7.cvc KILLED 3600.86
lpsat-goal-8 lpsat-goal-8.cvc KILLED 3600.67
lpsat-goal-9 lpsat-goal-9.cvc KILLED 3600.71
pursuit-safety-1 pursuit-safety-1.cvc UNSAT 0.03
pursuit-safety-10 pursuit-safety-10.cvc KILLED 1789.03
pursuit-safety-11 pursuit-safety-11.cvc KILLED 2274.14
pursuit-safety-12 pursuit-safety-12.cvc KILLED 3598.79
pursuit-safety-13 pursuit-safety-13.cvc KILLED 2510.11
pursuit-safety-14 pursuit-safety-14.cvc KILLED 1938.52
pursuit-safety-15 pursuit-safety-15.cvc KILLED 3600.82
pursuit-safety-16 pursuit-safety-16.cvc KILLED 3599.28
pursuit-safety-17 pursuit-safety-17.cvc KILLED 3435.39
pursuit-safety-18 pursuit-safety-18.cvc KILLED 3424.25
pursuit-safety-19 pursuit-safety-19.cvc KILLED 3600.89
pursuit-safety-2 pursuit-safety-2.cvc UNSAT 0.14
pursuit-safety-20 pursuit-safety-20.cvc KILLED 3600.92
pursuit-safety-3 pursuit-safety-3.cvc UNSAT 0.42
pursuit-safety-4 pursuit-safety-4.cvc KILLED 3600.98
pursuit-safety-5 pursuit-safety-5.cvc KILLED 3600.96
pursuit-safety-6 pursuit-safety-6.cvc KILLED 3600.89
pursuit-safety-7 pursuit-safety-7.cvc KILLED 3600.93
pursuit-safety-8 pursuit-safety-8.cvc KILLED 3600.31
pursuit-safety-9 pursuit-safety-9.cvc KILLED 1925.95
tgc_io-nosafe-1 tgc_io-nosafe-1.cvc UNSAT 0.03
tgc_io-nosafe-2 tgc_io-nosafe-2.cvc UNSAT 0.23
tgc_io-nosafe-3 tgc_io-nosafe-3.cvc UNSAT 0.52
tgc_io-nosafe-4 tgc_io-nosafe-4.cvc UNSAT 1.01
tgc_io-nosafe-5 tgc_io-nosafe-5.cvc KILLED 3600.97
tgc_io-nosafe-6 tgc_io-nosafe-6.cvc KILLED 3600.95
tgc_io-nosafe-7 tgc_io-nosafe-7.cvc SAT 5.60
tgc_io-safe-1 tgc_io-safe-1.cvc UNSAT 0.04
tgc_io-safe-10 tgc_io-safe-10.cvc KILLED 3600.99
tgc_io-safe-11 tgc_io-safe-11.cvc KILLED 3600.99
tgc_io-safe-12 tgc_io-safe-12.cvc KILLED 3600.94
tgc_io-safe-13 tgc_io-safe-13.cvc KILLED 3600.95
tgc_io-safe-14 tgc_io-safe-14.cvc KILLED 3600.95
tgc_io-safe-15 tgc_io-safe-15.cvc KILLED 3600.96
tgc_io-safe-16 tgc_io-safe-16.cvc KILLED 3600.94
tgc_io-safe-17 tgc_io-safe-17.cvc KILLED 3600.93
tgc_io-safe-18 tgc_io-safe-18.cvc KILLED 3600.88
tgc_io-safe-19 tgc_io-safe-19.cvc KILLED 3600.92
tgc_io-safe-2 tgc_io-safe-2.cvc UNSAT 0.25
tgc_io-safe-20 tgc_io-safe-20.cvc KILLED 3600.23
tgc_io-safe-3 tgc_io-safe-3.cvc UNSAT 0.51
tgc_io-safe-4 tgc_io-safe-4.cvc KILLED 3600.98
tgc_io-safe-5 tgc_io-safe-5.cvc UNSAT 2.05
tgc_io-safe-6 tgc_io-safe-6.cvc KILLED 3600.96
tgc_io-safe-7 tgc_io-safe-7.cvc KILLED 3600.94
tgc_io-safe-8 tgc_io-safe-8.cvc KILLED 3600.95
tgc_io-safe-9 tgc_io-safe-9.cvc KILLED 3600.97
windowreal-no_t_deadlock-1 windowreal-no_t_deadlock-1.cvc UNSAT 0.03
windowreal-no_t_deadlock-10 windowreal-no_t_deadlock-10.cvc UNSAT 2.61
windowreal-no_t_deadlock-11 windowreal-no_t_deadlock-11.cvc UNSAT 2.38
windowreal-no_t_deadlock-12 windowreal-no_t_deadlock-12.cvc UNSAT 13.27
windowreal-no_t_deadlock-13 windowreal-no_t_deadlock-13.cvc UNSAT 27.99
windowreal-no_t_deadlock-14 windowreal-no_t_deadlock-14.cvc UNSAT 7.44
windowreal-no_t_deadlock-15 windowreal-no_t_deadlock-15.cvc UNSAT 4.24
windowreal-no_t_deadlock-16 windowreal-no_t_deadlock-16.cvc UNSAT 11.91
windowreal-no_t_deadlock-17 windowreal-no_t_deadlock-17.cvc UNSAT 76.52
windowreal-no_t_deadlock-18 windowreal-no_t_deadlock-18.cvc UNSAT 12.12
windowreal-no_t_deadlock-19 windowreal-no_t_deadlock-19.cvc UNSAT 6.69
windowreal-no_t_deadlock-2 windowreal-no_t_deadlock-2.cvc UNSAT 0.21
windowreal-no_t_deadlock-20 windowreal-no_t_deadlock-20.cvc UNSAT 35.90
windowreal-no_t_deadlock-3 windowreal-no_t_deadlock-3.cvc UNSAT 0.23
windowreal-no_t_deadlock-4 windowreal-no_t_deadlock-4.cvc UNSAT 0.68
windowreal-no_t_deadlock-5 windowreal-no_t_deadlock-5.cvc KILLED 3600.99
windowreal-no_t_deadlock-6 windowreal-no_t_deadlock-6.cvc UNSAT 1.50
windowreal-no_t_deadlock-7 windowreal-no_t_deadlock-7.cvc UNSAT 1.03
windowreal-no_t_deadlock-8 windowreal-no_t_deadlock-8.cvc UNSAT 3.08
windowreal-no_t_deadlock-9 windowreal-no_t_deadlock-9.cvc UNSAT 18.16
windowreal-safe-1 windowreal-safe-1.cvc UNSAT 0.04
windowreal-safe-2 windowreal-safe-2.cvc UNSAT 0.21
windowreal-safe-3 windowreal-safe-3.cvc SAT 1.05
windowreal-safe-4 windowreal-safe-4.cvc SAT 0.93
windowreal-safe2-1 windowreal-safe2-1.cvc UNSAT 0.03
windowreal-safe2-2 windowreal-safe2-2.cvc UNSAT 0.18
windowreal-safe2-3 windowreal-safe2-3.cvc SAT 1.10
windowreal-safe2-4 windowreal-safe2-4.cvc SAT 0.97