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 |