problem result overall_time
c100_problem__002.smt2.slack sat 0.05
c100_problem__003.smt2.slack sat 0.04
c100_problem__004.smt2.slack sat 0.05
c100_problem__005.smt2.slack sat 0.05
c10_problem__001.smt2.slack sat 0.01
c10_problem__004.smt2.slack sat 0.01
c10_problem__005.smt2.slack sat 0.05
c10_problem__006.smt2.slack sat 0.04
c20_problem__002.smt2.slack sat 0.04
c20_problem__003.smt2.slack sat 0.02
c20_problem__005.smt2.slack sat 0.04
c20_problem__006.smt2.slack sat 0.04
c30_problem__002.smt2.slack sat 0.04
c30_problem__003.smt2.slack sat 0.07
c30_problem__004.smt2.slack sat 0.03
c30_problem__005.smt2.slack sat 0.04
c40_problem__003.smt2.slack sat 0.02
c40_problem__004.smt2.slack sat 0.04
c40_problem__005.smt2.slack sat 0.03
c40_problem__006.smt2.slack sat 0.04
c50_problem__003.smt2.slack sat 0.04
c50_problem__004.smt2.slack sat 0.03
c50_problem__005.smt2.slack sat 0.05
c60_problem__002.smt2.slack sat 0.03
c60_problem__003.smt2.slack sat 0.04
c60_problem__005.smt2.slack sat 0.03
c60_problem__006.smt2.slack sat 0.03
c70_problem__002.smt2.slack sat 0.03
c70_problem__003.smt2.slack sat 0.03
c70_problem__004.smt2.slack sat 0.02
c70_problem__005.smt2.slack sat 0.05
c70_problem__006.smt2.slack sat 0.04
c80_problem__002.smt2.slack sat 0.03
c80_problem__003.smt2.slack sat 0.03
c80_problem__004.smt2.slack sat 0.03
c80_problem__005.smt2.slack sat 0.03
c80_problem__006.smt2.slack sat 0.02
c90_problem__002.smt2.slack sat 0.03
c90_problem__003.smt2.slack sat 0.06
c90_problem__004.smt2.slack sat 0.05
c90_problem__006.smt2.slack sat 0.06
v10_problem_2__001.smt2.slack sat 0
v10_problem_2__002.smt2.slack sat 0
v10_problem_2__003.smt2.slack sat 0.01
v10_problem_2__004.smt2.slack sat 0.01
v10_problem_2__005.smt2.slack sat 0.01
v10_problem_2__006.smt2.slack sat 0
v10_problem_2__007.smt2.slack sat 0.01
v10_problem_2__008.smt2.slack sat 0.01
v10_problem_2__009.smt2.slack sat 0.02
v10_problem_2__010.smt2.slack sat 0.01
v10_problem_2__011.smt2.slack sat 0.01
v10_problem_2__013.smt2.slack sat 0.01
v10_problem_2__014.smt2.slack sat 0.02
v10_problem_2__015.smt2.slack sat 0.01
v10_problem_2__017.smt2.slack sat 0.01
v10_problem_2__018.smt2.slack sat 0
v10_problem_2__020.smt2.slack sat 0.01
v10_problem_2__022.smt2.slack sat 0.02
v10_problem_2__023.smt2.slack sat 2.87
v10_problem__001.smt2.slack sat 0.01
v10_problem__002.smt2.slack sat 0.02
v10_problem__003.smt2.slack sat 0.02
v10_problem__005.smt2.slack sat 0
v10_problem__006.smt2.slack sat 0.01
v10_problem__007.smt2.slack sat 0
v10_problem__008.smt2.slack sat 0.01
v10_problem__009.smt2.slack sat 0.01
v10_problem__010.smt2.slack sat 0
v10_problem__012.smt2.slack sat 0
v10_problem__013.smt2.slack sat 0.01
v10_problem__014.smt2.slack sat 0.02
v10_problem__015.smt2.slack sat 0.02
v10_problem__018.smt2.slack sat 0.01
v10_problem__019.smt2.slack sat 0
v10_problem__023.smt2.slack sat 0.01
v15_problem_2__001.smt2.slack sat 0
v15_problem_2__002.smt2.slack sat 0.01
v15_problem_2__003.smt2.slack sat 0.02
v15_problem_2__004.smt2.slack sat 0
v15_problem_2__005.smt2.slack sat 0.01
v15_problem_2__006.smt2.slack sat 0.03
v15_problem_2__007.smt2.slack sat 0.03
v15_problem_2__008.smt2.slack sat 0.02
v15_problem_2__009.smt2.slack sat 0.01
v15_problem_2__010.smt2.slack sat 0.01
v15_problem_2__012.smt2.slack sat 0.01
v15_problem_2__013.smt2.slack sat 0.04
v15_problem_2__014.smt2.slack sat 0.04
v15_problem_2__015.smt2.slack sat 0.02
v15_problem_2__016.smt2.slack sat 0.01
v15_problem_2__017.smt2.slack sat 0.03
v15_problem_2__018.smt2.slack sat 0.08
v15_problem_2__023.smt2.slack sat 0.05
v15_problem__001.smt2.slack sat 0
v15_problem__002.smt2.slack sat 0.01
v15_problem__003.smt2.slack sat 0.01
v15_problem__004.smt2.slack sat 0.01
v15_problem__005.smt2.slack sat 0.01
v15_problem__006.smt2.slack sat 0.01
v15_problem__007.smt2.slack sat 0.01
v15_problem__008.smt2.slack sat 0.01
v15_problem__009.smt2.slack sat 0.01
v15_problem__010.smt2.slack sat 0.01
v15_problem__011.smt2.slack sat 0.02
v15_problem__012.smt2.slack sat 0.03
v15_problem__013.smt2.slack sat 0.03
v15_problem__014.smt2.slack sat 0.01
v15_problem__015.smt2.slack sat 0.07
v15_problem__017.smt2.slack sat 0.61
v15_problem__018.smt2.slack sat 0.02
v15_problem__019.smt2.slack sat 0.03
v15_problem__020.smt2.slack sat 0.02
v15_problem__021.smt2.slack sat 0.02
v20_problem_2__001.smt2.slack sat 0.01
v20_problem_2__002.smt2.slack sat 0.02
v20_problem_2__003.smt2.slack sat 0.02
v20_problem_2__004.smt2.slack sat 0.02
v20_problem_2__005.smt2.slack sat 0.01
v20_problem_2__006.smt2.slack sat 0.02
v20_problem_2__007.smt2.slack sat 0.02
v20_problem_2__008.smt2.slack sat 0.02
v20_problem_2__009.smt2.slack sat 0.02
v20_problem_2__010.smt2.slack sat 0.01
v20_problem_2__011.smt2.slack sat 0.03
v20_problem_2__012.smt2.slack sat 0.03
v20_problem_2__013.smt2.slack sat 0.05
v20_problem_2__014.smt2.slack sat 0.03
v20_problem_2__015.smt2.slack sat 0.02
v20_problem_2__016.smt2.slack sat 0.06
v20_problem_2__017.smt2.slack sat 0.08
v20_problem_2__018.smt2.slack sat 0.1
v20_problem_2__019.smt2.slack sat 0.11
v20_problem_2__020.smt2.slack sat 0.14
v20_problem_2__021.smt2.slack sat 0.06
v20_problem_2__022.smt2.slack sat 0.08
v20_problem_2__024.smt2.slack sat 0.08
v20_problem_2__025.smt2.slack sat 0.15
v20_problem_2__028.smt2.slack sat 0.22
v20_problem_2__029.smt2.slack sat 0.19
v20_problem_2__035.smt2.slack sat 0.26
v20_problem__001.smt2.slack sat 0.01
v20_problem__002.smt2.slack sat 0.02
v20_problem__003.smt2.slack sat 0.01
v20_problem__004.smt2.slack sat 0.01
v20_problem__005.smt2.slack sat 0.02
v20_problem__006.smt2.slack sat 0.01
v20_problem__007.smt2.slack sat 0.02
v20_problem__008.smt2.slack sat 0.01
v20_problem__009.smt2.slack sat 0.04
v20_problem__010.smt2.slack sat 0.03
v20_problem__011.smt2.slack sat 0.05
v20_problem__012.smt2.slack sat 0.01
v20_problem__013.smt2.slack sat 0.03
v20_problem__015.smt2.slack sat 0.01
v20_problem__017.smt2.slack sat 0.06
v20_problem__019.smt2.slack sat 0.15
v20_problem__020.smt2.slack sat 0.03
v20_problem__021.smt2.slack sat 0.3
v20_problem__022.smt2.slack sat 0.04
v20_problem__024.smt2.slack sat 0.21
v20_problem__026.smt2.slack sat 0.26
v20_problem__028.smt2.slack sat 0.36
v20_problem__030.smt2.slack sat 0.12
v25_problem_2__001.smt2.slack sat 0.02
v25_problem_2__002.smt2.slack sat 0.02
v25_problem_2__003.smt2.slack sat 0.03
v25_problem_2__004.smt2.slack sat 0.02
v25_problem_2__005.smt2.slack sat 0.02
v25_problem_2__006.smt2.slack sat 0.03
v25_problem_2__007.smt2.slack sat 0.03
v25_problem_2__008.smt2.slack sat 0.02
v25_problem_2__009.smt2.slack sat 0.03
v25_problem_2__010.smt2.slack sat 0.03
v25_problem_2__011.smt2.slack sat 0.04
v25_problem_2__012.smt2.slack sat 0.06
v25_problem_2__013.smt2.slack sat 0.08
v25_problem_2__014.smt2.slack sat 0.04
v25_problem_2__015.smt2.slack sat 0.05
v25_problem_2__016.smt2.slack sat 0.09
v25_problem_2__017.smt2.slack sat 0.22
v25_problem_2__018.smt2.slack sat 0.15
v25_problem_2__019.smt2.slack sat 0.11
v25_problem_2__020.smt2.slack sat 0.07
v25_problem_2__021.smt2.slack sat 0.16
v25_problem_2__022.smt2.slack sat 0.15
v25_problem_2__023.smt2.slack sat 0.3
v25_problem_2__024.smt2.slack sat 0.17
v25_problem_2__025.smt2.slack sat 0.23
v25_problem_2__026.smt2.slack sat 0.24
v25_problem_2__027.smt2.slack sat 0.44
v25_problem_2__028.smt2.slack sat 0.49
v25_problem_2__030.smt2.slack sat 0.41
v25_problem_2__032.smt2.slack sat 0.42
v25_problem_2__034.smt2.slack sat 0.83
v25_problem_2__035.smt2.slack sat 0.55
v25_problem__001.smt2.slack sat 0.01
v25_problem__002.smt2.slack sat 0.01
v25_problem__003.smt2.slack sat 0.02
v25_problem__004.smt2.slack sat 0.02
v25_problem__005.smt2.slack sat 0.02
v25_problem__006.smt2.slack sat 0.03
v25_problem__007.smt2.slack sat 0.03
v25_problem__008.smt2.slack sat 0.03
v25_problem__009.smt2.slack sat 0.02
v25_problem__010.smt2.slack sat 0.04
v25_problem__011.smt2.slack sat 0.06
v25_problem__012.smt2.slack sat 0.05
v25_problem__013.smt2.slack sat 0.03
v25_problem__014.smt2.slack sat 0.03
v25_problem__015.smt2.slack sat 0.06
v25_problem__016.smt2.slack sat 0.07
v25_problem__017.smt2.slack sat 0.08
v25_problem__018.smt2.slack sat 0.09
v25_problem__019.smt2.slack sat 0.08
v25_problem__020.smt2.slack sat 0.12
v25_problem__021.smt2.slack sat 0.16
v25_problem__023.smt2.slack sat 0.18
v25_problem__024.smt2.slack sat 0.17
v25_problem__025.smt2.slack sat 0.4
v25_problem__026.smt2.slack sat 0.79
v25_problem__027.smt2.slack sat 0.39
v25_problem__028.smt2.slack sat 0.38
v25_problem__029.smt2.slack sat 0.38
v25_problem__030.smt2.slack sat 0.15
v25_problem__033.smt2.slack sat 0.45
v25_problem__035.smt2.slack sat 0.52
v30_problem_2__001.smt2.slack sat 0.02
v30_problem_2__002.smt2.slack sat 0.02
v30_problem_2__003.smt2.slack sat 0.02
v30_problem_2__004.smt2.slack sat 0.03
v30_problem_2__005.smt2.slack sat 0.03
v30_problem_2__006.smt2.slack sat 0.05
v30_problem_2__007.smt2.slack sat 0.05
v30_problem_2__008.smt2.slack sat 0.05
v30_problem_2__009.smt2.slack sat 0.02
v30_problem_2__010.smt2.slack sat 0.03
v30_problem_2__011.smt2.slack sat 0.02
v30_problem_2__012.smt2.slack sat 0.04
v30_problem_2__013.smt2.slack sat 0.05
v30_problem_2__014.smt2.slack sat 0.07
v30_problem_2__015.smt2.slack sat 0.12
v30_problem_2__016.smt2.slack sat 0.18
v30_problem_2__017.smt2.slack sat 0.08
v30_problem_2__018.smt2.slack sat 0.09
v30_problem_2__019.smt2.slack sat 0.06
v30_problem_2__020.smt2.slack sat 0.24
v30_problem_2__021.smt2.slack sat 0.09
v30_problem_2__022.smt2.slack sat 0.23
v30_problem_2__023.smt2.slack sat 0.35
v30_problem_2__024.smt2.slack sat 0.18
v30_problem_2__025.smt2.slack sat 0.22
v30_problem_2__026.smt2.slack sat 1.01
v30_problem_2__027.smt2.slack sat 0.4
v30_problem_2__028.smt2.slack sat 0.67
v30_problem_2__029.smt2.slack sat 0.31
v30_problem_2__030.smt2.slack sat 0.36
v30_problem_2__031.smt2.slack sat 0.43
v30_problem_2__032.smt2.slack sat 0.36
v30_problem_2__033.smt2.slack sat 1.74
v30_problem_2__034.smt2.slack sat 0.83
v30_problem_2__035.smt2.slack sat 0.74
v30_problem__001.smt2.slack sat 0.02
v30_problem__002.smt2.slack sat 0.03
v30_problem__003.smt2.slack sat 0.03
v30_problem__004.smt2.slack sat 0.02
v30_problem__005.smt2.slack sat 0.03
v30_problem__006.smt2.slack sat 0.02
v30_problem__007.smt2.slack sat 0.04
v30_problem__008.smt2.slack sat 0.07
v30_problem__009.smt2.slack sat 0.04
v30_problem__010.smt2.slack sat 0.05
v30_problem__011.smt2.slack sat 0.06
v30_problem__012.smt2.slack sat 0.06
v30_problem__013.smt2.slack sat 0.05
v30_problem__014.smt2.slack sat 0.14
v30_problem__015.smt2.slack sat 0.05
v30_problem__016.smt2.slack sat 0.07
v30_problem__017.smt2.slack sat 0.1
v30_problem__018.smt2.slack sat 0.1
v30_problem__019.smt2.slack sat 0.06
v30_problem__020.smt2.slack sat 0.05
v30_problem__021.smt2.slack sat 0.21
v30_problem__022.smt2.slack sat 0.16
v30_problem__023.smt2.slack sat 0.24
v30_problem__024.smt2.slack sat 0.13
v30_problem__025.smt2.slack sat 0.23
v30_problem__026.smt2.slack sat 0.21
v30_problem__027.smt2.slack sat 0.24
v30_problem__028.smt2.slack sat 0.79
v30_problem__029.smt2.slack sat 0.26
v30_problem__030.smt2.slack sat 0.41
v30_problem__031.smt2.slack sat 1.43
v30_problem__033.smt2.slack sat 0.98
v30_problem__034.smt2.slack sat 1.32
v30_problem__035.smt2.slack sat 0.59
v35_problem_2__001.smt2.slack sat 0.02
v35_problem_2__002.smt2.slack sat 0.04
v35_problem_2__003.smt2.slack sat 0.01
v35_problem_2__004.smt2.slack sat 0.02
v35_problem_2__005.smt2.slack sat 0.01
v35_problem_2__006.smt2.slack sat 0.06
v35_problem_2__007.smt2.slack sat 0.04
v35_problem_2__008.smt2.slack sat 0.03
v35_problem_2__009.smt2.slack sat 0.02
v35_problem_2__010.smt2.slack sat 0.03
v35_problem_2__011.smt2.slack sat 0.06
v35_problem_2__012.smt2.slack sat 0.05
v35_problem_2__013.smt2.slack sat 0.05
v35_problem_2__014.smt2.slack sat 0.04
v35_problem_2__015.smt2.slack sat 0.13
v35_problem_2__016.smt2.slack sat 0.22
v35_problem_2__017.smt2.slack sat 0.13
v35_problem_2__018.smt2.slack sat 0.12
v35_problem_2__019.smt2.slack sat 0.12
v35_problem_2__020.smt2.slack sat 0.09
v35_problem_2__021.smt2.slack sat 0.19
v35_problem_2__022.smt2.slack sat 0.19
v35_problem_2__023.smt2.slack sat 0.15
v35_problem_2__024.smt2.slack sat 0.38
v35_problem_2__025.smt2.slack sat 0.31
v35_problem_2__026.smt2.slack sat 0.73
v35_problem_2__027.smt2.slack sat 0.46
v35_problem_2__028.smt2.slack sat 0.24
v35_problem_2__029.smt2.slack sat 0.65
v35_problem_2__030.smt2.slack sat 0.33
v35_problem_2__031.smt2.slack sat 0.52
v35_problem_2__032.smt2.slack sat 0.41
v35_problem_2__033.smt2.slack sat 0.31
v35_problem_2__034.smt2.slack sat 0.44
v35_problem_2__035.smt2.slack sat 0.4
v35_problem__001.smt2.slack sat 0.02
v35_problem__002.smt2.slack sat 0.02
v35_problem__003.smt2.slack sat 0.03
v35_problem__004.smt2.slack sat 0.03
v35_problem__005.smt2.slack sat 0.02
v35_problem__006.smt2.slack sat 0.04
v35_problem__007.smt2.slack sat 0.02
v35_problem__008.smt2.slack sat 0.03
v35_problem__009.smt2.slack sat 0.02
v35_problem__010.smt2.slack sat 0.04
v35_problem__011.smt2.slack sat 0.07
v35_problem__012.smt2.slack sat 0.05
v35_problem__013.smt2.slack sat 0.14
v35_problem__014.smt2.slack sat 0.07
v35_problem__015.smt2.slack sat 0.06
v35_problem__016.smt2.slack sat 0.11
v35_problem__017.smt2.slack sat 0.09
v35_problem__018.smt2.slack sat 0.28
v35_problem__019.smt2.slack sat 0.04
v35_problem__020.smt2.slack sat 0.08
v35_problem__021.smt2.slack sat 0.13
v35_problem__022.smt2.slack sat 0.16
v35_problem__023.smt2.slack sat 0.14
v35_problem__024.smt2.slack sat 0.24
v35_problem__025.smt2.slack sat 0.17
v35_problem__026.smt2.slack sat 0.43
v35_problem__027.smt2.slack sat 0.39
v35_problem__028.smt2.slack sat 0.13
v35_problem__029.smt2.slack sat 0.36
v35_problem__030.smt2.slack sat 0.4
v35_problem__031.smt2.slack sat 0.32
v35_problem__032.smt2.slack sat 0.4
v35_problem__033.smt2.slack sat 0.75
v35_problem__034.smt2.slack sat 0.5
v35_problem__035.smt2.slack sat 0.54
v40_problem_2__001.smt2.slack sat 0.02
v40_problem_2__002.smt2.slack sat 0.04
v40_problem_2__003.smt2.slack sat 0.01
v40_problem_2__004.smt2.slack sat 0.01
v40_problem_2__005.smt2.slack sat 0.03
v40_problem_2__006.smt2.slack sat 0.04
v40_problem_2__007.smt2.slack sat 0.02
v40_problem_2__008.smt2.slack sat 0.03
v40_problem_2__009.smt2.slack sat 0.03
v40_problem_2__010.smt2.slack sat 0.03
v40_problem_2__011.smt2.slack sat 0.02
v40_problem_2__012.smt2.slack sat 0.05
v40_problem_2__013.smt2.slack sat 0.07
v40_problem_2__014.smt2.slack sat 0.06
v40_problem_2__015.smt2.slack sat 0.04
v40_problem_2__016.smt2.slack sat 0.14
v40_problem_2__017.smt2.slack sat 0.13
v40_problem_2__018.smt2.slack sat 0.11
v40_problem_2__019.smt2.slack sat 0.16
v40_problem_2__020.smt2.slack sat 0.14
v40_problem_2__021.smt2.slack sat 0.3
v40_problem_2__022.smt2.slack sat 0.06
v40_problem_2__023.smt2.slack sat 0.41
v40_problem_2__024.smt2.slack sat 0.5
v40_problem_2__025.smt2.slack sat 0.13
v40_problem_2__026.smt2.slack sat 0.49
v40_problem_2__027.smt2.slack sat 0.9
v40_problem_2__028.smt2.slack sat 0.26
v40_problem_2__029.smt2.slack sat 0.68
v40_problem_2__030.smt2.slack sat 0.83
v40_problem_2__031.smt2.slack sat 1.05
v40_problem_2__032.smt2.slack sat 0.29
v40_problem_2__033.smt2.slack sat 0.3
v40_problem_2__034.smt2.slack sat 0.92
v40_problem_2__035.smt2.slack sat 0.15
v40_problem__001.smt2.slack sat 0.01
v40_problem__002.smt2.slack sat 0.05
v40_problem__003.smt2.slack sat 0.01
v40_problem__004.smt2.slack sat 0.02
v40_problem__005.smt2.slack sat 0.01
v40_problem__006.smt2.slack sat 0.05
v40_problem__007.smt2.slack sat 0.05
v40_problem__008.smt2.slack sat 0.06
v40_problem__009.smt2.slack sat 0.02
v40_problem__010.smt2.slack sat 0.04
v40_problem__011.smt2.slack sat 0.06
v40_problem__012.smt2.slack sat 0.1
v40_problem__013.smt2.slack sat 0.11
v40_problem__014.smt2.slack sat 0.06
v40_problem__015.smt2.slack sat 0.08
v40_problem__016.smt2.slack sat 0.05
v40_problem__017.smt2.slack sat 0.19
v40_problem__018.smt2.slack sat 0.11
v40_problem__019.smt2.slack sat 0.12
v40_problem__020.smt2.slack sat 0.12
v40_problem__021.smt2.slack sat 0.09
v40_problem__022.smt2.slack sat 0.15
v40_problem__023.smt2.slack sat 0.38
v40_problem__024.smt2.slack sat 0.26
v40_problem__025.smt2.slack sat 0.3
v40_problem__026.smt2.slack sat 0.49
v40_problem__027.smt2.slack sat 0.83
v40_problem__028.smt2.slack sat 0.68
v40_problem__029.smt2.slack sat 0.24
v40_problem__030.smt2.slack sat 0.26
v40_problem__031.smt2.slack sat 0.39
v40_problem__032.smt2.slack sat 0.99
v40_problem__033.smt2.slack sat 0.25
v40_problem__034.smt2.slack sat 0.33
v40_problem__035.smt2.slack sat 0.4
v45_problem_2__001.smt2.slack sat 0.02
v45_problem_2__002.smt2.slack sat 0.03
v45_problem_2__003.smt2.slack sat 0.02
v45_problem_2__004.smt2.slack sat 0.02
v45_problem_2__005.smt2.slack sat 0.03
v45_problem_2__006.smt2.slack sat 0.03
v45_problem_2__007.smt2.slack sat 0.03
v45_problem_2__008.smt2.slack sat 0.02
v45_problem_2__009.smt2.slack sat 0.04
v45_problem_2__010.smt2.slack sat 0.07
v45_problem_2__011.smt2.slack sat 0.02
v45_problem_2__012.smt2.slack sat 0.1
v45_problem_2__013.smt2.slack sat 0.04
v45_problem_2__014.smt2.slack sat 0.04
v45_problem_2__015.smt2.slack sat 0.03
v45_problem_2__016.smt2.slack sat 0.16
v45_problem_2__017.smt2.slack sat 0.29
v45_problem_2__018.smt2.slack sat 0.2
v45_problem_2__019.smt2.slack sat 0.14
v45_problem_2__020.smt2.slack sat 0.1
v45_problem_2__021.smt2.slack sat 0.26
v45_problem_2__022.smt2.slack sat 0.21
v45_problem_2__023.smt2.slack sat 0.53
v45_problem_2__024.smt2.slack sat 0.27
v45_problem_2__025.smt2.slack sat 0.61
v45_problem_2__026.smt2.slack sat 0.27
v45_problem_2__027.smt2.slack sat 0.7
v45_problem_2__028.smt2.slack sat 0.8
v45_problem_2__029.smt2.slack sat 0.19
v45_problem_2__030.smt2.slack sat 0.66
v45_problem_2__031.smt2.slack sat 0.34
v45_problem_2__032.smt2.slack sat 0.09
v45_problem_2__033.smt2.slack sat 0.27
v45_problem_2__034.smt2.slack sat 0.33
v45_problem_2__035.smt2.slack sat 1.05
v45_problem__001.smt2.slack sat 0.03
v45_problem__002.smt2.slack sat 0.04
v45_problem__003.smt2.slack sat 0.03
v45_problem__004.smt2.slack sat 0.03
v45_problem__005.smt2.slack sat 0.02
v45_problem__006.smt2.slack sat 0.05
v45_problem__007.smt2.slack sat 0.05
v45_problem__008.smt2.slack sat 0.03
v45_problem__009.smt2.slack sat 0.03
v45_problem__010.smt2.slack sat 0.02
v45_problem__011.smt2.slack sat 0.08
v45_problem__012.smt2.slack sat 0.02
v45_problem__013.smt2.slack sat 0.07
v45_problem__014.smt2.slack sat 0.08
v45_problem__015.smt2.slack sat 0.03
v45_problem__016.smt2.slack sat 0.08
v45_problem__017.smt2.slack sat 0.15
v45_problem__018.smt2.slack sat 0.11
v45_problem__019.smt2.slack sat 0.11
v45_problem__020.smt2.slack sat 0.13
v45_problem__021.smt2.slack sat 0.04
v45_problem__022.smt2.slack sat 0.19
v45_problem__023.smt2.slack sat 0.23
v45_problem__024.smt2.slack sat 0.19
v45_problem__025.smt2.slack sat 0.14
v45_problem__026.smt2.slack sat 0.95
v45_problem__027.smt2.slack sat 0.25
v45_problem__028.smt2.slack sat 0.26
v45_problem__029.smt2.slack sat 0.77
v45_problem__030.smt2.slack sat 0.39
v45_problem__031.smt2.slack sat 0.43
v45_problem__032.smt2.slack sat 0.33
v45_problem__033.smt2.slack sat 0.58
v45_problem__034.smt2.slack sat 0.69
v45_problem__035.smt2.slack sat 0.34
c100_problem__006.smt2.slack unsat 0.02
c10_problem__002.smt2.slack unsat 0.01
c20_problem__004.smt2.slack unsat 0.05
c30_problem__006.smt2.slack unsat 0.02
c40_problem__002.smt2.slack unsat 0.02
c50_problem__002.smt2.slack unsat 0.03
c50_problem__006.smt2.slack unsat 0.05
c90_problem__005.smt2.slack unsat 0.03
v10_problem_2__012.smt2.slack unsat 0
v10_problem_2__016.smt2.slack unsat 0.02
v10_problem_2__019.smt2.slack unsat 0.02
v10_problem_2__021.smt2.slack unsat 0.01
v10_problem_2__024.smt2.slack unsat 0.01
v10_problem_2__025.smt2.slack unsat 0.01
v10_problem_2__026.smt2.slack unsat 0.02
v10_problem_2__027.smt2.slack unsat 0.02
v10_problem_2__028.smt2.slack unsat 0.01
v10_problem_2__029.smt2.slack unsat 0.02
v10_problem_2__030.smt2.slack unsat 0
v10_problem_2__031.smt2.slack unsat 0.02
v10_problem_2__032.smt2.slack unsat 0.01
v10_problem_2__033.smt2.slack unsat 0.01
v10_problem_2__034.smt2.slack unsat 0.01
v10_problem_2__035.smt2.slack unsat 0.01
v10_problem__016.smt2.slack unsat 0
v10_problem__017.smt2.slack unsat 0.01
v10_problem__020.smt2.slack unsat 0.01
v10_problem__021.smt2.slack unsat 0.01
v10_problem__022.smt2.slack unsat 0.01
v10_problem__024.smt2.slack unsat 0.01
v10_problem__025.smt2.slack unsat 0.01
v10_problem__026.smt2.slack unsat 0.02
v10_problem__027.smt2.slack unsat 0.01
v10_problem__028.smt2.slack unsat 0.02
v10_problem__029.smt2.slack unsat 0.01
v10_problem__030.smt2.slack unsat 0.02
v10_problem__031.smt2.slack unsat 0.03
v10_problem__032.smt2.slack unsat 0.01
v10_problem__034.smt2.slack unsat 0.02
v10_problem__035.smt2.slack unsat 0
v15_problem_2__011.smt2.slack unsat 0.03
v15_problem_2__019.smt2.slack unsat 0.02
v15_problem_2__020.smt2.slack unsat 0.03
v15_problem_2__021.smt2.slack unsat 0.02
v15_problem_2__022.smt2.slack unsat 0.03
v15_problem_2__024.smt2.slack unsat 0.02
v15_problem_2__025.smt2.slack unsat 15.56
v15_problem__016.smt2.slack unsat 0.02
v15_problem__022.smt2.slack unsat 0.03
v15_problem__023.smt2.slack unsat 0.01
v15_problem__024.smt2.slack unsat 0.04
v15_problem__025.smt2.slack unsat 0.02
v20_problem_2__026.smt2.slack unsat 0.05
v20_problem_2__027.smt2.slack unsat 0.07
v20_problem_2__030.smt2.slack unsat 0.06
v20_problem_2__031.smt2.slack unsat 0.06
v20_problem_2__032.smt2.slack unsat 0.09
v20_problem_2__033.smt2.slack unsat 0.14
v20_problem_2__034.smt2.slack unsat 0.08
v20_problem__016.smt2.slack unsat 0.05
v20_problem__018.smt2.slack unsat 0.02
v20_problem__023.smt2.slack unsat 0.03
v20_problem__025.smt2.slack unsat 0.06
v20_problem__027.smt2.slack unsat 0.07
v20_problem__029.smt2.slack unsat 0.08
v20_problem__031.smt2.slack unsat 0.12
v20_problem__032.smt2.slack unsat 0.06
v20_problem__033.smt2.slack unsat 0.09
v20_problem__034.smt2.slack unsat 0.07
v20_problem__035.smt2.slack unsat 0.04
v25_problem_2__029.smt2.slack unsat 0.14
v25_problem_2__031.smt2.slack unsat 0.08
v25_problem_2__033.smt2.slack unsat 0.18
v25_problem__032.smt2.slack unsat 0.19
v25_problem__034.smt2.slack unsat 0.12
v30_problem__032.smt2.slack unsat 0.43