problem result overall_time
10-12.slack sat 0
10-13.slack sat 0
10-20.slack sat 0
10-21.slack sat 0
10-28.slack sat 0
10-29.slack sat 0
10-30.slack sat 0
10-31.slack sat 0
10-34.slack sat 0
10-35.slack sat 0
10-36.slack sat 0
10-37.slack sat 0.01
10-4.slack sat 0
10-40.slack sat 0
10-41.slack sat 0
10-45.slack sat 0
15-1.slack sat 0
15-10.slack sat 0
15-11.slack sat 0.11
15-12.slack sat 0.66
15-13.slack sat 0
15-14.slack sat 0
15-15.slack sat 0.46
15-17.slack sat 0.07
15-18.slack sat 0.01
15-19.slack sat 0.11
15-2.slack sat 0
15-20.slack sat 0.01
15-21.slack sat 0
15-3.slack sat 0
15-4.slack sat 0.02
15-5.slack sat 0
15-6.slack sat 0.01
15-7.slack sat 0.03
15-8.slack sat 0
15-9.slack sat 0.1
20-1.slack sat 0.34
20-10.slack sat 0.04
20-11.slack sat 183.3
20-12.slack sat 41.94
20-13.slack sat 20.85
20-15.slack sat 8.89
20-16.slack sat 0.43
20-17.slack sat 0.09
20-19.slack sat 62.88
20-2.slack sat 0
20-20.slack sat 2.57
20-21.slack sat 42.45
20-22.slack sat 2.96
20-24.slack sat 10.17
20-26.slack sat 23.13
20-28.slack sat 31.41
20-3.slack sat 0
20-30.slack sat 7.95
20-4.slack sat 0
20-5.slack sat 0.46
20-6.slack sat 2.69
20-7.slack sat 0
20-8.slack sat 0.03
20-9.slack sat 60.04
25-1.slack sat 0
25-10.slack sat 8.09
25-11.slack sat 0.03
25-13.slack sat 0
25-14.slack sat 27.25
25-15.slack sat 0.04
25-16.slack sat 139.61
25-17.slack sat 0
25-18.slack sat 0.03
25-2.slack sat 0.18
25-20.slack sat 318.430016
25-21.slack sat 156.45
25-23.slack sat 154.39
25-24.slack sat 0.07
25-25.slack sat 1860.690048
25-29.slack sat 391.08
25-3.slack sat 0.01
25-30.slack sat 199.99
25-33.slack sat 374.46
25-4.slack sat 0
25-5.slack sat 0
25-6.slack sat 7.32
25-7.slack sat 9.79
25-8.slack sat 0
25-9.slack sat 0
30-1.slack sat 0
30-10.slack sat 10.84
30-11.slack sat 201.81
30-12.slack sat 0.05
30-13.slack sat 64.53
30-14.slack sat 490.9
30-16.slack sat 130.15
30-17.slack sat 335.470016
30-18.slack sat 1771.549952
30-2.slack sat 9.44
30-20.slack sat 0.03
30-23.slack sat 159.87
30-24.slack sat 109.42
30-27.slack sat 189.16
30-28.slack sat 1897.52
30-29.slack sat 0
30-3.slack sat 0
30-34.slack sat 0.59
30-4.slack sat 0.01
30-5.slack sat 0
30-6.slack sat 0
30-7.slack sat 9.48
30-8.slack sat 39.04
30-9.slack sat 0
35-1.slack sat 0
35-10.slack sat 32.75
35-11.slack sat 0.03
35-13.slack sat 148.73
35-14.slack sat 71.3
35-15.slack sat 0.02
35-16.slack sat 201.97
35-17.slack sat 1125.260032
35-19.slack sat 1152.230016
35-2.slack sat 0.01
35-29.slack sat 448.390016
35-3.slack sat 133.42
35-4.slack sat 0.05
35-5.slack sat 0
35-6.slack sat 0.16
35-7.slack sat 270.2
35-8.slack sat 0.01
35-9.slack sat 0
40-1.slack sat 21.91
40-10.slack sat 0
40-11.slack sat 0.01
40-13.slack sat 84.26
40-2.slack sat 0.04
40-21.slack sat 729.580032
40-3.slack sat 29.44
40-31.slack sat 3.34
40-32.slack sat 10.22
40-4.slack sat 0.03
40-5.slack sat 0
40-6.slack sat 0.07
40-7.slack sat 1609.959936
40-8.slack sat 64.55
40-9.slack sat 0
45-1.slack sat 0
45-10.slack sat 0.02
45-11.slack sat 667.150016
45-12.slack sat 0
45-14.slack sat 1236.669952
45-15.slack sat 757.04
45-16.slack sat 467
45-2.slack sat 0
45-27.slack sat 6.48
45-3.slack sat 0
45-4.slack sat 0
45-5.slack sat 0.74
45-6.slack sat 0.01
45-7.slack sat 2010.019968
45-8.slack sat 0
45-9.slack sat 0
20-14.slack unsat 1334.189952
25-22.slack unsat 2.03
25-31.slack unsat 2.38