Benchmarking cvc, DIRECTORY=sal, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
Carpark2-ausgabe-1 Carpark2-ausgabe-1.cvc UNSAT 0.07
Carpark2-ausgabe-2 Carpark2-ausgabe-2.cvc UNSAT 0.15
Carpark2-ausgabe-3 Carpark2-ausgabe-3.cvc UNSAT 0.23
Carpark2-ausgabe-4 Carpark2-ausgabe-4.cvc UNSAT 0.27
Carpark2-ausgabe-5 Carpark2-ausgabe-5.cvc UNSAT 0.40
Carpark2-ausgabe-6 Carpark2-ausgabe-6.cvc UNSAT 0.57
Carpark2-ausgabe-7 Carpark2-ausgabe-7.cvc UNSAT 0.90
Carpark2-ausgabe-8 Carpark2-ausgabe-8.cvc SAT 1.09
Carpark2-t1-1 Carpark2-t1-1.cvc UNSAT 0.10
Carpark2-t1-2 Carpark2-t1-2.cvc UNSAT 0.17
Carpark2-t1-3 Carpark2-t1-3.cvc UNSAT 0.20
Carpark2-t1-4 Carpark2-t1-4.cvc SAT 0.33
fischer3-mutex-1 fischer3-mutex-1.cvc UNSAT 0.07
fischer3-mutex-10 fischer3-mutex-10.cvc UNSAT 283.44
fischer3-mutex-11 fischer3-mutex-11.cvc KILLED 349.73
fischer3-mutex-12 fischer3-mutex-12.cvc KILLED 367.71
fischer3-mutex-13 fischer3-mutex-13.cvc KILLED 371.19
fischer3-mutex-14 fischer3-mutex-14.cvc UNEXPECTED 343.54
fischer3-mutex-15 fischer3-mutex-15.cvc KILLED 364.54
fischer3-mutex-16 fischer3-mutex-16.cvc KILLED 369.36
fischer3-mutex-17 fischer3-mutex-17.cvc KILLED 369.49
fischer3-mutex-18 fischer3-mutex-18.cvc UNEXPECTED 369.08
fischer3-mutex-19 fischer3-mutex-19.cvc KILLED 362.72
fischer3-mutex-2 fischer3-mutex-2.cvc UNSAT 0.21
fischer3-mutex-20 fischer3-mutex-20.cvc KILLED 350.24
fischer3-mutex-3 fischer3-mutex-3.cvc UNSAT 0.38
fischer3-mutex-4 fischer3-mutex-4.cvc UNSAT 1.23
fischer3-mutex-5 fischer3-mutex-5.cvc UNSAT 2.85
fischer3-mutex-6 fischer3-mutex-6.cvc UNSAT 3.90
fischer3-mutex-7 fischer3-mutex-7.cvc UNSAT 8.65
fischer3-mutex-8 fischer3-mutex-8.cvc UNSAT 29.05
fischer3-mutex-9 fischer3-mutex-9.cvc KILLED 366.84
fischer6-mutex-1 fischer6-mutex-1.cvc UNSAT 0.17
fischer6-mutex-10 fischer6-mutex-10.cvc UNEXPECTED 316.32
fischer6-mutex-11 fischer6-mutex-11.cvc KILLED 289.31
fischer6-mutex-12 fischer6-mutex-12.cvc KILLED 279.14
fischer6-mutex-13 fischer6-mutex-13.cvc KILLED 283.62
fischer6-mutex-14 fischer6-mutex-14.cvc KILLED 266.90
fischer6-mutex-15 fischer6-mutex-15.cvc KILLED 282.21
fischer6-mutex-16 fischer6-mutex-16.cvc KILLED 270.05
fischer6-mutex-17 fischer6-mutex-17.cvc KILLED 268.39
fischer6-mutex-18 fischer6-mutex-18.cvc KILLED 264.79
fischer6-mutex-19 fischer6-mutex-19.cvc KILLED 264.87
fischer6-mutex-2 fischer6-mutex-2.cvc UNSAT 0.48
fischer6-mutex-20 fischer6-mutex-20.cvc KILLED 285.99
fischer6-mutex-3 fischer6-mutex-3.cvc UNSAT 1.13
fischer6-mutex-4 fischer6-mutex-4.cvc UNSAT 4.92
fischer6-mutex-5 fischer6-mutex-5.cvc UNSAT 64.02
fischer6-mutex-6 fischer6-mutex-6.cvc UNSAT 36.30
fischer6-mutex-7 fischer6-mutex-7.cvc UNSAT 157.54
fischer6-mutex-8 fischer6-mutex-8.cvc KILLED 377.94
fischer6-mutex-9 fischer6-mutex-9.cvc KILLED 344.53
fischer9-mutex-1 fischer9-mutex-1.cvc UNSAT 0.25
fischer9-mutex-10 fischer9-mutex-10.cvc KILLED 318.23
fischer9-mutex-11 fischer9-mutex-11.cvc KILLED 293.62
fischer9-mutex-12 fischer9-mutex-12.cvc KILLED 273.67
fischer9-mutex-13 fischer9-mutex-13.cvc KILLED 254.71
fischer9-mutex-14 fischer9-mutex-14.cvc KILLED 252.49
fischer9-mutex-15 fischer9-mutex-15.cvc KILLED 254.73
fischer9-mutex-16 fischer9-mutex-16.cvc KILLED 249.56
fischer9-mutex-17 fischer9-mutex-17.cvc KILLED 244.61
fischer9-mutex-18 fischer9-mutex-18.cvc KILLED 257.25
fischer9-mutex-19 fischer9-mutex-19.cvc KILLED 253.53
fischer9-mutex-2 fischer9-mutex-2.cvc UNSAT 0.81
fischer9-mutex-20 fischer9-mutex-20.cvc KILLED 253.09
fischer9-mutex-3 fischer9-mutex-3.cvc UNSAT 2.23
fischer9-mutex-4 fischer9-mutex-4.cvc UNSAT 14.31
fischer9-mutex-5 fischer9-mutex-5.cvc KILLED 325.62
fischer9-mutex-6 fischer9-mutex-6.cvc KILLED 307.61
fischer9-mutex-7 fischer9-mutex-7.cvc KILLED 328.29
fischer9-mutex-8 fischer9-mutex-8.cvc UNEXPECTED 344.20
fischer9-mutex-9 fischer9-mutex-9.cvc KILLED 326.55
gasburner-prop3-1 gasburner-prop3-1.cvc UNSAT 0.03
gasburner-prop3-10 gasburner-prop3-10.cvc UNSAT 9.18
gasburner-prop3-11 gasburner-prop3-11.cvc UNSAT 13.75
gasburner-prop3-12 gasburner-prop3-12.cvc UNSAT 25.09
gasburner-prop3-13 gasburner-prop3-13.cvc UNSAT 57.12
gasburner-prop3-14 gasburner-prop3-14.cvc KILLED 3599.82
gasburner-prop3-15 gasburner-prop3-15.cvc UNSAT 119.18
gasburner-prop3-16 gasburner-prop3-16.cvc UNSAT 166.67
gasburner-prop3-17 gasburner-prop3-17.cvc KILLED 1223.05
gasburner-prop3-18 gasburner-prop3-18.cvc KILLED 3112.33
gasburner-prop3-19 gasburner-prop3-19.cvc KILLED 616.36
gasburner-prop3-2 gasburner-prop3-2.cvc UNSAT 0.10
gasburner-prop3-20 gasburner-prop3-20.cvc KILLED 713.10
gasburner-prop3-3 gasburner-prop3-3.cvc UNSAT 0.22
gasburner-prop3-4 gasburner-prop3-4.cvc UNSAT 0.39
gasburner-prop3-5 gasburner-prop3-5.cvc UNSAT 1.29
gasburner-prop3-6 gasburner-prop3-6.cvc UNSAT 1.29
gasburner-prop3-7 gasburner-prop3-7.cvc UNSAT 2.26
gasburner-prop3-8 gasburner-prop3-8.cvc UNSAT 4.56
gasburner-prop3-9 gasburner-prop3-9.cvc UNSAT 9.28
inf-bakery-invalid-1 inf-bakery-invalid-1.cvc UNSAT 0.04
inf-bakery-invalid-10 inf-bakery-invalid-10.cvc SAT 0.54
inf-bakery-invalid-2 inf-bakery-invalid-2.cvc UNSAT 0.04
inf-bakery-invalid-3 inf-bakery-invalid-3.cvc SAT 0.06
inf-bakery-invalid-4 inf-bakery-invalid-4.cvc SAT 0.06
inf-bakery-invalid-5 inf-bakery-invalid-5.cvc SAT 0.17
inf-bakery-invalid-6 inf-bakery-invalid-6.cvc SAT 0.24
inf-bakery-invalid-7 inf-bakery-invalid-7.cvc SAT 0.21
inf-bakery-invalid-8 inf-bakery-invalid-8.cvc SAT 0.46
inf-bakery-invalid-9 inf-bakery-invalid-9.cvc SAT 0.22
inf-bakery-mutex-1 inf-bakery-mutex-1.cvc UNSAT 0.02
inf-bakery-mutex-10 inf-bakery-mutex-10.cvc UNSAT 0.96
inf-bakery-mutex-11 inf-bakery-mutex-11.cvc UNSAT 1.65
inf-bakery-mutex-12 inf-bakery-mutex-12.cvc UNSAT 1.74
inf-bakery-mutex-13 inf-bakery-mutex-13.cvc UNSAT 2.03
inf-bakery-mutex-14 inf-bakery-mutex-14.cvc UNSAT 2.74
inf-bakery-mutex-15 inf-bakery-mutex-15.cvc UNSAT 2.96
inf-bakery-mutex-16 inf-bakery-mutex-16.cvc UNSAT 3.30
inf-bakery-mutex-17 inf-bakery-mutex-17.cvc UNSAT 4.04
inf-bakery-mutex-18 inf-bakery-mutex-18.cvc UNSAT 4.29
inf-bakery-mutex-19 inf-bakery-mutex-19.cvc UNSAT 4.62
inf-bakery-mutex-2 inf-bakery-mutex-2.cvc UNSAT 0.04
inf-bakery-mutex-20 inf-bakery-mutex-20.cvc UNSAT 5.56
inf-bakery-mutex-3 inf-bakery-mutex-3.cvc UNSAT 0.07
inf-bakery-mutex-4 inf-bakery-mutex-4.cvc UNSAT 0.13
inf-bakery-mutex-5 inf-bakery-mutex-5.cvc UNSAT 0.18
inf-bakery-mutex-6 inf-bakery-mutex-6.cvc UNSAT 0.26
inf-bakery-mutex-7 inf-bakery-mutex-7.cvc UNSAT 0.41
inf-bakery-mutex-8 inf-bakery-mutex-8.cvc UNSAT 0.71
inf-bakery-mutex-9 inf-bakery-mutex-9.cvc UNSAT 0.80
lpsat-goal-1 lpsat-goal-1.cvc UNSAT 0.21
lpsat-goal-10 lpsat-goal-10.cvc KILLED 355.49
lpsat-goal-11 lpsat-goal-11.cvc KILLED 354.18
lpsat-goal-12 lpsat-goal-12.cvc KILLED 368.79
lpsat-goal-13 lpsat-goal-13.cvc KILLED 368.40
lpsat-goal-14 lpsat-goal-14.cvc KILLED 366.93
lpsat-goal-15 lpsat-goal-15.cvc KILLED 370.90
lpsat-goal-16 lpsat-goal-16.cvc KILLED 375.76
lpsat-goal-17 lpsat-goal-17.cvc KILLED 354.90
lpsat-goal-18 lpsat-goal-18.cvc KILLED 368.26
lpsat-goal-19 lpsat-goal-19.cvc KILLED 371.25
lpsat-goal-2 lpsat-goal-2.cvc UNSAT 0.58
lpsat-goal-20 lpsat-goal-20.cvc KILLED 346.67
lpsat-goal-3 lpsat-goal-3.cvc UNSAT 1.47
lpsat-goal-4 lpsat-goal-4.cvc UNSAT 3.59
lpsat-goal-5 lpsat-goal-5.cvc UNSAT 16.97
lpsat-goal-6 lpsat-goal-6.cvc UNSAT 131.05
lpsat-goal-7 lpsat-goal-7.cvc KILLED 338.59
lpsat-goal-8 lpsat-goal-8.cvc KILLED 324.18
lpsat-goal-9 lpsat-goal-9.cvc KILLED 339.81
pursuit-safety-1 pursuit-safety-1.cvc UNSAT 0.07
pursuit-safety-10 pursuit-safety-10.cvc UNSAT 199.06
pursuit-safety-11 pursuit-safety-11.cvc UNSAT 353.20
pursuit-safety-12 pursuit-safety-12.cvc KILLED 763.22
pursuit-safety-13 pursuit-safety-13.cvc KILLED 725.23
pursuit-safety-14 pursuit-safety-14.cvc KILLED 808.65
pursuit-safety-15 pursuit-safety-15.cvc KILLED 832.00
pursuit-safety-16 pursuit-safety-16.cvc KILLED 846.46
pursuit-safety-17 pursuit-safety-17.cvc UNEXPECTED 857.81
pursuit-safety-18 pursuit-safety-18.cvc KILLED 906.94
pursuit-safety-19 pursuit-safety-19.cvc KILLED 859.69
pursuit-safety-2 pursuit-safety-2.cvc UNSAT 0.18
pursuit-safety-20 pursuit-safety-20.cvc KILLED 938.53
pursuit-safety-3 pursuit-safety-3.cvc UNSAT 0.63
pursuit-safety-4 pursuit-safety-4.cvc UNSAT 1.56
pursuit-safety-5 pursuit-safety-5.cvc UNSAT 4.63
pursuit-safety-6 pursuit-safety-6.cvc UNSAT 9.02
pursuit-safety-7 pursuit-safety-7.cvc UNSAT 23.30
pursuit-safety-8 pursuit-safety-8.cvc UNSAT 39.49
pursuit-safety-9 pursuit-safety-9.cvc UNSAT 91.41
tgc_io-nosafe-1 tgc_io-nosafe-1.cvc UNSAT 0.05
tgc_io-nosafe-2 tgc_io-nosafe-2.cvc UNSAT 0.09
tgc_io-nosafe-3 tgc_io-nosafe-3.cvc UNSAT 0.19
tgc_io-nosafe-4 tgc_io-nosafe-4.cvc UNSAT 0.54
tgc_io-nosafe-5 tgc_io-nosafe-5.cvc UNSAT 0.93
tgc_io-nosafe-6 tgc_io-nosafe-6.cvc UNSAT 1.74
tgc_io-nosafe-7 tgc_io-nosafe-7.cvc SAT 2.48
tgc_io-safe-1 tgc_io-safe-1.cvc UNSAT 0.05
tgc_io-safe-10 tgc_io-safe-10.cvc UNSAT 21.75
tgc_io-safe-11 tgc_io-safe-11.cvc UNSAT 39.99
tgc_io-safe-12 tgc_io-safe-12.cvc UNSAT 62.90
tgc_io-safe-13 tgc_io-safe-13.cvc UNSAT 112.85
tgc_io-safe-14 tgc_io-safe-14.cvc UNSAT 166.72
tgc_io-safe-15 tgc_io-safe-15.cvc UNSAT 314.50
tgc_io-safe-16 tgc_io-safe-16.cvc UNSAT 458.01
tgc_io-safe-17 tgc_io-safe-17.cvc SAT 414.90
tgc_io-safe-18 tgc_io-safe-18.cvc SAT 424.99
tgc_io-safe-19 tgc_io-safe-19.cvc KILLED 588.56
tgc_io-safe-2 tgc_io-safe-2.cvc UNSAT 0.05
tgc_io-safe-20 tgc_io-safe-20.cvc KILLED 632.29
tgc_io-safe-3 tgc_io-safe-3.cvc UNSAT 0.23
tgc_io-safe-4 tgc_io-safe-4.cvc UNSAT 0.53
tgc_io-safe-5 tgc_io-safe-5.cvc UNSAT 1.01
tgc_io-safe-6 tgc_io-safe-6.cvc UNSAT 1.81
tgc_io-safe-7 tgc_io-safe-7.cvc UNSAT 3.91
tgc_io-safe-8 tgc_io-safe-8.cvc UNSAT 7.16
tgc_io-safe-9 tgc_io-safe-9.cvc UNSAT 14.06
windowreal-no_t_deadlock-1 windowreal-no_t_deadlock-1.cvc UNSAT 0.06
windowreal-no_t_deadlock-10 windowreal-no_t_deadlock-10.cvc UNSAT 0.88
windowreal-no_t_deadlock-11 windowreal-no_t_deadlock-11.cvc UNSAT 1.02
windowreal-no_t_deadlock-12 windowreal-no_t_deadlock-12.cvc UNSAT 1.15
windowreal-no_t_deadlock-13 windowreal-no_t_deadlock-13.cvc UNSAT 1.34
windowreal-no_t_deadlock-14 windowreal-no_t_deadlock-14.cvc UNSAT 1.51
windowreal-no_t_deadlock-15 windowreal-no_t_deadlock-15.cvc UNSAT 1.75
windowreal-no_t_deadlock-16 windowreal-no_t_deadlock-16.cvc UNSAT 1.97
windowreal-no_t_deadlock-17 windowreal-no_t_deadlock-17.cvc UNSAT 2.18
windowreal-no_t_deadlock-18 windowreal-no_t_deadlock-18.cvc UNSAT 2.46
windowreal-no_t_deadlock-19 windowreal-no_t_deadlock-19.cvc UNSAT 2.74
windowreal-no_t_deadlock-2 windowreal-no_t_deadlock-2.cvc UNSAT 0.07
windowreal-no_t_deadlock-20 windowreal-no_t_deadlock-20.cvc UNSAT 3.01
windowreal-no_t_deadlock-3 windowreal-no_t_deadlock-3.cvc UNSAT 0.18
windowreal-no_t_deadlock-4 windowreal-no_t_deadlock-4.cvc UNSAT 0.25
windowreal-no_t_deadlock-5 windowreal-no_t_deadlock-5.cvc UNSAT 0.33
windowreal-no_t_deadlock-6 windowreal-no_t_deadlock-6.cvc UNSAT 0.41
windowreal-no_t_deadlock-7 windowreal-no_t_deadlock-7.cvc UNSAT 0.50
windowreal-no_t_deadlock-8 windowreal-no_t_deadlock-8.cvc UNSAT 0.58
windowreal-no_t_deadlock-9 windowreal-no_t_deadlock-9.cvc UNSAT 0.74
windowreal-safe-1 windowreal-safe-1.cvc UNSAT 0.06
windowreal-safe-2 windowreal-safe-2.cvc UNSAT 0.09
windowreal-safe-3 windowreal-safe-3.cvc SAT 0.29
windowreal-safe-4 windowreal-safe-4.cvc SAT 0.44
windowreal-safe2-1 windowreal-safe2-1.cvc UNSAT 0.05
windowreal-safe2-2 windowreal-safe2-2.cvc UNSAT 0.13
windowreal-safe2-3 windowreal-safe2-3.cvc SAT 0.30
windowreal-safe2-4 windowreal-safe2-4.cvc SAT 0.43