Benchmarking svc, DIRECTORY=sal, EXT=svc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
Carpark2-ausgabe-1 Carpark2-ausgabe-1.svc UNSAT 0.02
Carpark2-ausgabe-2 Carpark2-ausgabe-2.svc UNSAT 0.07
Carpark2-ausgabe-3 Carpark2-ausgabe-3.svc UNSAT 0.12
Carpark2-ausgabe-4 Carpark2-ausgabe-4.svc UNSAT 0.38
Carpark2-ausgabe-5 Carpark2-ausgabe-5.svc UNSAT 23.06
Carpark2-ausgabe-6 Carpark2-ausgabe-6.svc UNSAT 230.63
Carpark2-ausgabe-7 Carpark2-ausgabe-7.svc UNSAT 1304.42
Carpark2-ausgabe-8 Carpark2-ausgabe-8.svc SAT 553.64
Carpark2-t1-1 Carpark2-t1-1.svc UNSAT 0.04
Carpark2-t1-2 Carpark2-t1-2.svc UNSAT 0.06
Carpark2-t1-3 Carpark2-t1-3.svc UNSAT 0.13
Carpark2-t1-4 Carpark2-t1-4.svc SAT 0.18
fischer3-mutex-1 fischer3-mutex-1.svc UNSAT 0.01
fischer3-mutex-10 fischer3-mutex-10.svc KILLED 3600.95
fischer3-mutex-11 fischer3-mutex-11.svc KILLED 3600.97
fischer3-mutex-12 fischer3-mutex-12.svc KILLED 3600.96
fischer3-mutex-13 fischer3-mutex-13.svc KILLED 3598.20
fischer3-mutex-14 fischer3-mutex-14.svc KILLED 3589.46
fischer3-mutex-15 fischer3-mutex-15.svc KILLED 3583.64
fischer3-mutex-16 fischer3-mutex-16.svc KILLED 3588.06
fischer3-mutex-17 fischer3-mutex-17.svc KILLED 3584.54
fischer3-mutex-18 fischer3-mutex-18.svc KILLED 3592.48
fischer3-mutex-19 fischer3-mutex-19.svc KILLED 3600.92
fischer3-mutex-2 fischer3-mutex-2.svc UNSAT 0.04
fischer3-mutex-20 fischer3-mutex-20.svc KILLED 3600.98
fischer3-mutex-3 fischer3-mutex-3.svc UNSAT 0.14
fischer3-mutex-4 fischer3-mutex-4.svc UNSAT 3.28
fischer3-mutex-5 fischer3-mutex-5.svc UNSAT 28.65
fischer3-mutex-6 fischer3-mutex-6.svc UNSAT 121.68
fischer3-mutex-7 fischer3-mutex-7.svc UNSAT 395.37
fischer3-mutex-8 fischer3-mutex-8.svc UNSAT 1110.70
fischer3-mutex-9 fischer3-mutex-9.svc UNSAT 2986.00
fischer6-mutex-1 fischer6-mutex-1.svc UNSAT 0.03
fischer6-mutex-10 fischer6-mutex-10.svc KILLED 3600.77
fischer6-mutex-11 fischer6-mutex-11.svc KILLED 3600.73
fischer6-mutex-12 fischer6-mutex-12.svc KILLED 3600.94
fischer6-mutex-13 fischer6-mutex-13.svc KILLED 3599.50
fischer6-mutex-14 fischer6-mutex-14.svc KILLED 3599.54
fischer6-mutex-15 fischer6-mutex-15.svc KILLED 3600.38
fischer6-mutex-16 fischer6-mutex-16.svc KILLED 3600.70
fischer6-mutex-17 fischer6-mutex-17.svc KILLED 3600.87
fischer6-mutex-18 fischer6-mutex-18.svc KILLED 3600.94
fischer6-mutex-19 fischer6-mutex-19.svc KILLED 3600.87
fischer6-mutex-2 fischer6-mutex-2.svc UNSAT 0.11
fischer6-mutex-20 fischer6-mutex-20.svc KILLED 3600.93
fischer6-mutex-3 fischer6-mutex-3.svc UNSAT 1.96
fischer6-mutex-4 fischer6-mutex-4.svc UNSAT 2983.00
fischer6-mutex-5 fischer6-mutex-5.svc KILLED 3600.96
fischer6-mutex-6 fischer6-mutex-6.svc KILLED 3600.85
fischer6-mutex-7 fischer6-mutex-7.svc KILLED 3600.41
fischer6-mutex-8 fischer6-mutex-8.svc KILLED 3599.50
fischer6-mutex-9 fischer6-mutex-9.svc KILLED 3598.16
fischer9-mutex-1 fischer9-mutex-1.svc UNSAT 0.08
fischer9-mutex-10 fischer9-mutex-10.svc KILLED 3600.38
fischer9-mutex-11 fischer9-mutex-11.svc KILLED 3600.32
fischer9-mutex-12 fischer9-mutex-12.svc KILLED 3600.46
fischer9-mutex-13 fischer9-mutex-13.svc KILLED 3600.82
fischer9-mutex-14 fischer9-mutex-14.svc KILLED 3600.25
fischer9-mutex-15 fischer9-mutex-15.svc KILLED 3600.65
fischer9-mutex-16 fischer9-mutex-16.svc KILLED 3599.73
fischer9-mutex-17 fischer9-mutex-17.svc KILLED 3600.79
fischer9-mutex-18 fischer9-mutex-18.svc KILLED 3600.18
fischer9-mutex-19 fischer9-mutex-19.svc KILLED 3600.80
fischer9-mutex-2 fischer9-mutex-2.svc UNSAT 0.26
fischer9-mutex-20 fischer9-mutex-20.svc KILLED 3600.92
fischer9-mutex-3 fischer9-mutex-3.svc UNSAT 35.31
fischer9-mutex-4 fischer9-mutex-4.svc KILLED 3600.98
fischer9-mutex-5 fischer9-mutex-5.svc KILLED 3600.95
fischer9-mutex-6 fischer9-mutex-6.svc KILLED 3600.57
fischer9-mutex-7 fischer9-mutex-7.svc KILLED 3600.04
fischer9-mutex-8 fischer9-mutex-8.svc KILLED 3600.91
fischer9-mutex-9 fischer9-mutex-9.svc KILLED 3600.36
gasburner-prop3-1 gasburner-prop3-1.svc UNSAT 0.01
gasburner-prop3-10 gasburner-prop3-10.svc UNSAT 0.82
gasburner-prop3-11 gasburner-prop3-11.svc UNSAT 1.15
gasburner-prop3-12 gasburner-prop3-12.svc UNSAT 13.97
gasburner-prop3-13 gasburner-prop3-13.svc UNSAT 15.97
gasburner-prop3-14 gasburner-prop3-14.svc UNSAT 18.15
gasburner-prop3-15 gasburner-prop3-15.svc UNSAT 36.02
gasburner-prop3-16 gasburner-prop3-16.svc UNSAT 3.72
gasburner-prop3-17 gasburner-prop3-17.svc UNSAT 36.55
gasburner-prop3-18 gasburner-prop3-18.svc UNSAT 53.60
gasburner-prop3-19 gasburner-prop3-19.svc UNSAT 37.20
gasburner-prop3-2 gasburner-prop3-2.svc UNSAT 0.02
gasburner-prop3-20 gasburner-prop3-20.svc UNSAT 200.15
gasburner-prop3-3 gasburner-prop3-3.svc UNSAT 0.02
gasburner-prop3-4 gasburner-prop3-4.svc UNSAT 0.04
gasburner-prop3-5 gasburner-prop3-5.svc UNSAT 0.06
gasburner-prop3-6 gasburner-prop3-6.svc UNSAT 0.08
gasburner-prop3-7 gasburner-prop3-7.svc UNSAT 0.13
gasburner-prop3-8 gasburner-prop3-8.svc UNSAT 0.21
gasburner-prop3-9 gasburner-prop3-9.svc UNSAT 0.75
inf-bakery-invalid-1 inf-bakery-invalid-1.svc UNSAT 0.01
inf-bakery-invalid-10 inf-bakery-invalid-10.svc SAT 0.87
inf-bakery-invalid-2 inf-bakery-invalid-2.svc UNSAT 0.02
inf-bakery-invalid-3 inf-bakery-invalid-3.svc SAT 0.02
inf-bakery-invalid-4 inf-bakery-invalid-4.svc SAT 0.04
inf-bakery-invalid-5 inf-bakery-invalid-5.svc SAT 0.12
inf-bakery-invalid-6 inf-bakery-invalid-6.svc SAT 0.24
inf-bakery-invalid-7 inf-bakery-invalid-7.svc SAT 0.21
inf-bakery-invalid-8 inf-bakery-invalid-8.svc SAT 0.84
inf-bakery-invalid-9 inf-bakery-invalid-9.svc SAT 0.14
inf-bakery-mutex-1 inf-bakery-mutex-1.svc UNSAT 0.00
inf-bakery-mutex-10 inf-bakery-mutex-10.svc UNSAT 8.79
inf-bakery-mutex-11 inf-bakery-mutex-11.svc UNSAT 15.18
inf-bakery-mutex-12 inf-bakery-mutex-12.svc UNSAT 25.52
inf-bakery-mutex-13 inf-bakery-mutex-13.svc UNSAT 42.67
inf-bakery-mutex-14 inf-bakery-mutex-14.svc UNSAT 70.27
inf-bakery-mutex-15 inf-bakery-mutex-15.svc UNSAT 116.16
inf-bakery-mutex-16 inf-bakery-mutex-16.svc UNSAT 186.66
inf-bakery-mutex-17 inf-bakery-mutex-17.svc UNSAT 302.32
inf-bakery-mutex-18 inf-bakery-mutex-18.svc UNSAT 489.10
inf-bakery-mutex-19 inf-bakery-mutex-19.svc UNSAT 781.64
inf-bakery-mutex-2 inf-bakery-mutex-2.svc UNSAT 0.01
inf-bakery-mutex-20 inf-bakery-mutex-20.svc UNSAT 1263.83
inf-bakery-mutex-3 inf-bakery-mutex-3.svc UNSAT 0.03
inf-bakery-mutex-4 inf-bakery-mutex-4.svc UNSAT 0.14
inf-bakery-mutex-5 inf-bakery-mutex-5.svc UNSAT 0.33
inf-bakery-mutex-6 inf-bakery-mutex-6.svc UNSAT 0.73
inf-bakery-mutex-7 inf-bakery-mutex-7.svc UNSAT 1.45
inf-bakery-mutex-8 inf-bakery-mutex-8.svc UNSAT 2.74
inf-bakery-mutex-9 inf-bakery-mutex-9.svc UNSAT 4.97
lpsat-goal-1 lpsat-goal-1.svc UNSAT 0.06
lpsat-goal-10 lpsat-goal-10.svc KILLED 3600.54
lpsat-goal-11 lpsat-goal-11.svc KILLED 3599.95
lpsat-goal-12 lpsat-goal-12.svc KILLED 3599.67
lpsat-goal-13 lpsat-goal-13.svc KILLED 3598.82
lpsat-goal-14 lpsat-goal-14.svc KILLED 3599.66
lpsat-goal-15 lpsat-goal-15.svc KILLED 3599.30
lpsat-goal-16 lpsat-goal-16.svc KILLED 3599.68
lpsat-goal-17 lpsat-goal-17.svc KILLED 3596.09
lpsat-goal-18 lpsat-goal-18.svc KILLED 3596.69
lpsat-goal-19 lpsat-goal-19.svc KILLED 3597.00
lpsat-goal-2 lpsat-goal-2.svc UNSAT 0.15
lpsat-goal-20 lpsat-goal-20.svc KILLED 3597.13
lpsat-goal-3 lpsat-goal-3.svc UNSAT 977.36
lpsat-goal-4 lpsat-goal-4.svc KILLED 3600.72
lpsat-goal-5 lpsat-goal-5.svc KILLED 3600.66
lpsat-goal-6 lpsat-goal-6.svc KILLED 3600.66
lpsat-goal-7 lpsat-goal-7.svc KILLED 3600.44
lpsat-goal-8 lpsat-goal-8.svc KILLED 3600.69
lpsat-goal-9 lpsat-goal-9.svc KILLED 3600.66
pursuit-safety-1 pursuit-safety-1.svc UNSAT 0.02
pursuit-safety-10 pursuit-safety-10.svc KILLED 3600.80
pursuit-safety-11 pursuit-safety-11.svc KILLED 625.70
pursuit-safety-12 pursuit-safety-12.svc UNSAT 1783.75
pursuit-safety-13 pursuit-safety-13.svc UNSAT 2023.65
pursuit-safety-14 pursuit-safety-14.svc KILLED 3600.59
pursuit-safety-15 pursuit-safety-15.svc KILLED 3598.88
pursuit-safety-16 pursuit-safety-16.svc KILLED 3600.15
pursuit-safety-17 pursuit-safety-17.svc KILLED 1068.73
pursuit-safety-18 pursuit-safety-18.svc KILLED 3599.63
pursuit-safety-19 pursuit-safety-19.svc KILLED 1808.27
pursuit-safety-2 pursuit-safety-2.svc UNSAT 0.02
pursuit-safety-20 pursuit-safety-20.svc KILLED 3599.73
pursuit-safety-3 pursuit-safety-3.svc UNSAT 0.12
pursuit-safety-4 pursuit-safety-4.svc UNSAT 2.09
pursuit-safety-5 pursuit-safety-5.svc UNSAT 40.56
pursuit-safety-6 pursuit-safety-6.svc KILLED 3600.84
pursuit-safety-7 pursuit-safety-7.svc KILLED 513.87
pursuit-safety-8 pursuit-safety-8.svc KILLED 3600.81
pursuit-safety-9 pursuit-safety-9.svc KILLED 2537.63
tgc_io-nosafe-1 tgc_io-nosafe-1.svc UNSAT 0.00
tgc_io-nosafe-2 tgc_io-nosafe-2.svc UNSAT 0.04
tgc_io-nosafe-3 tgc_io-nosafe-3.svc UNSAT 0.09
tgc_io-nosafe-4 tgc_io-nosafe-4.svc UNSAT 0.81
tgc_io-nosafe-5 tgc_io-nosafe-5.svc UNSAT 5.23
tgc_io-nosafe-6 tgc_io-nosafe-6.svc UNSAT 13.90
tgc_io-nosafe-7 tgc_io-nosafe-7.svc SAT 14.94
tgc_io-safe-1 tgc_io-safe-1.svc UNSAT 0.01
tgc_io-safe-10 tgc_io-safe-10.svc UNSAT 221.63
tgc_io-safe-11 tgc_io-safe-11.svc UNSAT 399.00
tgc_io-safe-12 tgc_io-safe-12.svc UNSAT 657.17
tgc_io-safe-13 tgc_io-safe-13.svc UNSAT 1081.13
tgc_io-safe-14 tgc_io-safe-14.svc UNSAT 1735.78
tgc_io-safe-15 tgc_io-safe-15.svc UNSAT 2826.10
tgc_io-safe-16 tgc_io-safe-16.svc KILLED 3600.85
tgc_io-safe-17 tgc_io-safe-17.svc SAT 3345.53
tgc_io-safe-18 tgc_io-safe-18.svc KILLED 3600.82
tgc_io-safe-19 tgc_io-safe-19.svc SAT 2473.58
tgc_io-safe-2 tgc_io-safe-2.svc UNSAT 0.05
tgc_io-safe-20 tgc_io-safe-20.svc KILLED 3600.76
tgc_io-safe-3 tgc_io-safe-3.svc UNSAT 0.10
tgc_io-safe-4 tgc_io-safe-4.svc UNSAT 0.81
tgc_io-safe-5 tgc_io-safe-5.svc UNSAT 5.03
tgc_io-safe-6 tgc_io-safe-6.svc UNSAT 14.05
tgc_io-safe-7 tgc_io-safe-7.svc UNSAT 31.32
tgc_io-safe-8 tgc_io-safe-8.svc UNSAT 65.43
tgc_io-safe-9 tgc_io-safe-9.svc UNSAT 123.39
windowreal-no_t_deadlock-1 windowreal-no_t_deadlock-1.svc UNSAT 0.02
windowreal-no_t_deadlock-10 windowreal-no_t_deadlock-10.svc KILLED 3600.98
windowreal-no_t_deadlock-11 windowreal-no_t_deadlock-11.svc KILLED 3600.99
windowreal-no_t_deadlock-12 windowreal-no_t_deadlock-12.svc KILLED 3600.99
windowreal-no_t_deadlock-13 windowreal-no_t_deadlock-13.svc KILLED 3600.98
windowreal-no_t_deadlock-14 windowreal-no_t_deadlock-14.svc KILLED 3600.95
windowreal-no_t_deadlock-15 windowreal-no_t_deadlock-15.svc KILLED 3600.98
windowreal-no_t_deadlock-16 windowreal-no_t_deadlock-16.svc KILLED 3600.97
windowreal-no_t_deadlock-17 windowreal-no_t_deadlock-17.svc KILLED 3600.97
windowreal-no_t_deadlock-18 windowreal-no_t_deadlock-18.svc KILLED 3600.97
windowreal-no_t_deadlock-19 windowreal-no_t_deadlock-19.svc KILLED 3600.95
windowreal-no_t_deadlock-2 windowreal-no_t_deadlock-2.svc UNSAT 0.04
windowreal-no_t_deadlock-20 windowreal-no_t_deadlock-20.svc KILLED 3600.96
windowreal-no_t_deadlock-3 windowreal-no_t_deadlock-3.svc UNSAT 3.52
windowreal-no_t_deadlock-4 windowreal-no_t_deadlock-4.svc UNSAT 43.63
windowreal-no_t_deadlock-5 windowreal-no_t_deadlock-5.svc UNSAT 186.45
windowreal-no_t_deadlock-6 windowreal-no_t_deadlock-6.svc UNSAT 574.25
windowreal-no_t_deadlock-7 windowreal-no_t_deadlock-7.svc UNSAT 1539.66
windowreal-no_t_deadlock-8 windowreal-no_t_deadlock-8.svc KILLED 3600.96
windowreal-no_t_deadlock-9 windowreal-no_t_deadlock-9.svc KILLED 3600.99
windowreal-safe-1 windowreal-safe-1.svc UNSAT 0.02
windowreal-safe-2 windowreal-safe-2.svc UNSAT 0.04
windowreal-safe-3 windowreal-safe-3.svc SAT 0.16
windowreal-safe-4 windowreal-safe-4.svc SAT 5.85
windowreal-safe2-1 windowreal-safe2-1.svc UNSAT 0.02
windowreal-safe2-2 windowreal-safe2-2.svc UNSAT 0.04
windowreal-safe2-3 windowreal-safe2-3.svc SAT 0.19
windowreal-safe2-4 windowreal-safe2-4.svc SAT 5.64