problem result overall_time
10-12.slack sat 0.47
10-13.slack sat 0.52
10-20.slack sat 0.39
10-21.slack sat 0.4
10-28.slack sat 0.48
10-29.slack sat 0.44
10-30.slack sat 0.4
10-31.slack sat 0.43
10-34.slack sat 0.42
10-35.slack sat 0.58
10-36.slack sat 0.42
10-37.slack sat 0.44
10-4.slack sat 0.38
10-40.slack sat 0.62
10-41.slack sat 0.43
10-45.slack sat 0.64
15-1.slack sat 0.7
15-10.slack sat 0.82
15-11.slack sat 0.81
15-12.slack sat 0.61
15-13.slack sat 0.66
15-14.slack sat 0.97
15-15.slack sat 0.7
15-17.slack sat 0.59
15-18.slack sat 0.76
15-19.slack sat 1.76
15-2.slack sat 0.5
15-20.slack sat 0.69
15-21.slack sat 0.65
15-3.slack sat 0.52
15-4.slack sat 0.87
15-5.slack sat 0.42
15-6.slack sat 0.61
15-7.slack sat 1.19
15-8.slack sat 0.51
15-9.slack sat 1.15
20-1.slack sat 0.9
20-10.slack sat 0.87
20-11.slack sat 3.36
20-12.slack sat 0.58
20-13.slack sat 1.45
20-15.slack sat 2.34
20-16.slack sat 4.47
20-17.slack sat 1.3
20-2.slack sat 1.12
20-20.slack sat 4.98
20-21.slack sat 2.05
20-22.slack sat 4.55
20-24.slack sat 4.67
20-26.slack sat 3.53
20-28.slack sat 12.08
20-3.slack sat 1.32
20-30.slack sat 7.65
20-4.slack sat 1.03
20-5.slack sat 0.61
20-6.slack sat 0.83
20-7.slack sat 1.02
20-8.slack sat 1.28
20-9.slack sat 32.18
25-1.slack sat 0.94
25-10.slack sat 11.16
25-11.slack sat NULL
25-12.slack sat 4.36
25-13.slack sat 23.16
25-14.slack sat 9.09
25-15.slack sat 5.07
25-17.slack sat 3.26
25-18.slack sat 7.47
25-2.slack sat 0.84
25-20.slack sat 10.59
25-21.slack sat 19.31
25-23.slack sat 3.52
25-24.slack sat 6.5
25-25.slack sat 9.12
25-26.slack sat 19.34
25-28.slack sat 23.92
25-3.slack sat 4.24
25-30.slack sat 7.34
25-33.slack sat 9.11
25-35.slack sat 20.86
25-4.slack sat 0.96
25-5.slack sat 0.88
25-6.slack sat 7.74
25-7.slack sat 3.94
25-8.slack sat 1.37
25-9.slack sat 67.58
30-1.slack sat 5.99
30-10.slack sat 1.02
30-12.slack sat 4.89
30-13.slack sat 9.51
30-14.slack sat 16.23
30-15.slack sat 63.28
30-16.slack sat 2242.53
30-17.slack sat 2.32
30-18.slack sat 8.97
30-19.slack sat 37.01
30-2.slack sat 4.83
30-20.slack sat 126.64
30-21.slack sat 28.11
30-22.slack sat 24.3
30-23.slack sat 19.5
30-24.slack sat 211.57
30-25.slack sat 1180.97
30-26.slack sat 9.07
30-27.slack sat 42.37
30-28.slack sat 35.63
30-29.slack sat 18.84
30-3.slack sat 0.54
30-30.slack sat 41.72
30-33.slack sat 9.72
30-34.slack sat 4.69
30-35.slack sat 61.5
30-4.slack sat 4.82
30-5.slack sat 0.93
30-6.slack sat 0.9
30-7.slack sat 4.44
30-8.slack sat 39.55
30-9.slack sat 1.94
35-1.slack sat 0.79
35-11.slack sat 5.88
35-12.slack sat 485.19
35-13.slack sat 35.7
35-14.slack sat 4.51
35-15.slack sat 3.74
35-17.slack sat 9.29
35-18.slack sat 4.91
35-19.slack sat 388.58
35-2.slack sat 2.46
35-20.slack sat 2.09
35-21.slack sat 510.89
35-23.slack sat 18.83
35-24.slack sat 10.59
35-25.slack sat 7.22
35-26.slack sat 120.73
35-27.slack sat 135.47
35-28.slack sat 7.5
35-29.slack sat 43.59
35-3.slack sat 8.89
35-30.slack sat 11.5
35-31.slack sat 152.7
35-32.slack sat 18.92
35-33.slack sat 120.44
35-34.slack sat 141.12
35-35.slack sat 7.33
35-4.slack sat 17.34
35-5.slack sat 301.95
35-6.slack sat 3.45
35-7.slack sat 0.8
35-8.slack sat 1.51
35-9.slack sat 2640.37
40-1.slack sat 2.38
40-10.slack sat 170.79
40-11.slack sat 3.56
40-12.slack sat 1.15
40-13.slack sat 2.45
40-14.slack sat 145.56
40-15.slack sat 23.86
40-17.slack sat 24.08
40-18.slack sat 178.9
40-19.slack sat 6.85
40-2.slack sat 116.46
40-20.slack sat 15.96
40-21.slack sat 26.2
40-22.slack sat 5.38
40-23.slack sat 9.41
40-24.slack sat 498.31
40-25.slack sat 192.38
40-26.slack sat 135.56
40-28.slack sat 9.97
40-29.slack sat 5.85
40-3.slack sat 0.63
40-30.slack sat 17.37
40-31.slack sat 233.02
40-32.slack sat 113.93
40-33.slack sat 55.45
40-34.slack sat 513.62
40-35.slack sat 27.98
40-4.slack sat 0.53
40-5.slack sat 0.59
40-6.slack sat 2.34
40-8.slack sat 60.38
40-9.slack sat 132.99
45-1.slack sat 4.67
45-10.slack sat 306.44
45-12.slack sat 103.99
45-13.slack sat 24.41
45-14.slack sat 398.09
45-15.slack sat 1.02
45-16.slack sat 1227.48
45-17.slack sat 24.9
45-18.slack sat 992.51
45-19.slack sat 14.14
45-2.slack sat 0.47
45-20.slack sat 103.15
45-21.slack sat 15.45
45-23.slack sat 74.05
45-24.slack sat 54.22
45-27.slack sat 5.56
45-29.slack sat 49.3
45-3.slack sat 0.62
45-30.slack sat 32.75
45-32.slack sat 60.43
45-33.slack sat 34.06
45-35.slack sat 611.45
45-4.slack sat 31.04
45-6.slack sat 18.4
45-7.slack sat 1.15
45-9.slack sat 13.18
25-22.slack unsat 4.79
25-31.slack unsat 3.36