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.01 |
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.11 |
15-12.slack |
sat |
0.66 |
15-13.slack |
sat |
0 |
15-14.slack |
sat |
0 |
15-15.slack |
sat |
0.46 |
15-17.slack |
sat |
0.07 |
15-18.slack |
sat |
0.01 |
15-19.slack |
sat |
0.11 |
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.02 |
15-5.slack |
sat |
0 |
15-6.slack |
sat |
0.01 |
15-7.slack |
sat |
0.03 |
15-8.slack |
sat |
0 |
15-9.slack |
sat |
0.1 |
20-1.slack |
sat |
0.34 |
20-10.slack |
sat |
0.04 |
20-11.slack |
sat |
183.3 |
20-12.slack |
sat |
41.94 |
20-13.slack |
sat |
20.85 |
20-15.slack |
sat |
8.89 |
20-16.slack |
sat |
0.43 |
20-17.slack |
sat |
0.09 |
20-19.slack |
sat |
62.88 |
20-2.slack |
sat |
0 |
20-20.slack |
sat |
2.57 |
20-21.slack |
sat |
42.45 |
20-22.slack |
sat |
2.96 |
20-24.slack |
sat |
10.17 |
20-26.slack |
sat |
23.13 |
20-28.slack |
sat |
31.41 |
20-3.slack |
sat |
0 |
20-30.slack |
sat |
7.95 |
20-4.slack |
sat |
0 |
20-5.slack |
sat |
0.46 |
20-6.slack |
sat |
2.69 |
20-7.slack |
sat |
0 |
20-8.slack |
sat |
0.03 |
20-9.slack |
sat |
60.04 |
25-1.slack |
sat |
0 |
25-10.slack |
sat |
8.09 |
25-11.slack |
sat |
0.03 |
25-13.slack |
sat |
0 |
25-14.slack |
sat |
27.25 |
25-15.slack |
sat |
0.04 |
25-16.slack |
sat |
139.61 |
25-17.slack |
sat |
0 |
25-18.slack |
sat |
0.03 |
25-2.slack |
sat |
0.18 |
25-20.slack |
sat |
318.430016 |
25-21.slack |
sat |
156.45 |
25-23.slack |
sat |
154.39 |
25-24.slack |
sat |
0.07 |
25-25.slack |
sat |
1860.690048 |
25-29.slack |
sat |
391.08 |
25-3.slack |
sat |
0.01 |
25-30.slack |
sat |
199.99 |
25-33.slack |
sat |
374.46 |
25-4.slack |
sat |
0 |
25-5.slack |
sat |
0 |
25-6.slack |
sat |
7.32 |
25-7.slack |
sat |
9.79 |
25-8.slack |
sat |
0 |
25-9.slack |
sat |
0 |
30-1.slack |
sat |
0 |
30-10.slack |
sat |
10.84 |
30-11.slack |
sat |
201.81 |
30-12.slack |
sat |
0.05 |
30-13.slack |
sat |
64.53 |
30-14.slack |
sat |
490.9 |
30-16.slack |
sat |
130.15 |
30-17.slack |
sat |
335.470016 |
30-18.slack |
sat |
1771.549952 |
30-2.slack |
sat |
9.44 |
30-20.slack |
sat |
0.03 |
30-23.slack |
sat |
159.87 |
30-24.slack |
sat |
109.42 |
30-27.slack |
sat |
189.16 |
30-28.slack |
sat |
1897.52 |
30-29.slack |
sat |
0 |
30-3.slack |
sat |
0 |
30-34.slack |
sat |
0.59 |
30-4.slack |
sat |
0.01 |
30-5.slack |
sat |
0 |
30-6.slack |
sat |
0 |
30-7.slack |
sat |
9.48 |
30-8.slack |
sat |
39.04 |
30-9.slack |
sat |
0 |
35-1.slack |
sat |
0 |
35-10.slack |
sat |
32.75 |
35-11.slack |
sat |
0.03 |
35-13.slack |
sat |
148.73 |
35-14.slack |
sat |
71.3 |
35-15.slack |
sat |
0.02 |
35-16.slack |
sat |
201.97 |
35-17.slack |
sat |
1125.260032 |
35-19.slack |
sat |
1152.230016 |
35-2.slack |
sat |
0.01 |
35-29.slack |
sat |
448.390016 |
35-3.slack |
sat |
133.42 |
35-4.slack |
sat |
0.05 |
35-5.slack |
sat |
0 |
35-6.slack |
sat |
0.16 |
35-7.slack |
sat |
270.2 |
35-8.slack |
sat |
0.01 |
35-9.slack |
sat |
0 |
40-1.slack |
sat |
21.91 |
40-10.slack |
sat |
0 |
40-11.slack |
sat |
0.01 |
40-13.slack |
sat |
84.26 |
40-2.slack |
sat |
0.04 |
40-21.slack |
sat |
729.580032 |
40-3.slack |
sat |
29.44 |
40-31.slack |
sat |
3.34 |
40-32.slack |
sat |
10.22 |
40-4.slack |
sat |
0.03 |
40-5.slack |
sat |
0 |
40-6.slack |
sat |
0.07 |
40-7.slack |
sat |
1609.959936 |
40-8.slack |
sat |
64.55 |
40-9.slack |
sat |
0 |
45-1.slack |
sat |
0 |
45-10.slack |
sat |
0.02 |
45-11.slack |
sat |
667.150016 |
45-12.slack |
sat |
0 |
45-14.slack |
sat |
1236.669952 |
45-15.slack |
sat |
757.04 |
45-16.slack |
sat |
467 |
45-2.slack |
sat |
0 |
45-27.slack |
sat |
6.48 |
45-3.slack |
sat |
0 |
45-4.slack |
sat |
0 |
45-5.slack |
sat |
0.74 |
45-6.slack |
sat |
0.01 |
45-7.slack |
sat |
2010.019968 |
45-8.slack |
sat |
0 |
45-9.slack |
sat |
0 |
20-14.slack |
unsat |
1334.189952 |
25-22.slack |
unsat |
2.03 |
25-31.slack |
unsat |
2.38 |