problem result overall_time
10-12.slack sat 0.14
10-13.slack sat 0.04
10-20.slack sat 0.02
10-21.slack sat 0.02
10-28.slack sat 0.04
10-29.slack sat 0.02
10-30.slack sat 0.04
10-31.slack sat 0.02
10-34.slack sat 0.05
10-35.slack sat 0.04
10-36.slack sat 0.06
10-37.slack sat 0.02
10-4.slack sat 0.02
10-40.slack sat 0.01
10-41.slack sat 0.02
10-45.slack sat 0.02
15-1.slack sat 0.04
15-10.slack sat 0.04
15-11.slack sat 0.04
15-12.slack sat 0.02
15-13.slack sat 0.02
15-14.slack sat 0.04
15-15.slack sat 0.09
15-17.slack sat 0.2
15-18.slack sat 0.03
15-19.slack sat 0.06
15-2.slack sat 0.03
15-20.slack sat 0.03
15-21.slack sat 0.07
15-3.slack sat 0
15-4.slack sat 0.05
15-5.slack sat 0.01
15-6.slack sat 0.01
15-7.slack sat 0.04
15-8.slack sat 0.02
15-9.slack sat 0.05
20-1.slack sat 0.03
20-10.slack sat 0.04
20-11.slack sat 0.05
20-12.slack sat 0.04
20-13.slack sat 0.02
20-15.slack sat 0.18
20-16.slack sat 0.04
20-17.slack sat 0.08
20-19.slack sat 0.03
20-2.slack sat 0.03
20-20.slack sat 0.07
20-21.slack sat 0.09
20-22.slack sat 0.08
20-24.slack sat 0.07
20-26.slack sat 0.06
20-28.slack sat 0.12
20-3.slack sat 0.04
20-30.slack sat 0.13
20-4.slack sat 0.02
20-5.slack sat 0.01
20-6.slack sat 0.05
20-7.slack sat 0.1
20-8.slack sat 0.03
20-9.slack sat 0.06
25-1.slack sat 0.04
25-10.slack sat 0.03
25-11.slack sat 0.03
25-12.slack sat 0.11
25-13.slack sat 0.01
25-14.slack sat 0.04
25-15.slack sat 0.05
25-16.slack sat 0.05
25-17.slack sat 0.05
25-18.slack sat 0.05
25-19.slack sat 0.04
25-2.slack sat 0.04
25-20.slack sat 0.05
25-21.slack sat 0.06
25-23.slack sat 0.08
25-24.slack sat 0.04
25-25.slack sat 0.09
25-26.slack sat 0.12
25-27.slack sat 0.15
25-28.slack sat 0.15
25-29.slack sat 0.12
25-3.slack sat 0.09
25-30.slack sat 0.06
25-33.slack sat 0.15
25-35.slack sat 0.18
25-4.slack sat 0.03
25-5.slack sat 0.06
25-6.slack sat 0.05
25-7.slack sat 0.05
25-8.slack sat 0.03
25-9.slack sat 0.02
30-1.slack sat 0.03
30-10.slack sat 0.05
30-11.slack sat 0.05
30-12.slack sat 0.04
30-13.slack sat 0.08
30-14.slack sat 0.03
30-15.slack sat 0.03
30-16.slack sat 0.05
30-17.slack sat 0.06
30-18.slack sat 0.08
30-19.slack sat 0.04
30-2.slack sat 0.03
30-20.slack sat 0.05
30-21.slack sat 0.12
30-22.slack sat 0.06
30-23.slack sat 0.12
30-24.slack sat 0.05
30-25.slack sat 0.12
30-26.slack sat 0.08
30-27.slack sat 0.09
30-28.slack sat 0.11
30-29.slack sat 0.07
30-3.slack sat 0.03
30-30.slack sat 0.12
30-31.slack sat 0.12
30-33.slack sat 0.18
30-34.slack sat 0.14
30-35.slack sat 0.15
30-4.slack sat 0.25
30-5.slack sat 0.01
30-6.slack sat 0.03
30-7.slack sat 0.03
30-8.slack sat 0.01
30-9.slack sat 0.05
35-1.slack sat 0.02
35-10.slack sat 0.06
35-11.slack sat 0.03
35-12.slack sat 0.06
35-13.slack sat 0.11
35-14.slack sat 0.06
35-15.slack sat 0.07
35-16.slack sat 0.07
35-17.slack sat 0.08
35-18.slack sat 0.08
35-19.slack sat 0.05
35-2.slack sat 0.1
35-20.slack sat 0.05
35-21.slack sat 0.08
35-22.slack sat 0.12
35-23.slack sat 0.08
35-24.slack sat 0.06
35-25.slack sat 0.06
35-26.slack sat 0.16
35-27.slack sat 0.12
35-28.slack sat 0.08
35-29.slack sat 0.13
35-3.slack sat 0.31
35-30.slack sat 0.13
35-31.slack sat 0.16
35-32.slack sat 0.1
35-33.slack sat 0.16
35-34.slack sat 0.18
35-35.slack sat 0.18
35-4.slack sat 0.04
35-5.slack sat 0.03
35-6.slack sat 0.03
35-7.slack sat 0.04
35-8.slack sat 0.03
35-9.slack sat 0.03
40-1.slack sat 0.04
40-10.slack sat 0.01
40-11.slack sat 0.1
40-12.slack sat 0.1
40-13.slack sat 0.06
40-14.slack sat 0.08
40-15.slack sat 0.05
40-16.slack sat 0.03
40-17.slack sat 0.07
40-18.slack sat 0.07
40-19.slack sat 0.08
40-2.slack sat 0.01
40-20.slack sat 0.1
40-21.slack sat 0.09
40-22.slack sat 0.31
40-23.slack sat 0.09
40-24.slack sat 0.06
40-25.slack sat 0.07
40-26.slack sat 0.16
40-27.slack sat 0.12
40-28.slack sat 0.13
40-29.slack sat 0.13
40-3.slack sat 0.02
40-30.slack sat 0.1
40-31.slack sat 0.12
40-32.slack sat 0.18
40-33.slack sat 0.13
40-34.slack sat 0.11
40-35.slack sat 0.15
40-4.slack sat 0.04
40-5.slack sat 0.06
40-6.slack sat 0.01
40-7.slack sat 0.08
40-8.slack sat 0.08
40-9.slack sat 0.01
45-1.slack sat 0.02
45-10.slack sat 0.05
45-11.slack sat 0.06
45-12.slack sat 0.01
45-13.slack sat 0.04
45-14.slack sat 0.13
45-15.slack sat 0.04
45-16.slack sat 0.08
45-17.slack sat 0.12
45-18.slack sat 0.08
45-19.slack sat 0.05
45-2.slack sat 0.06
45-20.slack sat 0.12
45-21.slack sat 0.09
45-22.slack sat 0.12
45-23.slack sat 0.11
45-24.slack sat 0.08
45-25.slack sat 0.08
45-26.slack sat 0.13
45-27.slack sat 0.19
45-28.slack sat 0.17
45-29.slack sat 0.15
45-3.slack sat 0.26
45-30.slack sat 0.09
45-31.slack sat 0.14
45-32.slack sat 0.2
45-33.slack sat 0.15
45-34.slack sat 0.21
45-35.slack sat 0.22
45-4.slack sat 0.02
45-5.slack sat 0.03
45-6.slack sat 0.06
45-7.slack sat 0.3
45-8.slack sat 0.05
45-9.slack sat 0.07
20-14.slack unsat 21.82
25-22.slack unsat 0.11
25-31.slack unsat 0.16