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 |