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
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.44
15-12.slack sat 0.01
15-13.slack sat 0
15-14.slack sat 0
15-15.slack sat 0.01
15-17.slack sat 0.37
15-18.slack sat 0.01
15-19.slack sat 7.07
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
15-5.slack sat 0
15-6.slack sat 0
15-7.slack sat 0.01
15-8.slack sat 0
15-9.slack sat 0.32
20-1.slack sat 0.02
20-10.slack sat 0
20-11.slack sat 10.5
20-12.slack sat 0.12
20-13.slack sat 0
20-15.slack sat 0.08
20-16.slack sat 10.91
20-17.slack sat 0.05
20-19.slack sat 48.6
20-2.slack sat 0
20-20.slack sat 0.02
20-21.slack sat 0.23
20-22.slack sat 0.93
20-24.slack sat 8.84
20-26.slack sat 22.91
20-28.slack sat 8.91
20-3.slack sat 0.01
20-30.slack sat 0.84
20-4.slack sat 0
20-5.slack sat 0
20-6.slack sat 0.04
20-7.slack sat 0
20-8.slack sat 0
20-9.slack sat 7.05
25-1.slack sat 0.01
25-10.slack sat 0.1
25-11.slack sat 0.02
25-12.slack sat 7.03
25-13.slack sat 7.01
25-14.slack sat 0.2
25-15.slack sat 0.11
25-16.slack sat 0.35
25-17.slack sat 0.01
25-18.slack sat 10.01
25-2.slack sat 0.05
25-20.slack sat 7.03
25-25.slack sat 1.43
25-28.slack sat 1.45
25-3.slack sat 0
25-30.slack sat 8.25
25-33.slack sat 10.87
25-35.slack sat 7.71
25-4.slack sat 0
25-5.slack sat 0.01
25-6.slack sat 7.28
25-7.slack sat 0.03
25-8.slack sat 0
25-9.slack sat 0.01
30-1.slack sat 0.01
30-10.slack sat 0.44
30-13.slack sat 7.25
30-14.slack sat 7.05
30-15.slack sat 7.04
30-18.slack sat 1.73
30-2.slack sat 0.03
30-20.slack sat 0.24
30-24.slack sat 1.81
30-25.slack sat 7.63
30-29.slack sat 0.02
30-3.slack sat 0.02
30-4.slack sat 0
30-5.slack sat 0
30-6.slack sat 0.03
30-7.slack sat 0.02
30-8.slack sat 0.65
30-9.slack sat 0.22
35-1.slack sat 0
35-10.slack sat 0.39
35-11.slack sat 0.02
35-12.slack sat 0.09
35-14.slack sat 8.32
35-15.slack sat 7.32
35-17.slack sat 0.39
35-18.slack sat 8.94
35-19.slack sat 0.07
35-2.slack sat 0.01
35-24.slack sat 8.16
35-25.slack sat 1.18
35-27.slack sat 9.5
35-3.slack sat 0.02
35-31.slack sat 11.06
35-4.slack sat 0
35-5.slack sat 0.11
35-6.slack sat 0.03
35-7.slack sat 0.82
35-8.slack sat 0.03
35-9.slack sat 0.01
40-1.slack sat 7.02
40-10.slack sat 0.01
40-12.slack sat 0.08
40-13.slack sat 0.65
40-14.slack sat 0.02
40-15.slack sat 0.41
40-2.slack sat 0.01
40-20.slack sat 1.8
40-21.slack sat 7.54
40-24.slack sat 7.92
40-26.slack sat 1.38
40-3.slack sat 0.01
40-33.slack sat 9.99
40-4.slack sat 0
40-5.slack sat 0
40-6.slack sat 0.01
40-7.slack sat 0.04
40-8.slack sat 1.49
40-9.slack sat 0.33
45-1.slack sat 0.02
45-10.slack sat 0.01
45-12.slack sat 0
45-13.slack sat 7.02
45-14.slack sat 1.53
45-15.slack sat 1.48
45-16.slack sat 0.08
45-17.slack sat 7.3
45-2.slack sat 0.01
45-22.slack sat 11.16
45-3.slack sat 0.01
45-32.slack sat 1.08
45-4.slack sat 0
45-5.slack sat 0.01
45-6.slack sat 0.02
45-7.slack sat 1.04
45-8.slack sat 0
45-9.slack sat 0.01
25-22.slack unsat 81.67
25-31.slack unsat 190.24