Benchmarking simplify, DIRECTORY=sal, EXT=smp, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
Carpark2-ausgabe-1 Carpark2-ausgabe-1.smp UNSAT 0.14
Carpark2-ausgabe-2 Carpark2-ausgabe-2.smp UNSAT 0.78
Carpark2-ausgabe-3 Carpark2-ausgabe-3.smp UNSAT 2.86
Carpark2-ausgabe-4 Carpark2-ausgabe-4.smp UNSAT 12.57
Carpark2-ausgabe-5 Carpark2-ausgabe-5.smp UNSAT 29.79
Carpark2-ausgabe-6 Carpark2-ausgabe-6.smp UNSAT 1364.98
Carpark2-ausgabe-7 Carpark2-ausgabe-7.smp KILLED 3592.55
Carpark2-ausgabe-8 Carpark2-ausgabe-8.smp SAT 3029.57
Carpark2-t1-1 Carpark2-t1-1.smp UNSAT 0.14
Carpark2-t1-2 Carpark2-t1-2.smp UNSAT 0.72
Carpark2-t1-3 Carpark2-t1-3.smp UNSAT 2.97
Carpark2-t1-4 Carpark2-t1-4.smp SAT 11.58
fischer3-mutex-1 fischer3-mutex-1.smp UNSAT 0.06
fischer3-mutex-10 fischer3-mutex-10.smp KILLED 3590.38
fischer3-mutex-11 fischer3-mutex-11.smp KILLED 3590.49
fischer3-mutex-12 fischer3-mutex-12.smp KILLED 3592.71
fischer3-mutex-13 fischer3-mutex-13.smp KILLED 3592.51
fischer3-mutex-14 fischer3-mutex-14.smp KILLED 3593.46
fischer3-mutex-15 fischer3-mutex-15.smp KILLED 3593.71
fischer3-mutex-16 fischer3-mutex-16.smp KILLED 3593.86
fischer3-mutex-17 fischer3-mutex-17.smp KILLED 3593.68
fischer3-mutex-18 fischer3-mutex-18.smp KILLED 3595.03
fischer3-mutex-19 fischer3-mutex-19.smp KILLED 3594.65
fischer3-mutex-2 fischer3-mutex-2.smp UNSAT 0.49
fischer3-mutex-20 fischer3-mutex-20.smp KILLED 3594.33
fischer3-mutex-3 fischer3-mutex-3.smp UNSAT 1.58
fischer3-mutex-4 fischer3-mutex-4.smp UNSAT 6.60
fischer3-mutex-5 fischer3-mutex-5.smp UNSAT 61.52
fischer3-mutex-6 fischer3-mutex-6.smp UNSAT 525.58
fischer3-mutex-7 fischer3-mutex-7.smp UNSAT 1682.33
fischer3-mutex-8 fischer3-mutex-8.smp UNSAT 3563.74
fischer3-mutex-9 fischer3-mutex-9.smp KILLED 3589.08
fischer6-mutex-1 fischer6-mutex-1.smp UNSAT 0.18
fischer6-mutex-10 fischer6-mutex-10.smp KILLED 3593.33
fischer6-mutex-11 fischer6-mutex-11.smp KILLED 3593.23
fischer6-mutex-12 fischer6-mutex-12.smp KILLED 3594.16
fischer6-mutex-13 fischer6-mutex-13.smp KILLED 3594.23
fischer6-mutex-14 fischer6-mutex-14.smp KILLED 3595.13
fischer6-mutex-15 fischer6-mutex-15.smp KILLED 3594.73
fischer6-mutex-16 fischer6-mutex-16.smp KILLED 3595.57
fischer6-mutex-17 fischer6-mutex-17.smp KILLED 3595.22
fischer6-mutex-18 fischer6-mutex-18.smp KILLED 3596.39
fischer6-mutex-19 fischer6-mutex-19.smp KILLED 3596.11
fischer6-mutex-2 fischer6-mutex-2.smp UNSAT 1.98
fischer6-mutex-20 fischer6-mutex-20.smp KILLED 3596.14
fischer6-mutex-3 fischer6-mutex-3.smp UNSAT 22.58
fischer6-mutex-4 fischer6-mutex-4.smp UNSAT 357.01
fischer6-mutex-5 fischer6-mutex-5.smp UNSAT 1140.33
fischer6-mutex-6 fischer6-mutex-6.smp KILLED 3589.85
fischer6-mutex-7 fischer6-mutex-7.smp KILLED 3590.94
fischer6-mutex-8 fischer6-mutex-8.smp KILLED 3591.49
fischer6-mutex-9 fischer6-mutex-9.smp KILLED 3592.27
fischer9-mutex-1 fischer9-mutex-1.smp UNSAT 0.29
fischer9-mutex-10 fischer9-mutex-10.smp KILLED 3595.00
fischer9-mutex-11 fischer9-mutex-11.smp KILLED 3595.36
fischer9-mutex-12 fischer9-mutex-12.smp KILLED 3595.50
fischer9-mutex-13 fischer9-mutex-13.smp KILLED 3595.59
fischer9-mutex-14 fischer9-mutex-14.smp KILLED 3596.04
fischer9-mutex-15 fischer9-mutex-15.smp KILLED 3596.08
fischer9-mutex-16 fischer9-mutex-16.smp KILLED 3596.89
fischer9-mutex-17 fischer9-mutex-17.smp KILLED 3596.92
fischer9-mutex-18 fischer9-mutex-18.smp KILLED 3597.40
fischer9-mutex-19 fischer9-mutex-19.smp KILLED 3596.98
fischer9-mutex-2 fischer9-mutex-2.smp UNSAT 4.23
fischer9-mutex-20 fischer9-mutex-20.smp KILLED 3597.22
fischer9-mutex-3 fischer9-mutex-3.smp UNSAT 96.07
fischer9-mutex-4 fischer9-mutex-4.smp UNSAT 1426.06
fischer9-mutex-5 fischer9-mutex-5.smp KILLED 3591.06
fischer9-mutex-6 fischer9-mutex-6.smp KILLED 3591.42
fischer9-mutex-7 fischer9-mutex-7.smp KILLED 3593.37
fischer9-mutex-8 fischer9-mutex-8.smp KILLED 3593.48
fischer9-mutex-9 fischer9-mutex-9.smp KILLED 3594.09
gasburner-prop3-1 gasburner-prop3-1.smp UNSAT 0.02
gasburner-prop3-10 gasburner-prop3-10.smp UNSAT 9.06
gasburner-prop3-11 gasburner-prop3-11.smp UNSAT 12.58
gasburner-prop3-12 gasburner-prop3-12.smp UNSAT 19.36
gasburner-prop3-13 gasburner-prop3-13.smp UNSAT 28.03
gasburner-prop3-14 gasburner-prop3-14.smp UNSAT 37.88
gasburner-prop3-15 gasburner-prop3-15.smp UNSAT 76.03
gasburner-prop3-16 gasburner-prop3-16.smp UNSAT 172.45
gasburner-prop3-17 gasburner-prop3-17.smp UNSAT 188.00
gasburner-prop3-18 gasburner-prop3-18.smp UNSAT 315.66
gasburner-prop3-19 gasburner-prop3-19.smp UNSAT 298.48
gasburner-prop3-2 gasburner-prop3-2.smp UNSAT 0.03
gasburner-prop3-20 gasburner-prop3-20.smp UNSAT 796.18
gasburner-prop3-3 gasburner-prop3-3.smp UNSAT 0.09
gasburner-prop3-4 gasburner-prop3-4.smp UNSAT 0.21
gasburner-prop3-5 gasburner-prop3-5.smp UNSAT 0.42
gasburner-prop3-6 gasburner-prop3-6.smp UNSAT 1.10
gasburner-prop3-7 gasburner-prop3-7.smp UNSAT 2.01
gasburner-prop3-8 gasburner-prop3-8.smp UNSAT 2.85
gasburner-prop3-9 gasburner-prop3-9.smp UNSAT 4.87
inf-bakery-invalid-1 inf-bakery-invalid-1.smp UNSAT 0.01
inf-bakery-invalid-10 inf-bakery-invalid-10.smp SAT 0.73
inf-bakery-invalid-2 inf-bakery-invalid-2.smp UNSAT 0.03
inf-bakery-invalid-3 inf-bakery-invalid-3.smp SAT 0.06
inf-bakery-invalid-4 inf-bakery-invalid-4.smp SAT 0.11
inf-bakery-invalid-5 inf-bakery-invalid-5.smp SAT 0.16
inf-bakery-invalid-6 inf-bakery-invalid-6.smp SAT 0.30
inf-bakery-invalid-7 inf-bakery-invalid-7.smp SAT 0.25
inf-bakery-invalid-8 inf-bakery-invalid-8.smp SAT 1.49
inf-bakery-invalid-9 inf-bakery-invalid-9.smp SAT 2.40
inf-bakery-mutex-1 inf-bakery-mutex-1.smp UNSAT 0.02
inf-bakery-mutex-10 inf-bakery-mutex-10.smp UNSAT 44.17
inf-bakery-mutex-11 inf-bakery-mutex-11.smp UNSAT 129.84
inf-bakery-mutex-12 inf-bakery-mutex-12.smp UNSAT 395.46
inf-bakery-mutex-13 inf-bakery-mutex-13.smp UNSAT 522.96
inf-bakery-mutex-14 inf-bakery-mutex-14.smp UNSAT 3050.82
inf-bakery-mutex-15 inf-bakery-mutex-15.smp KILLED 3586.39
inf-bakery-mutex-16 inf-bakery-mutex-16.smp KILLED 3588.17
inf-bakery-mutex-17 inf-bakery-mutex-17.smp KILLED 3588.56
inf-bakery-mutex-18 inf-bakery-mutex-18.smp KILLED 3588.41
inf-bakery-mutex-19 inf-bakery-mutex-19.smp KILLED 3590.36
inf-bakery-mutex-2 inf-bakery-mutex-2.smp UNSAT 0.03
inf-bakery-mutex-20 inf-bakery-mutex-20.smp KILLED 3590.89
inf-bakery-mutex-3 inf-bakery-mutex-3.smp UNSAT 0.05
inf-bakery-mutex-4 inf-bakery-mutex-4.smp UNSAT 0.12
inf-bakery-mutex-5 inf-bakery-mutex-5.smp UNSAT 0.35
inf-bakery-mutex-6 inf-bakery-mutex-6.smp UNSAT 0.81
inf-bakery-mutex-7 inf-bakery-mutex-7.smp UNSAT 2.11
inf-bakery-mutex-8 inf-bakery-mutex-8.smp UNSAT 6.40
inf-bakery-mutex-9 inf-bakery-mutex-9.smp UNSAT 14.67
lpsat-goal-1 lpsat-goal-1.smp UNSAT 0.23
lpsat-goal-10 lpsat-goal-10.smp KILLED 3594.75
lpsat-goal-11 lpsat-goal-11.smp KILLED 3594.96
lpsat-goal-12 lpsat-goal-12.smp KILLED 3595.96
lpsat-goal-13 lpsat-goal-13.smp KILLED 3595.73
lpsat-goal-14 lpsat-goal-14.smp KILLED 3597.03
lpsat-goal-15 lpsat-goal-15.smp KILLED 3597.62
lpsat-goal-16 lpsat-goal-16.smp KILLED 3597.83
lpsat-goal-17 lpsat-goal-17.smp KILLED 3598.61
lpsat-goal-18 lpsat-goal-18.smp KILLED 3598.35
lpsat-goal-19 lpsat-goal-19.smp KILLED 3598.37
lpsat-goal-2 lpsat-goal-2.smp UNSAT 1.69
lpsat-goal-20 lpsat-goal-20.smp KILLED 3598.20
lpsat-goal-3 lpsat-goal-3.smp UNSAT 39.31
lpsat-goal-4 lpsat-goal-4.smp UNSAT 1578.62
lpsat-goal-5 lpsat-goal-5.smp KILLED 3589.28
lpsat-goal-6 lpsat-goal-6.smp KILLED 3591.19
lpsat-goal-7 lpsat-goal-7.smp KILLED 3592.56
lpsat-goal-8 lpsat-goal-8.smp KILLED 3593.21
lpsat-goal-9 lpsat-goal-9.smp KILLED 3594.48
pursuit-safety-1 pursuit-safety-1.smp UNSAT 0.04
pursuit-safety-10 pursuit-safety-10.smp KILLED 3598.39
pursuit-safety-11 pursuit-safety-11.smp KILLED 3598.79
pursuit-safety-12 pursuit-safety-12.smp KILLED 1127.04
pursuit-safety-13 pursuit-safety-13.smp KILLED 3598.81
pursuit-safety-14 pursuit-safety-14.smp KILLED 1657.20
pursuit-safety-15 pursuit-safety-15.smp KILLED 3599.18
pursuit-safety-16 pursuit-safety-16.smp KILLED 3599.58
pursuit-safety-17 pursuit-safety-17.smp KILLED 3599.45
pursuit-safety-18 pursuit-safety-18.smp KILLED 2919.84
pursuit-safety-19 pursuit-safety-19.smp KILLED 3599.60
pursuit-safety-2 pursuit-safety-2.smp UNSAT 0.30
pursuit-safety-20 pursuit-safety-20.smp KILLED 1705.41
pursuit-safety-3 pursuit-safety-3.smp UNSAT 2.21
pursuit-safety-4 pursuit-safety-4.smp UNSAT 9.12
pursuit-safety-5 pursuit-safety-5.smp UNSAT 41.15
pursuit-safety-6 pursuit-safety-6.smp UNSAT 150.65
pursuit-safety-7 pursuit-safety-7.smp UNSAT 623.15
pursuit-safety-8 pursuit-safety-8.smp UNSAT 2312.22
pursuit-safety-9 pursuit-safety-9.smp KILLED 3598.08
tgc_io-nosafe-1 tgc_io-nosafe-1.smp UNSAT 0.04
tgc_io-nosafe-2 tgc_io-nosafe-2.smp UNSAT 0.15
tgc_io-nosafe-3 tgc_io-nosafe-3.smp UNSAT 1.46
tgc_io-nosafe-4 tgc_io-nosafe-4.smp UNSAT 2.52
tgc_io-nosafe-5 tgc_io-nosafe-5.smp UNSAT 42.66
tgc_io-nosafe-6 tgc_io-nosafe-6.smp UNSAT 340.53
tgc_io-nosafe-7 tgc_io-nosafe-7.smp SAT 2673.19
tgc_io-safe-1 tgc_io-safe-1.smp UNSAT 0.04
tgc_io-safe-10 tgc_io-safe-10.smp KILLED 3589.81
tgc_io-safe-11 tgc_io-safe-11.smp KILLED 3590.71
tgc_io-safe-12 tgc_io-safe-12.smp KILLED 3591.98
tgc_io-safe-13 tgc_io-safe-13.smp KILLED 3592.11
tgc_io-safe-14 tgc_io-safe-14.smp KILLED 3593.35
tgc_io-safe-15 tgc_io-safe-15.smp KILLED 3594.22
tgc_io-safe-16 tgc_io-safe-16.smp KILLED 3595.29
tgc_io-safe-17 tgc_io-safe-17.smp KILLED 3594.29
tgc_io-safe-18 tgc_io-safe-18.smp KILLED 3595.13
tgc_io-safe-19 tgc_io-safe-19.smp KILLED 3595.93
tgc_io-safe-2 tgc_io-safe-2.smp UNSAT 0.18
tgc_io-safe-20 tgc_io-safe-20.smp KILLED 3596.40
tgc_io-safe-3 tgc_io-safe-3.smp UNSAT 0.77
tgc_io-safe-4 tgc_io-safe-4.smp UNSAT 2.68
tgc_io-safe-5 tgc_io-safe-5.smp UNSAT 11.81
tgc_io-safe-6 tgc_io-safe-6.smp UNSAT 22.61
tgc_io-safe-7 tgc_io-safe-7.smp UNSAT 688.28
tgc_io-safe-8 tgc_io-safe-8.smp UNSAT 1129.57
tgc_io-safe-9 tgc_io-safe-9.smp KILLED 3588.59
windowreal-no_t_deadlock-1 windowreal-no_t_deadlock-1.smp UNSAT 0.04
windowreal-no_t_deadlock-10 windowreal-no_t_deadlock-10.smp KILLED 3590.43
windowreal-no_t_deadlock-11 windowreal-no_t_deadlock-11.smp KILLED 3593.47
windowreal-no_t_deadlock-12 windowreal-no_t_deadlock-12.smp KILLED 3592.49
windowreal-no_t_deadlock-13 windowreal-no_t_deadlock-13.smp KILLED 3594.83
windowreal-no_t_deadlock-14 windowreal-no_t_deadlock-14.smp KILLED 3594.65
windowreal-no_t_deadlock-15 windowreal-no_t_deadlock-15.smp KILLED 3595.62
windowreal-no_t_deadlock-16 windowreal-no_t_deadlock-16.smp KILLED 3595.44
windowreal-no_t_deadlock-17 windowreal-no_t_deadlock-17.smp KILLED 3596.76
windowreal-no_t_deadlock-18 windowreal-no_t_deadlock-18.smp KILLED 3595.99
windowreal-no_t_deadlock-19 windowreal-no_t_deadlock-19.smp KILLED 3596.85
windowreal-no_t_deadlock-2 windowreal-no_t_deadlock-2.smp UNSAT 0.20
windowreal-no_t_deadlock-20 windowreal-no_t_deadlock-20.smp KILLED 3596.60
windowreal-no_t_deadlock-3 windowreal-no_t_deadlock-3.smp UNSAT 0.80
windowreal-no_t_deadlock-4 windowreal-no_t_deadlock-4.smp UNSAT 13.06
windowreal-no_t_deadlock-5 windowreal-no_t_deadlock-5.smp UNSAT 16.47
windowreal-no_t_deadlock-6 windowreal-no_t_deadlock-6.smp UNSAT 667.38
windowreal-no_t_deadlock-7 windowreal-no_t_deadlock-7.smp UNSAT 1109.71
windowreal-no_t_deadlock-8 windowreal-no_t_deadlock-8.smp KILLED 3588.38
windowreal-no_t_deadlock-9 windowreal-no_t_deadlock-9.smp KILLED 3590.36
windowreal-safe-1 windowreal-safe-1.smp UNSAT 0.06
windowreal-safe-2 windowreal-safe-2.smp UNSAT 0.37
windowreal-safe-3 windowreal-safe-3.smp SAT 1.84
windowreal-safe-4 windowreal-safe-4.smp SAT 9.31
windowreal-safe2-1 windowreal-safe2-1.smp UNSAT 0.06
windowreal-safe2-2 windowreal-safe2-2.smp UNSAT 0.30
windowreal-safe2-3 windowreal-safe2-3.smp SAT 0.72
windowreal-safe2-4 windowreal-safe2-4.smp SAT 4.93