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 |