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.01
10-29.slack sat 0
10-30.slack sat 0.01
10-31.slack sat 0.01
10-34.slack sat 0.04
10-35.slack sat 0.01
10-36.slack sat 0.02
10-37.slack sat 0.02
10-4.slack sat 0
10-40.slack sat 0.07
10-41.slack sat 0.01
10-45.slack sat 0.01
15-1.slack sat 0.09
15-10.slack sat 0.12
15-11.slack sat 0.25
15-12.slack sat 10.25
15-13.slack sat 0.12
15-14.slack sat 0.04
15-15.slack sat 0.58
15-17.slack sat 0.13
15-18.slack sat 0.09
15-19.slack sat 0.14
15-2.slack sat 0.01
15-20.slack sat 0.95
15-21.slack sat 0.12
15-3.slack sat 0.01
15-4.slack sat 0.02
15-5.slack sat 0
15-6.slack sat 0.03
15-7.slack sat 0.03
15-8.slack sat 0.01
15-9.slack sat 0.02
20-1.slack sat 0.03
20-10.slack sat 0.18
20-11.slack sat 1.02
20-12.slack sat 0.75
20-13.slack sat 0.08
20-15.slack sat 0.07
20-16.slack sat 1.16
20-19.slack sat 77.73
20-2.slack sat 0.03
20-22.slack sat 1.57
20-24.slack sat 143.37
20-26.slack sat 2.86
20-3.slack sat 0.12
20-30.slack sat 47.9
20-4.slack sat 0.01
20-5.slack sat 0.02
20-6.slack sat 1.32
20-7.slack sat 0.64
20-8.slack sat 0.02
20-9.slack sat 0.71
25-1.slack sat 0.02
25-10.slack sat 6.26
25-11.slack sat 1.6
25-13.slack sat 0.91
25-14.slack sat 1.09
25-15.slack sat 7.56
25-18.slack sat 0.03
25-2.slack sat 0.02
25-20.slack sat 12.48
25-23.slack sat 4.74
25-3.slack sat 0.02
25-4.slack sat 0.06
25-5.slack sat 0.48
25-7.slack sat 1.86
25-8.slack sat 0.04
25-9.slack sat 5.88
30-1.slack sat 0.02
30-10.slack sat 1.03
30-12.slack sat 89.62
30-16.slack sat 19.78
30-17.slack sat 7.39
30-18.slack sat 1.93
30-2.slack sat 0.14
30-20.slack sat 4.24
30-24.slack sat 4.08
30-3.slack sat 0.04
30-4.slack sat 0.59
30-5.slack sat 0.21
30-6.slack sat 0.12
30-7.slack sat 0.03
30-8.slack sat 8.76
30-9.slack sat 0.03
35-1.slack sat 0.02
35-10.slack sat 9.76
35-11.slack sat 0.15
35-14.slack sat 9.13
35-15.slack sat 12.5
35-18.slack sat 11.65
35-19.slack sat 0.05
35-2.slack sat 1.95
35-25.slack sat 33.8
35-3.slack sat 0.28
35-4.slack sat 0.03
35-5.slack sat 0.04
35-6.slack sat 0.49
35-7.slack sat 6.23
35-8.slack sat 0.04
35-9.slack sat 0.39
40-1.slack sat 5.82
40-10.slack sat 0.04
40-11.slack sat 4.61
40-12.slack sat 17.69
40-13.slack sat 15.67
40-14.slack sat 0.04
40-15.slack sat 0.09
40-18.slack sat 0.48
40-2.slack sat 0.05
40-21.slack sat 0.06
40-25.slack sat 28.05
40-3.slack sat 0.05
40-4.slack sat 0.06
40-5.slack sat 0.02
40-6.slack sat 0.1
40-7.slack sat 20.44
40-8.slack sat 771.729984
40-9.slack sat 0.75
45-1.slack sat 0.05
45-10.slack sat 18.75
45-11.slack sat 0.7
45-12.slack sat 0.4
45-13.slack sat 35.4
45-15.slack sat 0.05
45-16.slack sat 16.94
45-18.slack sat 62.75
45-2.slack sat 0.06
45-29.slack sat 0.09
45-3.slack sat 0.02
45-4.slack sat 0.03
45-5.slack sat 20.73
45-6.slack sat 0.25
45-7.slack sat 8.52
45-8.slack sat 0.09
45-9.slack sat 0.12