problem result overall_time
c100_problem__002.smt2.slack sat 3.1
c100_problem__004.smt2.slack sat 4.29
c10_problem__001.smt2.slack sat 0.51
c10_problem__004.smt2.slack sat 0.63
c10_problem__005.smt2.slack sat 7.48
c10_problem__006.smt2.slack sat 0.82
c20_problem__003.smt2.slack sat 70.31
c20_problem__005.smt2.slack sat 1.64
c20_problem__006.smt2.slack sat 1.2
c30_problem__004.smt2.slack sat 2485.71
c30_problem__005.smt2.slack sat 1.85
c40_problem__003.smt2.slack sat 1.22
c40_problem__006.smt2.slack sat 1.3
c50_problem__004.smt2.slack sat 0.55
c60_problem__002.smt2.slack sat 48.39
c60_problem__003.smt2.slack sat 1.95
c60_problem__005.smt2.slack sat 1.37
c60_problem__006.smt2.slack sat 4.17
c70_problem__003.smt2.slack sat 0.96
c70_problem__005.smt2.slack sat 326.36
c70_problem__006.smt2.slack sat 2.31
c80_problem__002.smt2.slack sat 1.35
c80_problem__004.smt2.slack sat 5
c80_problem__005.smt2.slack sat 0.81
c80_problem__006.smt2.slack sat 6.12
c90_problem__002.smt2.slack sat 0.65
c90_problem__003.smt2.slack sat 4.15
c90_problem__006.smt2.slack sat 1.03
v10_problem_2__001.smt2.slack sat 0.42
v10_problem_2__002.smt2.slack sat 0.53
v10_problem_2__003.smt2.slack sat NULL
v10_problem_2__004.smt2.slack sat 0.45
v10_problem_2__005.smt2.slack sat 0.57
v10_problem_2__006.smt2.slack sat 0.36
v10_problem_2__007.smt2.slack sat 0.47
v10_problem_2__008.smt2.slack sat 0.42
v10_problem_2__009.smt2.slack sat 0.44
v10_problem_2__010.smt2.slack sat 0.41
v10_problem_2__011.smt2.slack sat 0.64
v10_problem_2__013.smt2.slack sat 0.71
v10_problem_2__014.smt2.slack sat 0.54
v10_problem_2__015.smt2.slack sat 0.48
v10_problem_2__017.smt2.slack sat 0.42
v10_problem_2__018.smt2.slack sat 0.79
v10_problem_2__020.smt2.slack sat 0.46
v10_problem_2__022.smt2.slack sat 0.53
v10_problem_2__023.smt2.slack sat 0.61
v10_problem__001.smt2.slack sat 0.46
v10_problem__002.smt2.slack sat 0.49
v10_problem__003.smt2.slack sat 0.48
v10_problem__005.smt2.slack sat 0.41
v10_problem__006.smt2.slack sat 0.36
v10_problem__007.smt2.slack sat 0.48
v10_problem__008.smt2.slack sat 0.57
v10_problem__009.smt2.slack sat 0.51
v10_problem__010.smt2.slack sat 0.42
v10_problem__012.smt2.slack sat 0.5
v10_problem__013.smt2.slack sat 0.6
v10_problem__014.smt2.slack sat 0.49
v10_problem__015.smt2.slack sat 0.58
v10_problem__018.smt2.slack sat 0.89
v10_problem__019.smt2.slack sat 0.57
v10_problem__023.smt2.slack sat 0.6
v15_problem_2__001.smt2.slack sat 0.44
v15_problem_2__002.smt2.slack sat 0.56
v15_problem_2__003.smt2.slack sat 0.63
v15_problem_2__004.smt2.slack sat 0.68
v15_problem_2__005.smt2.slack sat 1.34
v15_problem_2__006.smt2.slack sat 2.54
v15_problem_2__007.smt2.slack sat 0.89
v15_problem_2__008.smt2.slack sat 0.57
v15_problem_2__009.smt2.slack sat 0.56
v15_problem_2__010.smt2.slack sat 0.74
v15_problem_2__012.smt2.slack sat 0.65
v15_problem_2__013.smt2.slack sat 7.75
v15_problem_2__014.smt2.slack sat 2.97
v15_problem_2__015.smt2.slack sat 0.68
v15_problem_2__016.smt2.slack sat 1.11
v15_problem_2__017.smt2.slack sat 5.34
v15_problem_2__018.smt2.slack sat 3.52
v15_problem_2__023.smt2.slack sat 0.88
v15_problem__001.smt2.slack sat 0.69
v15_problem__002.smt2.slack sat 0.5
v15_problem__003.smt2.slack sat 0.69
v15_problem__004.smt2.slack sat 0.5
v15_problem__005.smt2.slack sat 0.43
v15_problem__006.smt2.slack sat 0.86
v15_problem__007.smt2.slack sat 1.23
v15_problem__008.smt2.slack sat 0.43
v15_problem__009.smt2.slack sat 1.48
v15_problem__010.smt2.slack sat 0.78
v15_problem__011.smt2.slack sat 1.27
v15_problem__012.smt2.slack sat 1.99
v15_problem__013.smt2.slack sat 1.33
v15_problem__014.smt2.slack sat 1.07
v15_problem__015.smt2.slack sat 0.57
v15_problem__017.smt2.slack sat 1.08
v15_problem__018.smt2.slack sat 1.75
v15_problem__019.smt2.slack sat 1.59
v15_problem__020.smt2.slack sat 1.16
v15_problem__021.smt2.slack sat 0.94
v20_problem_2__001.smt2.slack sat 0.52
v20_problem_2__002.smt2.slack sat 0.55
v20_problem_2__003.smt2.slack sat 0.87
v20_problem_2__004.smt2.slack sat 0.55
v20_problem_2__005.smt2.slack sat 1.08
v20_problem_2__006.smt2.slack sat 7.92
v20_problem_2__007.smt2.slack sat 13.46
v20_problem_2__008.smt2.slack sat 266.89
v20_problem_2__009.smt2.slack sat 2.02
v20_problem_2__010.smt2.slack sat 0.89
v20_problem_2__011.smt2.slack sat 0.74
v20_problem_2__012.smt2.slack sat 3.5
v20_problem_2__013.smt2.slack sat 654.81
v20_problem_2__014.smt2.slack sat 17.43
v20_problem_2__015.smt2.slack sat 5.32
v20_problem_2__016.smt2.slack sat 4.97
v20_problem_2__017.smt2.slack sat 6.86
v20_problem_2__018.smt2.slack sat 2.85
v20_problem_2__019.smt2.slack sat 1.9
v20_problem_2__020.smt2.slack sat 1.87
v20_problem_2__022.smt2.slack sat 1.06
v20_problem_2__024.smt2.slack sat 4.27
v20_problem_2__025.smt2.slack sat 580.73
v20_problem_2__028.smt2.slack sat 515.77
v20_problem_2__029.smt2.slack sat 2.33
v20_problem_2__035.smt2.slack sat 4.01
v20_problem__001.smt2.slack sat 0.88
v20_problem__002.smt2.slack sat 0.56
v20_problem__003.smt2.slack sat 0.79
v20_problem__004.smt2.slack sat 0.66
v20_problem__005.smt2.slack sat 0.77
v20_problem__006.smt2.slack sat 0.63
v20_problem__007.smt2.slack sat 1.08
v20_problem__008.smt2.slack sat 3.99
v20_problem__009.smt2.slack sat 476.11
v20_problem__010.smt2.slack sat 0.79
v20_problem__011.smt2.slack sat 5.06
v20_problem__012.smt2.slack sat 3.56
v20_problem__013.smt2.slack sat 1.64
v20_problem__017.smt2.slack sat 1.5
v20_problem__019.smt2.slack sat 15.39
v20_problem__020.smt2.slack sat 4.28
v20_problem__021.smt2.slack sat 2.72
v20_problem__022.smt2.slack sat 3.21
v20_problem__024.smt2.slack sat 2.63
v20_problem__026.smt2.slack sat 260.29
v20_problem__028.smt2.slack sat 3.06
v20_problem__030.smt2.slack sat 5.24
v25_problem_2__001.smt2.slack sat 1.69
v25_problem_2__002.smt2.slack sat 2.98
v25_problem_2__003.smt2.slack sat 0.59
v25_problem_2__004.smt2.slack sat 0.91
v25_problem_2__005.smt2.slack sat 0.81
v25_problem_2__006.smt2.slack sat 1.23
v25_problem_2__007.smt2.slack sat 116.34
v25_problem_2__008.smt2.slack sat 0.68
v25_problem_2__009.smt2.slack sat 3.05
v25_problem_2__010.smt2.slack sat 0.66
v25_problem_2__011.smt2.slack sat 5.16
v25_problem_2__012.smt2.slack sat 17.36
v25_problem_2__014.smt2.slack sat 33.7
v25_problem_2__015.smt2.slack sat 136.34
v25_problem_2__016.smt2.slack sat 11.85
v25_problem_2__017.smt2.slack sat 24.85
v25_problem_2__018.smt2.slack sat 11.08
v25_problem_2__019.smt2.slack sat 3.97
v25_problem_2__020.smt2.slack sat 4.31
v25_problem_2__021.smt2.slack sat 15.2
v25_problem_2__022.smt2.slack sat 3.43
v25_problem_2__023.smt2.slack sat 4.44
v25_problem_2__024.smt2.slack sat 2.54
v25_problem_2__025.smt2.slack sat 11.93
v25_problem_2__026.smt2.slack sat 15.49
v25_problem_2__027.smt2.slack sat 9.1
v25_problem_2__028.smt2.slack sat 3.08
v25_problem_2__030.smt2.slack sat 12.37
v25_problem_2__034.smt2.slack sat 4.67
v25_problem_2__035.smt2.slack sat 3.66
v25_problem__001.smt2.slack sat 0.76
v25_problem__002.smt2.slack sat 0.6
v25_problem__003.smt2.slack sat 0.59
v25_problem__004.smt2.slack sat 7.1
v25_problem__005.smt2.slack sat 4.55
v25_problem__006.smt2.slack sat 3.08
v25_problem__007.smt2.slack sat 9.53
v25_problem__008.smt2.slack sat 1.77
v25_problem__009.smt2.slack sat 5.85
v25_problem__010.smt2.slack sat 494.91
v25_problem__011.smt2.slack sat 11.91
v25_problem__012.smt2.slack sat 4.52
v25_problem__013.smt2.slack sat 121.73
v25_problem__014.smt2.slack sat 1.11
v25_problem__015.smt2.slack sat 7.14
v25_problem__016.smt2.slack sat 16.3
v25_problem__018.smt2.slack sat 38.91
v25_problem__020.smt2.slack sat 10.82
v25_problem__021.smt2.slack sat 25.35
v25_problem__023.smt2.slack sat 5.24
v25_problem__024.smt2.slack sat 40.87
v25_problem__025.smt2.slack sat 11.78
v25_problem__026.smt2.slack sat 27.32
v25_problem__027.smt2.slack sat 5.82
v25_problem__029.smt2.slack sat 28.85
v25_problem__033.smt2.slack sat 8.65
v25_problem__035.smt2.slack sat 8.34
v30_problem_2__001.smt2.slack sat 0.53
v30_problem_2__002.smt2.slack sat 0.42
v30_problem_2__003.smt2.slack sat 0.46
v30_problem_2__004.smt2.slack sat 0.8
v30_problem_2__005.smt2.slack sat 224.09
v30_problem_2__006.smt2.slack sat 29.34
v30_problem_2__007.smt2.slack sat 2.17
v30_problem_2__008.smt2.slack sat 2.71
v30_problem_2__009.smt2.slack sat 31.17
v30_problem_2__010.smt2.slack sat 2.74
v30_problem_2__011.smt2.slack sat 169.12
v30_problem_2__012.smt2.slack sat 1.82
v30_problem_2__013.smt2.slack sat 13.07
v30_problem_2__014.smt2.slack sat 3.89
v30_problem_2__015.smt2.slack sat 262.88
v30_problem_2__016.smt2.slack sat 4.89
v30_problem_2__017.smt2.slack sat 107.97
v30_problem_2__018.smt2.slack sat 10.93
v30_problem_2__019.smt2.slack sat 4.07
v30_problem_2__021.smt2.slack sat 95
v30_problem_2__022.smt2.slack sat 148.82
v30_problem_2__023.smt2.slack sat 4.27
v30_problem_2__024.smt2.slack sat 853.11
v30_problem_2__025.smt2.slack sat 24.16
v30_problem_2__027.smt2.slack sat 26.41
v30_problem_2__028.smt2.slack sat 83.95
v30_problem_2__029.smt2.slack sat 49.41
v30_problem_2__030.smt2.slack sat 8.54
v30_problem_2__031.smt2.slack sat 62.89
v30_problem_2__032.smt2.slack sat 2.11
v30_problem_2__033.smt2.slack sat 1390.07
v30_problem_2__035.smt2.slack sat 186.2
v30_problem__001.smt2.slack sat 1.75
v30_problem__002.smt2.slack sat 4.89
v30_problem__003.smt2.slack sat 6.7
v30_problem__004.smt2.slack sat 0.95
v30_problem__005.smt2.slack sat 0.43
v30_problem__006.smt2.slack sat 5.3
v30_problem__007.smt2.slack sat 18.56
v30_problem__008.smt2.slack sat 0.73
v30_problem__009.smt2.slack sat 0.8
v30_problem__010.smt2.slack sat 6.01
v30_problem__011.smt2.slack sat 3.7
v30_problem__012.smt2.slack sat 289.83
v30_problem__013.smt2.slack sat 366.65
v30_problem__014.smt2.slack sat 25.29
v30_problem__018.smt2.slack sat 19.87
v30_problem__019.smt2.slack sat 7.56
v30_problem__020.smt2.slack sat 156.74
v30_problem__021.smt2.slack sat 11.96
v30_problem__022.smt2.slack sat 14.96
v30_problem__023.smt2.slack sat 51.39
v30_problem__024.smt2.slack sat 4.14
v30_problem__025.smt2.slack sat 1.75
v30_problem__026.smt2.slack sat 9.36
v30_problem__027.smt2.slack sat 4.89
v30_problem__029.smt2.slack sat 10.93
v30_problem__030.smt2.slack sat 21.62
v30_problem__031.smt2.slack sat 6.21
v30_problem__033.smt2.slack sat 12.08
v30_problem__034.smt2.slack sat 2.57
v30_problem__035.smt2.slack sat 22.65
v35_problem_2__001.smt2.slack sat 0.8
v35_problem_2__002.smt2.slack sat 0.64
v35_problem_2__003.smt2.slack sat 2.76
v35_problem_2__004.smt2.slack sat 443.46
v35_problem_2__005.smt2.slack sat 2.16
v35_problem_2__006.smt2.slack sat 4.63
v35_problem_2__007.smt2.slack sat 6.68
v35_problem_2__008.smt2.slack sat 177
v35_problem_2__009.smt2.slack sat 45.96
v35_problem_2__010.smt2.slack sat 2.36
v35_problem_2__011.smt2.slack sat 45.76
v35_problem_2__012.smt2.slack sat 2.43
v35_problem_2__013.smt2.slack sat 43.96
v35_problem_2__014.smt2.slack sat 6.18
v35_problem_2__018.smt2.slack sat 2.38
v35_problem_2__019.smt2.slack sat 187.53
v35_problem_2__020.smt2.slack sat 9.3
v35_problem_2__022.smt2.slack sat 5.59
v35_problem_2__024.smt2.slack sat 53.37
v35_problem_2__025.smt2.slack sat 17.9
v35_problem_2__026.smt2.slack sat 29.59
v35_problem_2__027.smt2.slack sat 102.91
v35_problem_2__028.smt2.slack sat 71.19
v35_problem_2__029.smt2.slack sat 49.55
v35_problem_2__030.smt2.slack sat 97.99
v35_problem_2__031.smt2.slack sat NULL
v35_problem_2__032.smt2.slack sat 7.97
v35_problem_2__033.smt2.slack sat 329.05
v35_problem_2__034.smt2.slack sat 24.45
v35_problem_2__035.smt2.slack sat 8.98
v35_problem__001.smt2.slack sat 0.48
v35_problem__002.smt2.slack sat 0.8
v35_problem__003.smt2.slack sat 1.23
v35_problem__004.smt2.slack sat 0.67
v35_problem__007.smt2.slack sat 3.28
v35_problem__008.smt2.slack sat 1
v35_problem__009.smt2.slack sat 2.15
v35_problem__010.smt2.slack sat 31.11
v35_problem__011.smt2.slack sat 1722.38
v35_problem__012.smt2.slack sat 4.26
v35_problem__013.smt2.slack sat 1.4
v35_problem__014.smt2.slack sat 38.16
v35_problem__015.smt2.slack sat 1.43
v35_problem__016.smt2.slack sat 9.76
v35_problem__018.smt2.slack sat 38.5
v35_problem__020.smt2.slack sat 22.12
v35_problem__021.smt2.slack sat 4.9
v35_problem__023.smt2.slack sat 3.99
v35_problem__024.smt2.slack sat 13.94
v35_problem__026.smt2.slack sat 7.06
v35_problem__027.smt2.slack sat 23.36
v35_problem__028.smt2.slack sat 4
v35_problem__030.smt2.slack sat 28.33
v35_problem__031.smt2.slack sat 53.34
v35_problem__032.smt2.slack sat 41.6
v35_problem__034.smt2.slack sat 31.18
v35_problem__035.smt2.slack sat 4.56
v40_problem_2__001.smt2.slack sat 122.31
v40_problem_2__002.smt2.slack sat 1
v40_problem_2__003.smt2.slack sat 1.85
v40_problem_2__004.smt2.slack sat 1.06
v40_problem_2__005.smt2.slack sat 0.99
v40_problem_2__006.smt2.slack sat 5.39
v40_problem_2__007.smt2.slack sat 0.6
v40_problem_2__008.smt2.slack sat 3.13
v40_problem_2__009.smt2.slack sat 26.22
v40_problem_2__010.smt2.slack sat 6.17
v40_problem_2__011.smt2.slack sat 2.41
v40_problem_2__012.smt2.slack sat 347.65
v40_problem_2__014.smt2.slack sat 703.15
v40_problem_2__015.smt2.slack sat 3.85
v40_problem_2__016.smt2.slack sat 11.6
v40_problem_2__017.smt2.slack sat 152.27
v40_problem_2__018.smt2.slack sat 33.24
v40_problem_2__019.smt2.slack sat 19.1
v40_problem_2__020.smt2.slack sat 5.19
v40_problem_2__021.smt2.slack sat 177.02
v40_problem_2__022.smt2.slack sat 52.39
v40_problem_2__023.smt2.slack sat 22.15
v40_problem_2__024.smt2.slack sat 372.7
v40_problem_2__025.smt2.slack sat 31.16
v40_problem_2__026.smt2.slack sat 91.22
v40_problem_2__027.smt2.slack sat 2417.75
v40_problem_2__030.smt2.slack sat 81.57
v40_problem_2__031.smt2.slack sat 6.91
v40_problem_2__032.smt2.slack sat 88.62
v40_problem_2__034.smt2.slack sat 4.58
v40_problem_2__035.smt2.slack sat 392.93
v40_problem__001.smt2.slack sat 11.58
v40_problem__002.smt2.slack sat 1.33
v40_problem__003.smt2.slack sat 474.7
v40_problem__004.smt2.slack sat 0.84
v40_problem__005.smt2.slack sat 0.42
v40_problem__006.smt2.slack sat 0.88
v40_problem__008.smt2.slack sat 386.33
v40_problem__009.smt2.slack sat 1922.96
v40_problem__010.smt2.slack sat 0.7
v40_problem__011.smt2.slack sat 30.14
v40_problem__012.smt2.slack sat 1772.5
v40_problem__013.smt2.slack sat 837.04
v40_problem__014.smt2.slack sat 0.85
v40_problem__015.smt2.slack sat 1.96
v40_problem__017.smt2.slack sat 19.01
v40_problem__018.smt2.slack sat 99.39
v40_problem__019.smt2.slack sat 257.82
v40_problem__020.smt2.slack sat 453.32
v40_problem__021.smt2.slack sat 312.71
v40_problem__022.smt2.slack sat 120.14
v40_problem__023.smt2.slack sat 101.07
v40_problem__025.smt2.slack sat 26.46
v40_problem__026.smt2.slack sat 30.84
v40_problem__028.smt2.slack sat 1699.51
v40_problem__029.smt2.slack sat 69.51
v40_problem__030.smt2.slack sat 620.76
v40_problem__031.smt2.slack sat 71.75
v40_problem__032.smt2.slack sat 48.95
v40_problem__033.smt2.slack sat 699.1
v40_problem__034.smt2.slack sat 7.87
v40_problem__035.smt2.slack sat 4.38
v45_problem_2__001.smt2.slack sat 5.11
v45_problem_2__002.smt2.slack sat 0.85
v45_problem_2__003.smt2.slack sat 4.75
v45_problem_2__004.smt2.slack sat 0.84
v45_problem_2__005.smt2.slack sat 1.02
v45_problem_2__007.smt2.slack sat 0.71
v45_problem_2__008.smt2.slack sat 0.56
v45_problem_2__009.smt2.slack sat 0.73
v45_problem_2__013.smt2.slack sat 46.37
v45_problem_2__014.smt2.slack sat 12.48
v45_problem_2__016.smt2.slack sat 9.36
v45_problem_2__017.smt2.slack sat 95.79
v45_problem_2__018.smt2.slack sat 6.67
v45_problem_2__020.smt2.slack sat 9.34
v45_problem_2__021.smt2.slack sat 11.12
v45_problem_2__022.smt2.slack sat 37.87
v45_problem_2__023.smt2.slack sat 16.18
v45_problem_2__025.smt2.slack sat 65.14
v45_problem_2__027.smt2.slack sat 566.36
v45_problem_2__028.smt2.slack sat 51.05
v45_problem_2__029.smt2.slack sat 8.99
v45_problem_2__030.smt2.slack sat 921.34
v45_problem_2__031.smt2.slack sat 29.99
v45_problem_2__032.smt2.slack sat 214.13
v45_problem_2__033.smt2.slack sat 4.73
v45_problem_2__034.smt2.slack sat 365.32
v45_problem_2__035.smt2.slack sat 6.72
v45_problem__001.smt2.slack sat 0.95
v45_problem__002.smt2.slack sat 0.77
v45_problem__003.smt2.slack sat 0.92
v45_problem__004.smt2.slack sat 0.64
v45_problem__005.smt2.slack sat 0.87
v45_problem__006.smt2.slack sat 18.29
v45_problem__007.smt2.slack sat 36.1
v45_problem__008.smt2.slack sat 6.98
v45_problem__009.smt2.slack sat 6.87
v45_problem__010.smt2.slack sat 1
v45_problem__011.smt2.slack sat 458.77
v45_problem__012.smt2.slack sat 11.26
v45_problem__015.smt2.slack sat 19.55
v45_problem__016.smt2.slack sat 17.5
v45_problem__017.smt2.slack sat 132.38
v45_problem__018.smt2.slack sat 243.06
v45_problem__020.smt2.slack sat 13.63
v45_problem__021.smt2.slack sat 47.08
v45_problem__022.smt2.slack sat 30.2
v45_problem__023.smt2.slack sat 15.84
v45_problem__024.smt2.slack sat 25.24
v45_problem__025.smt2.slack sat 297.17
v45_problem__027.smt2.slack sat 795.66
v45_problem__029.smt2.slack sat 11.71
v45_problem__034.smt2.slack sat 52.6
v45_problem__035.smt2.slack sat NULL
c100_problem__006.smt2.slack unsat 0.65
c10_problem__002.smt2.slack unsat 0.56
c20_problem__004.smt2.slack unsat 0.59
c30_problem__006.smt2.slack unsat 0.62
c40_problem__002.smt2.slack unsat 0.72
c50_problem__002.smt2.slack unsat 1.02
c50_problem__006.smt2.slack unsat 0.69
c90_problem__005.smt2.slack unsat 0.71
v10_problem_2__012.smt2.slack unsat 0.58
v10_problem_2__016.smt2.slack unsat 0.56
v10_problem_2__019.smt2.slack unsat 0.57
v10_problem_2__021.smt2.slack unsat 0.64
v10_problem_2__024.smt2.slack unsat 0.55
v10_problem_2__025.smt2.slack unsat 0.61
v10_problem_2__026.smt2.slack unsat 0.5
v10_problem_2__027.smt2.slack unsat 0.48
v10_problem_2__028.smt2.slack unsat 0.69
v10_problem_2__029.smt2.slack unsat 0.61
v10_problem_2__030.smt2.slack unsat 0.65
v10_problem_2__031.smt2.slack unsat 0.46
v10_problem_2__032.smt2.slack unsat 0.47
v10_problem_2__033.smt2.slack unsat 0.63
v10_problem_2__034.smt2.slack unsat 0.51
v10_problem_2__035.smt2.slack unsat 0.4
v10_problem__016.smt2.slack unsat 0.61
v10_problem__017.smt2.slack unsat 0.39
v10_problem__020.smt2.slack unsat 0.66
v10_problem__021.smt2.slack unsat 0.69
v10_problem__022.smt2.slack unsat 0.52
v10_problem__024.smt2.slack unsat 0.6
v10_problem__025.smt2.slack unsat 0.38
v10_problem__026.smt2.slack unsat 0.49
v10_problem__027.smt2.slack unsat 0.5
v10_problem__028.smt2.slack unsat 0.47
v10_problem__029.smt2.slack unsat 0.39
v10_problem__030.smt2.slack unsat 0.5
v10_problem__031.smt2.slack unsat 0.38
v10_problem__032.smt2.slack unsat 0.52
v10_problem__034.smt2.slack unsat 0.66
v10_problem__035.smt2.slack unsat 0.73
v15_problem_2__011.smt2.slack unsat 0.63
v15_problem_2__019.smt2.slack unsat 1.54
v15_problem_2__020.smt2.slack unsat 0.53
v15_problem_2__021.smt2.slack unsat 1.19
v15_problem_2__022.smt2.slack unsat 0.78
v15_problem_2__024.smt2.slack unsat 0.72
v15_problem_2__025.smt2.slack unsat 1.67
v15_problem__016.smt2.slack unsat 0.47
v15_problem__022.smt2.slack unsat 0.95
v15_problem__023.smt2.slack unsat 0.97
v15_problem__024.smt2.slack unsat 1.15
v15_problem__025.smt2.slack unsat 0.9
v20_problem_2__023.smt2.slack unsat 666.03
v20_problem_2__026.smt2.slack unsat 2.27
v20_problem_2__027.smt2.slack unsat 2.09
v20_problem_2__030.smt2.slack unsat 1.99
v20_problem_2__031.smt2.slack unsat 2.81
v20_problem_2__032.smt2.slack unsat 1.13
v20_problem_2__033.smt2.slack unsat 3.03
v20_problem_2__034.smt2.slack unsat 1.66
v20_problem__014.smt2.slack unsat 420.03
v20_problem__016.smt2.slack unsat 1.01
v20_problem__018.smt2.slack unsat 1.56
v20_problem__023.smt2.slack unsat 0.62
v20_problem__025.smt2.slack unsat 1.63
v20_problem__027.smt2.slack unsat 1.81
v20_problem__029.smt2.slack unsat 1.15
v20_problem__031.smt2.slack unsat 3.2
v20_problem__032.smt2.slack unsat 1.58
v20_problem__033.smt2.slack unsat NULL
v20_problem__034.smt2.slack unsat 2.23
v20_problem__035.smt2.slack unsat 1.11
v25_problem_2__029.smt2.slack unsat 1.67
v25_problem_2__031.smt2.slack unsat 2.8
v25_problem_2__033.smt2.slack unsat 2.82
v25_problem__022.smt2.slack unsat 6.32
v25_problem__031.smt2.slack unsat 7.23
v25_problem__032.smt2.slack unsat 2.61
v25_problem__034.smt2.slack unsat 2.51
v30_problem__032.smt2.slack unsat 5.13