Benchmarking uclid, DIRECTORY=sal, EXT=ucl, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
fischer3-mutex-1 fischer3-mutex-1.ucl UNSAT 0.44
fischer3-mutex-10 fischer3-mutex-10.ucl UNSAT 726.64
fischer3-mutex-11 fischer3-mutex-11.ucl KILLED 3604.07
fischer3-mutex-12 fischer3-mutex-12.ucl KILLED 3604.44
fischer3-mutex-13 fischer3-mutex-13.ucl KILLED 3604.11
fischer3-mutex-14 fischer3-mutex-14.ucl KILLED 3604.61
fischer3-mutex-15 fischer3-mutex-15.ucl KILLED 3604.82
fischer3-mutex-16 fischer3-mutex-16.ucl KILLED 3605.81
fischer3-mutex-17 fischer3-mutex-17.ucl KILLED 3606.48
fischer3-mutex-18 fischer3-mutex-18.ucl KILLED 3606.84
fischer3-mutex-19 fischer3-mutex-19.ucl KILLED 3606.97
fischer3-mutex-2 fischer3-mutex-2.ucl UNSAT 0.94
fischer3-mutex-20 fischer3-mutex-20.ucl KILLED 3607.08
fischer3-mutex-3 fischer3-mutex-3.ucl UNSAT 1.57
fischer3-mutex-4 fischer3-mutex-4.ucl UNSAT 2.33
fischer3-mutex-5 fischer3-mutex-5.ucl UNSAT 4.30
fischer3-mutex-6 fischer3-mutex-6.ucl UNSAT 11.22
fischer3-mutex-7 fischer3-mutex-7.ucl UNSAT 13.89
fischer3-mutex-8 fischer3-mutex-8.ucl UNSAT 72.44
fischer3-mutex-9 fischer3-mutex-9.ucl UNSAT 187.10
fischer6-mutex-1 fischer6-mutex-1.ucl UNSAT 0.85
fischer6-mutex-10 fischer6-mutex-10.ucl KILLED 3606.18
fischer6-mutex-11 fischer6-mutex-11.ucl KILLED 3607.96
fischer6-mutex-12 fischer6-mutex-12.ucl KILLED 3608.27
fischer6-mutex-13 fischer6-mutex-13.ucl KILLED 3609.01
fischer6-mutex-14 fischer6-mutex-14.ucl KILLED 3609.51
fischer6-mutex-15 fischer6-mutex-15.ucl KILLED 3610.30
fischer6-mutex-16 fischer6-mutex-16.ucl KILLED 3611.44
fischer6-mutex-17 fischer6-mutex-17.ucl KILLED 3611.35
fischer6-mutex-18 fischer6-mutex-18.ucl KILLED 3613.91
fischer6-mutex-19 fischer6-mutex-19.ucl KILLED 3614.52
fischer6-mutex-2 fischer6-mutex-2.ucl UNSAT 1.86
fischer6-mutex-20 fischer6-mutex-20.ucl KILLED 3616.38
fischer6-mutex-3 fischer6-mutex-3.ucl UNSAT 3.10
fischer6-mutex-4 fischer6-mutex-4.ucl UNSAT 4.76
fischer6-mutex-5 fischer6-mutex-5.ucl UNSAT 9.82
fischer6-mutex-6 fischer6-mutex-6.ucl UNSAT 18.94
fischer6-mutex-7 fischer6-mutex-7.ucl UNSAT 47.56
fischer6-mutex-8 fischer6-mutex-8.ucl UNSAT 389.78
fischer6-mutex-9 fischer6-mutex-9.ucl KILLED 3605.84
fischer9-mutex-1 fischer9-mutex-1.ucl UNSAT 1.37
fischer9-mutex-10 fischer9-mutex-10.ucl KILLED 3611.49
fischer9-mutex-11 fischer9-mutex-11.ucl KILLED 3611.67
fischer9-mutex-12 fischer9-mutex-12.ucl KILLED 3613.16
fischer9-mutex-13 fischer9-mutex-13.ucl KILLED 3614.58
fischer9-mutex-14 fischer9-mutex-14.ucl KILLED 3618.69
fischer9-mutex-15 fischer9-mutex-15.ucl KILLED 3618.83
fischer9-mutex-16 fischer9-mutex-16.ucl KILLED 3620.18
fischer9-mutex-17 fischer9-mutex-17.ucl KILLED 3621.73
fischer9-mutex-18 fischer9-mutex-18.ucl KILLED 3622.85
fischer9-mutex-19 fischer9-mutex-19.ucl KILLED 3621.94
fischer9-mutex-2 fischer9-mutex-2.ucl UNSAT 3.08
fischer9-mutex-20 fischer9-mutex-20.ucl KILLED 3625.90
fischer9-mutex-3 fischer9-mutex-3.ucl UNSAT 5.17
fischer9-mutex-4 fischer9-mutex-4.ucl UNSAT 10.82
fischer9-mutex-5 fischer9-mutex-5.ucl UNSAT 15.54
fischer9-mutex-6 fischer9-mutex-6.ucl UNSAT 36.25
fischer9-mutex-7 fischer9-mutex-7.ucl UNSAT 149.19
fischer9-mutex-8 fischer9-mutex-8.ucl UNSAT 2046.21
fischer9-mutex-9 fischer9-mutex-9.ucl KILLED 3609.39
inf-bakery-invalid-1 inf-bakery-invalid-1.ucl UNSAT 0.21
inf-bakery-invalid-10 inf-bakery-invalid-10.ucl SAT 2.14
inf-bakery-invalid-2 inf-bakery-invalid-2.ucl UNSAT 0.41
inf-bakery-invalid-3 inf-bakery-invalid-3.ucl SAT 0.52
inf-bakery-invalid-4 inf-bakery-invalid-4.ucl SAT 0.79
inf-bakery-invalid-5 inf-bakery-invalid-5.ucl SAT 0.94
inf-bakery-invalid-6 inf-bakery-invalid-6.ucl SAT 1.17
inf-bakery-invalid-7 inf-bakery-invalid-7.ucl SAT 1.34
inf-bakery-invalid-8 inf-bakery-invalid-8.ucl SAT 1.57
inf-bakery-invalid-9 inf-bakery-invalid-9.ucl SAT 1.97
inf-bakery-mutex-1 inf-bakery-mutex-1.ucl UNSAT 0.20
inf-bakery-mutex-10 inf-bakery-mutex-10.ucl UNSAT 8.56
inf-bakery-mutex-11 inf-bakery-mutex-11.ucl UNSAT 8.41
inf-bakery-mutex-12 inf-bakery-mutex-12.ucl UNSAT 9.28
inf-bakery-mutex-13 inf-bakery-mutex-13.ucl UNSAT 15.80
inf-bakery-mutex-14 inf-bakery-mutex-14.ucl UNSAT 19.22
inf-bakery-mutex-15 inf-bakery-mutex-15.ucl UNSAT 21.75
inf-bakery-mutex-16 inf-bakery-mutex-16.ucl UNSAT 68.34
inf-bakery-mutex-17 inf-bakery-mutex-17.ucl UNSAT 40.07
inf-bakery-mutex-18 inf-bakery-mutex-18.ucl UNSAT 99.88
inf-bakery-mutex-19 inf-bakery-mutex-19.ucl UNSAT 136.97
inf-bakery-mutex-2 inf-bakery-mutex-2.ucl UNSAT 0.35
inf-bakery-mutex-20 inf-bakery-mutex-20.ucl UNSAT 145.21
inf-bakery-mutex-3 inf-bakery-mutex-3.ucl UNSAT 0.45
inf-bakery-mutex-4 inf-bakery-mutex-4.ucl UNSAT 0.90
inf-bakery-mutex-5 inf-bakery-mutex-5.ucl UNSAT 1.11
inf-bakery-mutex-6 inf-bakery-mutex-6.ucl UNSAT 1.28
inf-bakery-mutex-7 inf-bakery-mutex-7.ucl UNSAT 2.11
inf-bakery-mutex-8 inf-bakery-mutex-8.ucl UNSAT 2.53
inf-bakery-mutex-9 inf-bakery-mutex-9.ucl UNSAT 3.62
lpsat-goal-1 lpsat-goal-1.ucl UNSAT 17.64
lpsat-goal-10 lpsat-goal-10.ucl UNSAT 119.20
lpsat-goal-11 lpsat-goal-11.ucl UNSAT 633.86
lpsat-goal-12 lpsat-goal-12.ucl UNSAT 479.25
lpsat-goal-13 lpsat-goal-13.ucl UNSAT 353.05
lpsat-goal-14 lpsat-goal-14.ucl UNSAT 521.20
lpsat-goal-15 lpsat-goal-15.ucl KILLED 2653.99
lpsat-goal-16 lpsat-goal-16.ucl KILLED 2493.46
lpsat-goal-17 lpsat-goal-17.ucl KILLED 3720.56
lpsat-goal-18 lpsat-goal-18.ucl KILLED 3728.42
lpsat-goal-19 lpsat-goal-19.ucl KILLED 2232.68
lpsat-goal-2 lpsat-goal-2.ucl UNSAT 22.02
lpsat-goal-20 lpsat-goal-20.ucl KILLED 1146.94
lpsat-goal-3 lpsat-goal-3.ucl UNSAT 33.81
lpsat-goal-4 lpsat-goal-4.ucl UNSAT 77.63
lpsat-goal-5 lpsat-goal-5.ucl UNSAT 46.77
lpsat-goal-6 lpsat-goal-6.ucl UNSAT 54.53
lpsat-goal-7 lpsat-goal-7.ucl UNSAT 64.96
lpsat-goal-8 lpsat-goal-8.ucl UNSAT 79.91
lpsat-goal-9 lpsat-goal-9.ucl UNSAT 87.41