problem |
result |
overall_time |
10-12.slack |
sat |
0 |
10-13.slack |
sat |
0 |
10-20.slack |
sat |
0 |
10-21.slack |
sat |
0.02 |
10-28.slack |
sat |
0 |
10-29.slack |
sat |
0.01 |
10-30.slack |
sat |
0.01 |
10-31.slack |
sat |
0.01 |
10-34.slack |
sat |
0.01 |
10-35.slack |
sat |
0.01 |
10-36.slack |
sat |
0.02 |
10-37.slack |
sat |
0.01 |
10-4.slack |
sat |
0.01 |
10-40.slack |
sat |
0.03 |
10-41.slack |
sat |
0.01 |
10-45.slack |
sat |
0.02 |
15-1.slack |
sat |
0.01 |
15-10.slack |
sat |
0.01 |
15-11.slack |
sat |
0.03 |
15-12.slack |
sat |
0.04 |
15-13.slack |
sat |
0.03 |
15-14.slack |
sat |
0.01 |
15-15.slack |
sat |
0.02 |
15-17.slack |
sat |
0.5 |
15-18.slack |
sat |
0.01 |
15-19.slack |
sat |
0.05 |
15-2.slack |
sat |
0.03 |
15-20.slack |
sat |
0.03 |
15-21.slack |
sat |
0.03 |
15-3.slack |
sat |
0.01 |
15-4.slack |
sat |
0.01 |
15-5.slack |
sat |
0.01 |
15-6.slack |
sat |
0.01 |
15-7.slack |
sat |
0.03 |
15-8.slack |
sat |
0.01 |
15-9.slack |
sat |
0.02 |
20-1.slack |
sat |
0.02 |
20-10.slack |
sat |
0.02 |
20-11.slack |
sat |
0.07 |
20-12.slack |
sat |
0.01 |
20-13.slack |
sat |
0.11 |
20-15.slack |
sat |
0.03 |
20-16.slack |
sat |
0.03 |
20-17.slack |
sat |
0.03 |
20-19.slack |
sat |
0.14 |
20-2.slack |
sat |
0.03 |
20-20.slack |
sat |
0.03 |
20-21.slack |
sat |
0.18 |
20-22.slack |
sat |
0.04 |
20-24.slack |
sat |
0.14 |
20-26.slack |
sat |
0.25 |
20-28.slack |
sat |
0.12 |
20-3.slack |
sat |
0.02 |
20-30.slack |
sat |
0.18 |
20-4.slack |
sat |
0.03 |
20-5.slack |
sat |
0.01 |
20-6.slack |
sat |
0.03 |
20-7.slack |
sat |
0.05 |
20-8.slack |
sat |
0.01 |
20-9.slack |
sat |
0.03 |
25-1.slack |
sat |
0.01 |
25-10.slack |
sat |
0.02 |
25-11.slack |
sat |
0.04 |
25-12.slack |
sat |
0.1 |
25-13.slack |
sat |
0.04 |
25-14.slack |
sat |
0.07 |
25-15.slack |
sat |
0.03 |
25-16.slack |
sat |
0.09 |
25-17.slack |
sat |
0.14 |
25-18.slack |
sat |
0.07 |
25-19.slack |
sat |
0.09 |
25-2.slack |
sat |
0.02 |
25-20.slack |
sat |
0.14 |
25-21.slack |
sat |
0.11 |
25-23.slack |
sat |
0.05 |
25-24.slack |
sat |
0.2 |
25-25.slack |
sat |
0.27 |
25-26.slack |
sat |
0.38 |
25-27.slack |
sat |
0.35 |
25-28.slack |
sat |
0.59 |
25-29.slack |
sat |
0.37 |
25-3.slack |
sat |
0.02 |
25-30.slack |
sat |
0.4 |
25-33.slack |
sat |
0.88 |
25-35.slack |
sat |
0.39 |
25-4.slack |
sat |
0.04 |
25-5.slack |
sat |
0.02 |
25-6.slack |
sat |
0.05 |
25-7.slack |
sat |
0.05 |
25-8.slack |
sat |
0.02 |
25-9.slack |
sat |
0.02 |
30-1.slack |
sat |
0.02 |
30-10.slack |
sat |
0.05 |
30-11.slack |
sat |
0.06 |
30-12.slack |
sat |
0.07 |
30-13.slack |
sat |
0.06 |
30-14.slack |
sat |
0.06 |
30-15.slack |
sat |
0.05 |
30-16.slack |
sat |
0.08 |
30-17.slack |
sat |
0.19 |
30-18.slack |
sat |
0.08 |
30-19.slack |
sat |
0.19 |
30-2.slack |
sat |
0.04 |
30-20.slack |
sat |
0.21 |
30-21.slack |
sat |
0.16 |
30-22.slack |
sat |
0.28 |
30-23.slack |
sat |
0.26 |
30-24.slack |
sat |
0.29 |
30-25.slack |
sat |
0.14 |
30-26.slack |
sat |
0.42 |
30-27.slack |
sat |
0.52 |
30-28.slack |
sat |
0.61 |
30-29.slack |
sat |
0.04 |
30-3.slack |
sat |
0.02 |
30-30.slack |
sat |
0.22 |
30-31.slack |
sat |
1.18 |
30-33.slack |
sat |
0.86 |
30-34.slack |
sat |
0.48 |
30-35.slack |
sat |
0.41 |
30-4.slack |
sat |
0.02 |
30-5.slack |
sat |
0.03 |
30-6.slack |
sat |
0.03 |
30-7.slack |
sat |
0.04 |
30-8.slack |
sat |
0.04 |
30-9.slack |
sat |
0.03 |
35-1.slack |
sat |
0.02 |
35-10.slack |
sat |
0.03 |
35-11.slack |
sat |
0.05 |
35-12.slack |
sat |
0.02 |
35-13.slack |
sat |
0.05 |
35-14.slack |
sat |
0.08 |
35-15.slack |
sat |
0.04 |
35-16.slack |
sat |
0.09 |
35-17.slack |
sat |
0.1 |
35-18.slack |
sat |
0.1 |
35-19.slack |
sat |
0.04 |
35-2.slack |
sat |
0.07 |
35-20.slack |
sat |
0.1 |
35-21.slack |
sat |
0.34 |
35-22.slack |
sat |
0.44 |
35-23.slack |
sat |
0.22 |
35-24.slack |
sat |
0.49 |
35-25.slack |
sat |
0.15 |
35-26.slack |
sat |
0.43 |
35-27.slack |
sat |
0.26 |
35-28.slack |
sat |
0.15 |
35-29.slack |
sat |
0.47 |
35-3.slack |
sat |
0.04 |
35-30.slack |
sat |
0.43 |
35-31.slack |
sat |
0.87 |
35-32.slack |
sat |
0.27 |
35-33.slack |
sat |
0.76 |
35-34.slack |
sat |
0.44 |
35-35.slack |
sat |
0.7 |
35-4.slack |
sat |
0.02 |
35-5.slack |
sat |
0.02 |
35-6.slack |
sat |
0.03 |
35-7.slack |
sat |
0.04 |
35-8.slack |
sat |
0.04 |
35-9.slack |
sat |
0.05 |
40-1.slack |
sat |
0.02 |
40-10.slack |
sat |
0.02 |
40-11.slack |
sat |
0.05 |
40-12.slack |
sat |
0.09 |
40-13.slack |
sat |
0.09 |
40-14.slack |
sat |
0.04 |
40-15.slack |
sat |
0.07 |
40-16.slack |
sat |
0.11 |
40-17.slack |
sat |
0.12 |
40-18.slack |
sat |
0.11 |
40-19.slack |
sat |
0.1 |
40-2.slack |
sat |
0.03 |
40-20.slack |
sat |
0.08 |
40-21.slack |
sat |
0.76 |
40-22.slack |
sat |
0.21 |
40-23.slack |
sat |
0.59 |
40-24.slack |
sat |
0.14 |
40-25.slack |
sat |
0.29 |
40-26.slack |
sat |
0.16 |
40-27.slack |
sat |
0.53 |
40-28.slack |
sat |
0.44 |
40-29.slack |
sat |
0.19 |
40-3.slack |
sat |
0.02 |
40-30.slack |
sat |
0.35 |
40-31.slack |
sat |
1.48 |
40-32.slack |
sat |
0.9 |
40-33.slack |
sat |
1.32 |
40-34.slack |
sat |
0.63 |
40-35.slack |
sat |
0.36 |
40-4.slack |
sat |
0.02 |
40-5.slack |
sat |
0.02 |
40-6.slack |
sat |
0.04 |
40-7.slack |
sat |
0.09 |
40-8.slack |
sat |
0.07 |
40-9.slack |
sat |
0.05 |
45-1.slack |
sat |
0.07 |
45-10.slack |
sat |
0.05 |
45-11.slack |
sat |
0.09 |
45-12.slack |
sat |
0.02 |
45-13.slack |
sat |
0.05 |
45-14.slack |
sat |
0.05 |
45-15.slack |
sat |
0.06 |
45-16.slack |
sat |
0.07 |
45-17.slack |
sat |
0.21 |
45-18.slack |
sat |
0.27 |
45-19.slack |
sat |
0.06 |
45-2.slack |
sat |
0.02 |
45-20.slack |
sat |
0.13 |
45-21.slack |
sat |
0.11 |
45-22.slack |
sat |
0.66 |
45-23.slack |
sat |
0.22 |
45-24.slack |
sat |
0.24 |
45-25.slack |
sat |
0.15 |
45-26.slack |
sat |
0.71 |
45-27.slack |
sat |
0.66 |
45-28.slack |
sat |
1.31 |
45-29.slack |
sat |
0.81 |
45-3.slack |
sat |
0.03 |
45-30.slack |
sat |
0.4 |
45-31.slack |
sat |
0.84 |
45-32.slack |
sat |
0.36 |
45-33.slack |
sat |
0.37 |
45-34.slack |
sat |
0.4 |
45-35.slack |
sat |
0.25 |
45-4.slack |
sat |
0.02 |
45-5.slack |
sat |
0.02 |
45-6.slack |
sat |
0.03 |
45-7.slack |
sat |
0.1 |
45-8.slack |
sat |
0.03 |
45-9.slack |
sat |
0.03 |
25-22.slack |
unsat |
1341.779968 |
25-31.slack |
unsat |
884.4 |