problem result overall_time
c100_problem__002.smt2.slack sat 4.63
c100_problem__003.smt2.slack sat 11.18
c100_problem__004.smt2.slack sat 2389.509888
c10_problem__001.smt2.slack sat 0
c10_problem__004.smt2.slack sat 239.43
c10_problem__005.smt2.slack sat 1.51
c10_problem__006.smt2.slack sat 11.47
c20_problem__002.smt2.slack sat 1.56
c20_problem__003.smt2.slack sat 4.09
c20_problem__005.smt2.slack sat 11.69
c20_problem__006.smt2.slack sat 1.6
c30_problem__003.smt2.slack sat 2.66
c30_problem__004.smt2.slack sat 1930.56
c30_problem__005.smt2.slack sat 2.83
c40_problem__003.smt2.slack sat 3.31
c40_problem__004.smt2.slack sat 343.129984
c40_problem__006.smt2.slack sat 25.86
c50_problem__003.smt2.slack sat 425.030016
c50_problem__004.smt2.slack sat 82.99
c60_problem__002.smt2.slack sat 1283.789952
c60_problem__003.smt2.slack sat 7.04
c60_problem__005.smt2.slack sat 208.04
c70_problem__002.smt2.slack sat 226.81
c70_problem__006.smt2.slack sat 3.96
c80_problem__002.smt2.slack sat 66.08
c80_problem__004.smt2.slack sat 0
c80_problem__005.smt2.slack sat 3.51
c90_problem__003.smt2.slack sat 0.04
c90_problem__004.smt2.slack sat 161.4
c90_problem__006.smt2.slack sat 1929.229952
v10_problem_2__001.smt2.slack sat 0
v10_problem_2__002.smt2.slack sat 0
v10_problem_2__003.smt2.slack sat 0
v10_problem_2__004.smt2.slack sat 0
v10_problem_2__005.smt2.slack sat 0
v10_problem_2__006.smt2.slack sat 0
v10_problem_2__007.smt2.slack sat 0
v10_problem_2__008.smt2.slack sat 0
v10_problem_2__009.smt2.slack sat 0
v10_problem_2__010.smt2.slack sat 0
v10_problem_2__011.smt2.slack sat 0
v10_problem_2__013.smt2.slack sat 0
v10_problem_2__014.smt2.slack sat 0
v10_problem_2__015.smt2.slack sat 0
v10_problem_2__017.smt2.slack sat 0
v10_problem_2__018.smt2.slack sat 0
v10_problem_2__020.smt2.slack sat 0
v10_problem_2__022.smt2.slack sat 0
v10_problem_2__023.smt2.slack sat 0
v10_problem__001.smt2.slack sat 0
v10_problem__002.smt2.slack sat 0
v10_problem__003.smt2.slack sat 0
v10_problem__005.smt2.slack sat 0
v10_problem__006.smt2.slack sat 0
v10_problem__007.smt2.slack sat 0
v10_problem__008.smt2.slack sat 0
v10_problem__009.smt2.slack sat 0
v10_problem__010.smt2.slack sat 0
v10_problem__012.smt2.slack sat 0
v10_problem__013.smt2.slack sat 0
v10_problem__014.smt2.slack sat 0
v10_problem__015.smt2.slack sat 0
v10_problem__018.smt2.slack sat 0
v10_problem__019.smt2.slack sat 0
v10_problem__023.smt2.slack sat 0
v15_problem_2__001.smt2.slack sat 0
v15_problem_2__002.smt2.slack sat 0.1
v15_problem_2__003.smt2.slack sat 0
v15_problem_2__004.smt2.slack sat 0
v15_problem_2__005.smt2.slack sat 0
v15_problem_2__006.smt2.slack sat 0
v15_problem_2__007.smt2.slack sat 0.08
v15_problem_2__008.smt2.slack sat 0
v15_problem_2__009.smt2.slack sat 0
v15_problem_2__010.smt2.slack sat 0
v15_problem_2__012.smt2.slack sat 0
v15_problem_2__013.smt2.slack sat 0
v15_problem_2__014.smt2.slack sat 0.28
v15_problem_2__015.smt2.slack sat 0
v15_problem_2__016.smt2.slack sat 0.29
v15_problem_2__017.smt2.slack sat 2.82
v15_problem_2__018.smt2.slack sat 1.46
v15_problem_2__023.smt2.slack sat 0.31
v15_problem__001.smt2.slack sat 0
v15_problem__002.smt2.slack sat 0
v15_problem__003.smt2.slack sat 0
v15_problem__004.smt2.slack sat 0
v15_problem__005.smt2.slack sat 0
v15_problem__006.smt2.slack sat 0.05
v15_problem__007.smt2.slack sat 0
v15_problem__008.smt2.slack sat 0
v15_problem__009.smt2.slack sat 0.11
v15_problem__010.smt2.slack sat 0
v15_problem__011.smt2.slack sat 0.13
v15_problem__012.smt2.slack sat 0
v15_problem__013.smt2.slack sat 0
v15_problem__014.smt2.slack sat 0.33
v15_problem__015.smt2.slack sat 0.04
v15_problem__017.smt2.slack sat 3.24
v15_problem__018.smt2.slack sat 0
v15_problem__019.smt2.slack sat 3.5
v15_problem__020.smt2.slack sat 0.03
v15_problem__021.smt2.slack sat 0
v20_problem_2__001.smt2.slack sat 0
v20_problem_2__002.smt2.slack sat 0
v20_problem_2__003.smt2.slack sat 0
v20_problem_2__004.smt2.slack sat 0
v20_problem_2__005.smt2.slack sat 0.2
v20_problem_2__006.smt2.slack sat 0.49
v20_problem_2__007.smt2.slack sat 14.49
v20_problem_2__008.smt2.slack sat 0.33
v20_problem_2__009.smt2.slack sat 1.96
v20_problem_2__010.smt2.slack sat 14.45
v20_problem_2__011.smt2.slack sat 1.66
v20_problem_2__012.smt2.slack sat 269.609984
v20_problem_2__013.smt2.slack sat 11.87
v20_problem_2__014.smt2.slack sat 9.8
v20_problem_2__015.smt2.slack sat 2.69
v20_problem_2__016.smt2.slack sat 15.15
v20_problem_2__017.smt2.slack sat 7.68
v20_problem_2__018.smt2.slack sat 39.61
v20_problem_2__019.smt2.slack sat 1.33
v20_problem_2__020.smt2.slack sat 0.07
v20_problem_2__021.smt2.slack sat 75.42
v20_problem_2__022.smt2.slack sat 3.71
v20_problem_2__024.smt2.slack sat 2.32
v20_problem_2__025.smt2.slack sat 151.12
v20_problem_2__028.smt2.slack sat 88.6
v20_problem_2__029.smt2.slack sat 0.18
v20_problem_2__035.smt2.slack sat 0.26
v20_problem__001.smt2.slack sat 0
v20_problem__002.smt2.slack sat 0
v20_problem__003.smt2.slack sat 0
v20_problem__004.smt2.slack sat 0
v20_problem__005.smt2.slack sat 0
v20_problem__006.smt2.slack sat 0.06
v20_problem__007.smt2.slack sat 2.37
v20_problem__008.smt2.slack sat 0
v20_problem__009.smt2.slack sat 6.71
v20_problem__010.smt2.slack sat 0
v20_problem__011.smt2.slack sat 0.68
v20_problem__012.smt2.slack sat 25.01
v20_problem__013.smt2.slack sat 0.02
v20_problem__015.smt2.slack sat 0
v20_problem__017.smt2.slack sat 90.85
v20_problem__019.smt2.slack sat 133.81
v20_problem__020.smt2.slack sat 13.18
v20_problem__021.smt2.slack sat 180.8
v20_problem__022.smt2.slack sat 8.89
v20_problem__024.smt2.slack sat 0.15
v20_problem__026.smt2.slack sat 272.729984
v20_problem__028.smt2.slack sat 12.3
v20_problem__030.smt2.slack sat 12.53
v25_problem_2__001.smt2.slack sat 0
v25_problem_2__002.smt2.slack sat 6.31
v25_problem_2__003.smt2.slack sat 0
v25_problem_2__004.smt2.slack sat 0
v25_problem_2__005.smt2.slack sat 0
v25_problem_2__006.smt2.slack sat 3.75
v25_problem_2__007.smt2.slack sat 1.37
v25_problem_2__008.smt2.slack sat 6.64
v25_problem_2__009.smt2.slack sat 30.29
v25_problem_2__010.smt2.slack sat 0.06
v25_problem_2__011.smt2.slack sat 844.2
v25_problem_2__012.smt2.slack sat 13.79
v25_problem_2__013.smt2.slack sat 284.48
v25_problem_2__014.smt2.slack sat 9.96
v25_problem_2__015.smt2.slack sat 1.76
v25_problem_2__017.smt2.slack sat 31.61
v25_problem_2__018.smt2.slack sat 45.26
v25_problem_2__019.smt2.slack sat 677.449984
v25_problem_2__020.smt2.slack sat 37.78
v25_problem_2__022.smt2.slack sat 17.56
v25_problem_2__023.smt2.slack sat 39.1
v25_problem_2__024.smt2.slack sat 27.43
v25_problem_2__025.smt2.slack sat 1629.100032
v25_problem_2__026.smt2.slack sat 1490.470016
v25_problem_2__030.smt2.slack sat 467.510016
v25_problem_2__035.smt2.slack sat 578.310016
v25_problem__001.smt2.slack sat 5.01
v25_problem__002.smt2.slack sat 0
v25_problem__003.smt2.slack sat 0
v25_problem__004.smt2.slack sat 0.01
v25_problem__005.smt2.slack sat 0
v25_problem__006.smt2.slack sat 2.3
v25_problem__007.smt2.slack sat 37.53
v25_problem__008.smt2.slack sat 9.89
v25_problem__009.smt2.slack sat 552.780032
v25_problem__010.smt2.slack sat 11.2
v25_problem__011.smt2.slack sat 292.609984
v25_problem__012.smt2.slack sat 165.49
v25_problem__013.smt2.slack sat 6.57
v25_problem__014.smt2.slack sat 0
v25_problem__015.smt2.slack sat 148.52
v25_problem__016.smt2.slack sat 251.13
v25_problem__017.smt2.slack sat 167.6
v25_problem__018.smt2.slack sat 20.41
v25_problem__019.smt2.slack sat 35.11
v25_problem__020.smt2.slack sat 0.02
v25_problem__021.smt2.slack sat 2138.349952
v25_problem__023.smt2.slack sat 372.16
v25_problem__024.smt2.slack sat 81.13
v25_problem__030.smt2.slack sat 448.28
v25_problem__033.smt2.slack sat 0.46
v30_problem_2__001.smt2.slack sat 0
v30_problem_2__002.smt2.slack sat 0.07
v30_problem_2__003.smt2.slack sat 0
v30_problem_2__004.smt2.slack sat 0
v30_problem_2__005.smt2.slack sat 0
v30_problem_2__006.smt2.slack sat 51.12
v30_problem_2__007.smt2.slack sat 187.69
v30_problem_2__008.smt2.slack sat 20.71
v30_problem_2__009.smt2.slack sat 92.12
v30_problem_2__010.smt2.slack sat 4.31
v30_problem_2__011.smt2.slack sat 0
v30_problem_2__012.smt2.slack sat 0.02
v30_problem_2__013.smt2.slack sat 233.24
v30_problem_2__014.smt2.slack sat 31.73
v30_problem_2__016.smt2.slack sat 1616.120064
v30_problem_2__017.smt2.slack sat 1311.990016
v30_problem_2__018.smt2.slack sat 2122.08
v30_problem_2__020.smt2.slack sat 60.81
v30_problem_2__021.smt2.slack sat 0
v30_problem_2__022.smt2.slack sat 253.31
v30_problem_2__024.smt2.slack sat 2069.170048
v30_problem_2__025.smt2.slack sat 249.51
v30_problem_2__030.smt2.slack sat 0.43
v30_problem_2__032.smt2.slack sat 0.67
v30_problem_2__034.smt2.slack sat 291.950016
v30_problem_2__035.smt2.slack sat 145.49
v30_problem__001.smt2.slack sat 0.02
v30_problem__002.smt2.slack sat 6.96
v30_problem__003.smt2.slack sat 0.02
v30_problem__004.smt2.slack sat 0
v30_problem__005.smt2.slack sat 0
v30_problem__006.smt2.slack sat 0
v30_problem__007.smt2.slack sat 0.03
v30_problem__008.smt2.slack sat 0
v30_problem__009.smt2.slack sat 0
v30_problem__010.smt2.slack sat 35.55
v30_problem__012.smt2.slack sat 249.81
v30_problem__013.smt2.slack sat 0.02
v30_problem__014.smt2.slack sat 111.21
v30_problem__015.smt2.slack sat 322.790016
v30_problem__017.smt2.slack sat 749.8
v30_problem__018.smt2.slack sat 991.859968
v30_problem__019.smt2.slack sat 40.02
v30_problem__020.smt2.slack sat 178.24
v30_problem__021.smt2.slack sat 200.41
v30_problem__023.smt2.slack sat 0.07
v30_problem__026.smt2.slack sat 132.05
v30_problem__030.smt2.slack sat 365.92
v30_problem__033.smt2.slack sat 1253.799936
v30_problem__034.smt2.slack sat 0.61
v30_problem__035.smt2.slack sat 173.11
v35_problem_2__001.smt2.slack sat 0
v35_problem_2__002.smt2.slack sat 0
v35_problem_2__003.smt2.slack sat 0
v35_problem_2__004.smt2.slack sat 0
v35_problem_2__005.smt2.slack sat 0
v35_problem_2__006.smt2.slack sat 0.01
v35_problem_2__007.smt2.slack sat 0.07
v35_problem_2__008.smt2.slack sat 0
v35_problem_2__009.smt2.slack sat 0
v35_problem_2__010.smt2.slack sat 0
v35_problem_2__011.smt2.slack sat 2257.900032
v35_problem_2__012.smt2.slack sat 62.23
v35_problem_2__013.smt2.slack sat 853.550016
v35_problem_2__014.smt2.slack sat 67.65
v35_problem_2__015.smt2.slack sat 97.75
v35_problem_2__018.smt2.slack sat 0
v35_problem_2__023.smt2.slack sat 0.1
v35_problem__001.smt2.slack sat 0
v35_problem__002.smt2.slack sat 22.2
v35_problem__003.smt2.slack sat 36.15
v35_problem__004.smt2.slack sat 0
v35_problem__005.smt2.slack sat 51.93
v35_problem__006.smt2.slack sat 74.44
v35_problem__007.smt2.slack sat 87.21
v35_problem__008.smt2.slack sat 0.01
v35_problem__009.smt2.slack sat 37.4
v35_problem__010.smt2.slack sat 462.02
v35_problem__011.smt2.slack sat 82.24
v35_problem__013.smt2.slack sat 471.169984
v35_problem__014.smt2.slack sat 0.06
v35_problem__015.smt2.slack sat 984.220032
v35_problem__016.smt2.slack sat 379
v35_problem__017.smt2.slack sat 1158.520064
v35_problem__018.smt2.slack sat 0
v35_problem__019.smt2.slack sat 1141.76
v35_problem__020.smt2.slack sat 717.219968
v35_problem__028.smt2.slack sat 361.489984
v35_problem__030.smt2.slack sat 559.670016
v40_problem_2__001.smt2.slack sat 0
v40_problem_2__002.smt2.slack sat 0
v40_problem_2__003.smt2.slack sat 0
v40_problem_2__004.smt2.slack sat 0
v40_problem_2__005.smt2.slack sat 0
v40_problem_2__006.smt2.slack sat 0
v40_problem_2__007.smt2.slack sat 798.590016
v40_problem_2__008.smt2.slack sat 0.4
v40_problem_2__010.smt2.slack sat 0.05
v40_problem_2__011.smt2.slack sat 132.19
v40_problem_2__012.smt2.slack sat 1843.139968
v40_problem_2__013.smt2.slack sat 320.329984
v40_problem_2__014.smt2.slack sat 1076.370048
v40_problem_2__015.smt2.slack sat 0
v40_problem_2__017.smt2.slack sat 304.7
v40_problem_2__022.smt2.slack sat 0
v40_problem_2__031.smt2.slack sat 1020.670016
v40_problem__001.smt2.slack sat 0
v40_problem__002.smt2.slack sat 0
v40_problem__003.smt2.slack sat 88.02
v40_problem__004.smt2.slack sat 0
v40_problem__005.smt2.slack sat 0
v40_problem__006.smt2.slack sat 0
v40_problem__007.smt2.slack sat 0
v40_problem__008.smt2.slack sat 0.01
v40_problem__009.smt2.slack sat 19.52
v40_problem__010.smt2.slack sat 0
v40_problem__015.smt2.slack sat 0.15
v40_problem__026.smt2.slack sat 11.04
v40_problem__028.smt2.slack sat 0.93
v40_problem__033.smt2.slack sat 11.01
v45_problem_2__001.smt2.slack sat 73.76
v45_problem_2__002.smt2.slack sat 235.13
v45_problem_2__003.smt2.slack sat 0
v45_problem_2__004.smt2.slack sat 7.36
v45_problem_2__005.smt2.slack sat 0
v45_problem_2__006.smt2.slack sat 0
v45_problem_2__008.smt2.slack sat 80.17
v45_problem_2__009.smt2.slack sat 0
v45_problem_2__010.smt2.slack sat 0.01
v45_problem_2__011.smt2.slack sat 0.01
v45_problem_2__015.smt2.slack sat 0.01
v45_problem_2__016.smt2.slack sat 829.670016
v45_problem_2__021.smt2.slack sat 1565.420032
v45_problem_2__028.smt2.slack sat 4.07
v45_problem_2__030.smt2.slack sat 0.62
v45_problem_2__032.smt2.slack sat 0.44
v45_problem__001.smt2.slack sat 0
v45_problem__002.smt2.slack sat 0
v45_problem__003.smt2.slack sat 0
v45_problem__004.smt2.slack sat 0
v45_problem__005.smt2.slack sat 50.7
v45_problem__006.smt2.slack sat 0.03
v45_problem__007.smt2.slack sat 0.09
v45_problem__008.smt2.slack sat 0.04
v45_problem__009.smt2.slack sat 0
v45_problem__011.smt2.slack sat 517.42
v45_problem__012.smt2.slack sat 0.07
v45_problem__013.smt2.slack sat 705.4
v45_problem__018.smt2.slack sat 0.24
v45_problem__020.smt2.slack sat 0.28
v45_problem__026.smt2.slack sat 2335.300096
v45_problem__029.smt2.slack sat 7.03
v45_problem__032.smt2.slack sat 1.3
c100_problem__006.smt2.slack unsat 0
c10_problem__002.smt2.slack unsat 0
c20_problem__004.smt2.slack unsat 0
c30_problem__006.smt2.slack unsat 0
c40_problem__002.smt2.slack unsat 0
c50_problem__002.smt2.slack unsat 0
c50_problem__006.smt2.slack unsat 0
c90_problem__005.smt2.slack unsat 0
v10_problem_2__012.smt2.slack unsat 0
v10_problem_2__016.smt2.slack unsat 0
v10_problem_2__019.smt2.slack unsat 0
v10_problem_2__021.smt2.slack unsat 0
v10_problem_2__024.smt2.slack unsat 0
v10_problem_2__025.smt2.slack unsat 0
v10_problem_2__026.smt2.slack unsat 0
v10_problem_2__027.smt2.slack unsat 0
v10_problem_2__028.smt2.slack unsat 0
v10_problem_2__029.smt2.slack unsat 0
v10_problem_2__030.smt2.slack unsat 0
v10_problem_2__031.smt2.slack unsat 0
v10_problem_2__032.smt2.slack unsat 0
v10_problem_2__033.smt2.slack unsat 0
v10_problem_2__034.smt2.slack unsat 0
v10_problem_2__035.smt2.slack unsat 0
v10_problem__016.smt2.slack unsat 0
v10_problem__017.smt2.slack unsat 0
v10_problem__020.smt2.slack unsat 0
v10_problem__021.smt2.slack unsat 0
v10_problem__022.smt2.slack unsat 0
v10_problem__024.smt2.slack unsat 0
v10_problem__025.smt2.slack unsat 0
v10_problem__026.smt2.slack unsat 0
v10_problem__027.smt2.slack unsat 0
v10_problem__028.smt2.slack unsat 0
v10_problem__029.smt2.slack unsat 0
v10_problem__030.smt2.slack unsat 0
v10_problem__031.smt2.slack unsat 0
v10_problem__032.smt2.slack unsat 0
v10_problem__034.smt2.slack unsat 0
v10_problem__035.smt2.slack unsat 0
v15_problem_2__011.smt2.slack unsat 0
v15_problem_2__019.smt2.slack unsat 0.03
v15_problem_2__020.smt2.slack unsat 0
v15_problem_2__021.smt2.slack unsat 0.06
v15_problem_2__022.smt2.slack unsat 0
v15_problem_2__024.smt2.slack unsat 0.08
v15_problem_2__025.smt2.slack unsat 0.85
v15_problem__016.smt2.slack unsat 0
v15_problem__022.smt2.slack unsat 0
v15_problem__023.smt2.slack unsat 0.01
v15_problem__024.smt2.slack unsat 0
v15_problem__025.smt2.slack unsat 0
v20_problem_2__023.smt2.slack unsat 158.88
v20_problem_2__026.smt2.slack unsat 0.24
v20_problem_2__027.smt2.slack unsat 0.11
v20_problem_2__030.smt2.slack unsat 0.14
v20_problem_2__031.smt2.slack unsat 0.16
v20_problem_2__032.smt2.slack unsat 0.17
v20_problem_2__033.smt2.slack unsat 0.29
v20_problem_2__034.smt2.slack unsat 0.21
v20_problem__014.smt2.slack unsat 672.030016
v20_problem__016.smt2.slack unsat 0.02
v20_problem__018.smt2.slack unsat 0.08
v20_problem__023.smt2.slack unsat 0.08
v20_problem__025.smt2.slack unsat 0.09
v20_problem__027.smt2.slack unsat 0.09
v20_problem__029.smt2.slack unsat 0.18
v20_problem__031.smt2.slack unsat 0.17
v20_problem__032.smt2.slack unsat 0.15
v20_problem__033.smt2.slack unsat 0.13
v20_problem__034.smt2.slack unsat 0.21
v20_problem__035.smt2.slack unsat 0.12
v25_problem_2__029.smt2.slack unsat 0.14
v25_problem_2__031.smt2.slack unsat 0.29
v25_problem_2__033.smt2.slack unsat 0.18
v25_problem__022.smt2.slack unsat 4.73
v25_problem__031.smt2.slack unsat 0.29
v25_problem__032.smt2.slack unsat 0.26
v25_problem__034.smt2.slack unsat 0.2
v30_problem__032.smt2.slack unsat 0.32