problem result overall_time
v10_problem_2__012.smt2.slack.smt2.1 unsat 0
v10_problem_2__012.smt2.slack.smt2.10 unsat 0
v10_problem_2__012.smt2.slack.smt2.2 unsat 0
v10_problem_2__012.smt2.slack.smt2.3 unsat 0
v10_problem_2__012.smt2.slack.smt2.4 unsat 0
v10_problem_2__012.smt2.slack.smt2.5 unsat 0
v10_problem_2__012.smt2.slack.smt2.6 unsat 0
v10_problem_2__012.smt2.slack.smt2.7 unsat 0
v10_problem_2__012.smt2.slack.smt2.8 unsat 0
v10_problem_2__012.smt2.slack.smt2.9 unsat 0
v10_problem_2__016.smt2.slack.smt2.1 unsat 0
v10_problem_2__016.smt2.slack.smt2.10 unsat 0
v10_problem_2__016.smt2.slack.smt2.2 unsat 0
v10_problem_2__016.smt2.slack.smt2.3 unsat 0
v10_problem_2__016.smt2.slack.smt2.4 unsat 0
v10_problem_2__016.smt2.slack.smt2.5 unsat 0
v10_problem_2__016.smt2.slack.smt2.6 unsat 0
v10_problem_2__016.smt2.slack.smt2.7 unsat 0
v10_problem_2__016.smt2.slack.smt2.8 unsat 0
v10_problem_2__016.smt2.slack.smt2.9 unsat 0
v10_problem_2__019.smt2.slack.smt2.1 unsat 0
v10_problem_2__019.smt2.slack.smt2.10 unsat 0
v10_problem_2__019.smt2.slack.smt2.2 unsat 0
v10_problem_2__019.smt2.slack.smt2.3 unsat 0
v10_problem_2__019.smt2.slack.smt2.4 unsat 0
v10_problem_2__019.smt2.slack.smt2.5 unsat 0
v10_problem_2__019.smt2.slack.smt2.6 unsat 0
v10_problem_2__019.smt2.slack.smt2.7 unsat 0
v10_problem_2__019.smt2.slack.smt2.8 unsat 0
v10_problem_2__019.smt2.slack.smt2.9 unsat 0
v10_problem_2__021.smt2.slack.smt2.1 unsat 0
v10_problem_2__021.smt2.slack.smt2.10 unsat 0
v10_problem_2__021.smt2.slack.smt2.2 unsat 0
v10_problem_2__021.smt2.slack.smt2.3 unsat 0
v10_problem_2__021.smt2.slack.smt2.4 unsat 0
v10_problem_2__021.smt2.slack.smt2.5 unsat 0
v10_problem_2__021.smt2.slack.smt2.6 unsat 0
v10_problem_2__021.smt2.slack.smt2.7 unsat 0
v10_problem_2__021.smt2.slack.smt2.8 unsat 0
v10_problem_2__021.smt2.slack.smt2.9 unsat 0
v10_problem_2__024.smt2.slack.smt2.1 unsat 0
v10_problem_2__024.smt2.slack.smt2.10 unsat 0
v10_problem_2__024.smt2.slack.smt2.2 unsat 0
v10_problem_2__024.smt2.slack.smt2.3 unsat 0
v10_problem_2__024.smt2.slack.smt2.4 unsat 0
v10_problem_2__024.smt2.slack.smt2.5 unsat 0
v10_problem_2__024.smt2.slack.smt2.6 unsat 0
v10_problem_2__024.smt2.slack.smt2.7 unsat 0
v10_problem_2__024.smt2.slack.smt2.8 unsat 0
v10_problem_2__024.smt2.slack.smt2.9 unsat 0
v10_problem_2__025.smt2.slack.smt2.1 unsat 0
v10_problem_2__025.smt2.slack.smt2.10 unsat 0
v10_problem_2__025.smt2.slack.smt2.2 unsat 0
v10_problem_2__025.smt2.slack.smt2.3 unsat 0
v10_problem_2__025.smt2.slack.smt2.4 unsat 0
v10_problem_2__025.smt2.slack.smt2.5 unsat 0
v10_problem_2__025.smt2.slack.smt2.6 unsat 0
v10_problem_2__025.smt2.slack.smt2.7 unsat 0
v10_problem_2__025.smt2.slack.smt2.8 unsat 0
v10_problem_2__025.smt2.slack.smt2.9 unsat 0
v10_problem_2__026.smt2.slack.smt2.1 unsat 0
v10_problem_2__026.smt2.slack.smt2.10 unsat 0
v10_problem_2__026.smt2.slack.smt2.2 unsat 0
v10_problem_2__026.smt2.slack.smt2.3 unsat 0
v10_problem_2__026.smt2.slack.smt2.4 unsat 0
v10_problem_2__026.smt2.slack.smt2.5 unsat 0
v10_problem_2__026.smt2.slack.smt2.6 unsat 0
v10_problem_2__026.smt2.slack.smt2.7 unsat 0
v10_problem_2__026.smt2.slack.smt2.8 unsat 0
v10_problem_2__026.smt2.slack.smt2.9 unsat 0
v10_problem_2__027.smt2.slack.smt2.1 unsat 0
v10_problem_2__027.smt2.slack.smt2.10 unsat 0
v10_problem_2__027.smt2.slack.smt2.2 unsat 0
v10_problem_2__027.smt2.slack.smt2.3 unsat 0
v10_problem_2__027.smt2.slack.smt2.4 unsat 0
v10_problem_2__027.smt2.slack.smt2.5 unsat 0
v10_problem_2__027.smt2.slack.smt2.6 unsat 0
v10_problem_2__027.smt2.slack.smt2.7 unsat 0
v10_problem_2__027.smt2.slack.smt2.8 unsat 0
v10_problem_2__027.smt2.slack.smt2.9 unsat 0
v10_problem_2__028.smt2.slack.smt2.1 unsat 0
v10_problem_2__028.smt2.slack.smt2.10 unsat 0
v10_problem_2__028.smt2.slack.smt2.2 unsat 0
v10_problem_2__028.smt2.slack.smt2.3 unsat 0
v10_problem_2__028.smt2.slack.smt2.4 unsat 0
v10_problem_2__028.smt2.slack.smt2.5 unsat 0
v10_problem_2__028.smt2.slack.smt2.6 unsat 0
v10_problem_2__028.smt2.slack.smt2.7 unsat 0
v10_problem_2__028.smt2.slack.smt2.8 unsat 0
v10_problem_2__028.smt2.slack.smt2.9 unsat 0
v10_problem_2__029.smt2.slack.smt2.1 unsat 0
v10_problem_2__029.smt2.slack.smt2.10 unsat 0
v10_problem_2__029.smt2.slack.smt2.2 unsat 0
v10_problem_2__029.smt2.slack.smt2.3 unsat 0
v10_problem_2__029.smt2.slack.smt2.4 unsat 0
v10_problem_2__029.smt2.slack.smt2.5 unsat 0
v10_problem_2__029.smt2.slack.smt2.6 unsat 0
v10_problem_2__029.smt2.slack.smt2.7 unsat 0
v10_problem_2__029.smt2.slack.smt2.8 unsat 0
v10_problem_2__029.smt2.slack.smt2.9 unsat 0
v10_problem_2__030.smt2.slack.smt2.1 unsat 0
v10_problem_2__030.smt2.slack.smt2.10 unsat 0
v10_problem_2__030.smt2.slack.smt2.2 unsat 0
v10_problem_2__030.smt2.slack.smt2.3 unsat 0
v10_problem_2__030.smt2.slack.smt2.4 unsat 0
v10_problem_2__030.smt2.slack.smt2.5 unsat 0
v10_problem_2__030.smt2.slack.smt2.6 unsat 0
v10_problem_2__030.smt2.slack.smt2.7 unsat 0
v10_problem_2__030.smt2.slack.smt2.8 unsat 0
v10_problem_2__030.smt2.slack.smt2.9 unsat 0
v10_problem_2__031.smt2.slack.smt2.1 unsat 0
v10_problem_2__031.smt2.slack.smt2.10 unsat 0
v10_problem_2__031.smt2.slack.smt2.2 unsat 0
v10_problem_2__031.smt2.slack.smt2.3 unsat 0
v10_problem_2__031.smt2.slack.smt2.4 unsat 0
v10_problem_2__031.smt2.slack.smt2.5 unsat 0
v10_problem_2__031.smt2.slack.smt2.6 unsat 0
v10_problem_2__031.smt2.slack.smt2.7 unsat 0
v10_problem_2__031.smt2.slack.smt2.8 unsat 0
v10_problem_2__031.smt2.slack.smt2.9 unsat 0
v10_problem_2__032.smt2.slack.smt2.1 unsat 0
v10_problem_2__032.smt2.slack.smt2.10 unsat 0
v10_problem_2__032.smt2.slack.smt2.2 unsat 0
v10_problem_2__032.smt2.slack.smt2.3 unsat 0
v10_problem_2__032.smt2.slack.smt2.4 unsat 0
v10_problem_2__032.smt2.slack.smt2.5 unsat 0
v10_problem_2__032.smt2.slack.smt2.6 unsat 0
v10_problem_2__032.smt2.slack.smt2.7 unsat 0
v10_problem_2__032.smt2.slack.smt2.8 unsat 0
v10_problem_2__032.smt2.slack.smt2.9 unsat 0
v10_problem_2__033.smt2.slack.smt2.1 unsat 0
v10_problem_2__033.smt2.slack.smt2.10 unsat 0
v10_problem_2__033.smt2.slack.smt2.2 unsat 0
v10_problem_2__033.smt2.slack.smt2.3 unsat 0
v10_problem_2__033.smt2.slack.smt2.4 unsat 0
v10_problem_2__033.smt2.slack.smt2.5 unsat 0
v10_problem_2__033.smt2.slack.smt2.6 unsat 0
v10_problem_2__033.smt2.slack.smt2.7 unsat 0
v10_problem_2__033.smt2.slack.smt2.8 unsat 0
v10_problem_2__033.smt2.slack.smt2.9 unsat 0
v10_problem_2__034.smt2.slack.smt2.1 unsat 0.01
v10_problem_2__034.smt2.slack.smt2.10 unsat 0
v10_problem_2__034.smt2.slack.smt2.2 unsat 0
v10_problem_2__034.smt2.slack.smt2.3 unsat 0
v10_problem_2__034.smt2.slack.smt2.4 unsat 0
v10_problem_2__034.smt2.slack.smt2.5 unsat 0
v10_problem_2__034.smt2.slack.smt2.6 unsat 0.01
v10_problem_2__034.smt2.slack.smt2.7 unsat 0
v10_problem_2__034.smt2.slack.smt2.8 unsat 0
v10_problem_2__034.smt2.slack.smt2.9 unsat 0.01
v10_problem_2__035.smt2.slack.smt2.1 unsat 0.01
v10_problem_2__035.smt2.slack.smt2.10 unsat 0
v10_problem_2__035.smt2.slack.smt2.2 unsat 0
v10_problem_2__035.smt2.slack.smt2.3 unsat 0.01
v10_problem_2__035.smt2.slack.smt2.4 unsat 0
v10_problem_2__035.smt2.slack.smt2.5 unsat 0.01
v10_problem_2__035.smt2.slack.smt2.6 unsat 0
v10_problem_2__035.smt2.slack.smt2.7 unsat 0.01
v10_problem_2__035.smt2.slack.smt2.8 unsat 0
v10_problem_2__035.smt2.slack.smt2.9 unsat 0
v10_problem__016.smt2.slack.smt2.1 unsat 0
v10_problem__016.smt2.slack.smt2.10 unsat 0
v10_problem__016.smt2.slack.smt2.2 unsat 0
v10_problem__016.smt2.slack.smt2.3 unsat 0
v10_problem__016.smt2.slack.smt2.4 unsat 0
v10_problem__016.smt2.slack.smt2.5 unsat 0
v10_problem__016.smt2.slack.smt2.6 unsat 0
v10_problem__016.smt2.slack.smt2.7 unsat 0
v10_problem__016.smt2.slack.smt2.8 unsat 0
v10_problem__016.smt2.slack.smt2.9 unsat 0
v10_problem__017.smt2.slack.smt2.1 unsat 0
v10_problem__017.smt2.slack.smt2.10 unsat 0
v10_problem__017.smt2.slack.smt2.2 unsat 0
v10_problem__017.smt2.slack.smt2.3 unsat 0
v10_problem__017.smt2.slack.smt2.4 unsat 0
v10_problem__017.smt2.slack.smt2.5 unsat 0
v10_problem__017.smt2.slack.smt2.6 unsat 0
v10_problem__017.smt2.slack.smt2.7 unsat 0
v10_problem__017.smt2.slack.smt2.8 unsat 0
v10_problem__017.smt2.slack.smt2.9 unsat 0
v10_problem__020.smt2.slack.smt2.1 unsat 0
v10_problem__020.smt2.slack.smt2.10 unsat 0
v10_problem__020.smt2.slack.smt2.2 unsat 0
v10_problem__020.smt2.slack.smt2.3 unsat 0
v10_problem__020.smt2.slack.smt2.4 unsat 0
v10_problem__020.smt2.slack.smt2.5 unsat 0
v10_problem__020.smt2.slack.smt2.6 unsat 0
v10_problem__020.smt2.slack.smt2.7 unsat 0
v10_problem__020.smt2.slack.smt2.8 unsat 0
v10_problem__020.smt2.slack.smt2.9 unsat 0
v10_problem__021.smt2.slack.smt2.1 unsat 0
v10_problem__021.smt2.slack.smt2.10 unsat 0
v10_problem__021.smt2.slack.smt2.2 unsat 0
v10_problem__021.smt2.slack.smt2.3 unsat 0
v10_problem__021.smt2.slack.smt2.4 unsat 0
v10_problem__021.smt2.slack.smt2.5 unsat 0
v10_problem__021.smt2.slack.smt2.6 unsat 0
v10_problem__021.smt2.slack.smt2.7 unsat 0
v10_problem__021.smt2.slack.smt2.8 unsat 0
v10_problem__021.smt2.slack.smt2.9 unsat 0
v10_problem__022.smt2.slack.smt2.1 unsat 0
v10_problem__022.smt2.slack.smt2.10 unsat 0
v10_problem__022.smt2.slack.smt2.2 unsat 0
v10_problem__022.smt2.slack.smt2.3 unsat 0
v10_problem__022.smt2.slack.smt2.4 unsat 0
v10_problem__022.smt2.slack.smt2.5 unsat 0
v10_problem__022.smt2.slack.smt2.6 unsat 0
v10_problem__022.smt2.slack.smt2.7 unsat 0
v10_problem__022.smt2.slack.smt2.8 unsat 0
v10_problem__022.smt2.slack.smt2.9 unsat 0
v10_problem__024.smt2.slack.smt2.1 unsat 0
v10_problem__024.smt2.slack.smt2.10 unsat 0
v10_problem__024.smt2.slack.smt2.2 unsat 0
v10_problem__024.smt2.slack.smt2.3 unsat 0
v10_problem__024.smt2.slack.smt2.4 unsat 0
v10_problem__024.smt2.slack.smt2.5 unsat 0
v10_problem__024.smt2.slack.smt2.6 unsat 0
v10_problem__024.smt2.slack.smt2.7 unsat 0
v10_problem__024.smt2.slack.smt2.8 unsat 0
v10_problem__024.smt2.slack.smt2.9 unsat 0
v10_problem__025.smt2.slack.smt2.1 unsat 0
v10_problem__025.smt2.slack.smt2.10 unsat 0
v10_problem__025.smt2.slack.smt2.2 unsat 0
v10_problem__025.smt2.slack.smt2.3 unsat 0
v10_problem__025.smt2.slack.smt2.4 unsat 0
v10_problem__025.smt2.slack.smt2.5 unsat 0
v10_problem__025.smt2.slack.smt2.6 unsat 0
v10_problem__025.smt2.slack.smt2.7 unsat 0
v10_problem__025.smt2.slack.smt2.8 unsat 0
v10_problem__025.smt2.slack.smt2.9 unsat 0
v10_problem__026.smt2.slack.smt2.1 unsat 0
v10_problem__026.smt2.slack.smt2.10 unsat 0
v10_problem__026.smt2.slack.smt2.2 unsat 0
v10_problem__026.smt2.slack.smt2.3 unsat 0
v10_problem__026.smt2.slack.smt2.4 unsat 0
v10_problem__026.smt2.slack.smt2.5 unsat 0
v10_problem__026.smt2.slack.smt2.6 unsat 0
v10_problem__026.smt2.slack.smt2.7 unsat 0
v10_problem__026.smt2.slack.smt2.8 unsat 0
v10_problem__026.smt2.slack.smt2.9 unsat 0
v10_problem__027.smt2.slack.smt2.1 unsat 0
v10_problem__027.smt2.slack.smt2.10 unsat 0
v10_problem__027.smt2.slack.smt2.2 unsat 0
v10_problem__027.smt2.slack.smt2.3 unsat 0
v10_problem__027.smt2.slack.smt2.4 unsat 0
v10_problem__027.smt2.slack.smt2.5 unsat 0
v10_problem__027.smt2.slack.smt2.6 unsat 0
v10_problem__027.smt2.slack.smt2.7 unsat 0
v10_problem__027.smt2.slack.smt2.8 unsat 0
v10_problem__027.smt2.slack.smt2.9 unsat 0
v10_problem__028.smt2.slack.smt2.1 unsat 0
v10_problem__028.smt2.slack.smt2.10 unsat 0
v10_problem__028.smt2.slack.smt2.2 unsat 0
v10_problem__028.smt2.slack.smt2.3 unsat 0
v10_problem__028.smt2.slack.smt2.4 unsat 0
v10_problem__028.smt2.slack.smt2.5 unsat 0
v10_problem__028.smt2.slack.smt2.6 unsat 0
v10_problem__028.smt2.slack.smt2.7 unsat 0
v10_problem__028.smt2.slack.smt2.8 unsat 0
v10_problem__028.smt2.slack.smt2.9 unsat 0
v10_problem__029.smt2.slack.smt2.1 unsat 0
v10_problem__029.smt2.slack.smt2.10 unsat 0
v10_problem__029.smt2.slack.smt2.2 unsat 0
v10_problem__029.smt2.slack.smt2.3 unsat 0
v10_problem__029.smt2.slack.smt2.4 unsat 0
v10_problem__029.smt2.slack.smt2.5 unsat 0
v10_problem__029.smt2.slack.smt2.6 unsat 0
v10_problem__029.smt2.slack.smt2.7 unsat 0
v10_problem__029.smt2.slack.smt2.8 unsat 0
v10_problem__029.smt2.slack.smt2.9 unsat 0
v10_problem__030.smt2.slack.smt2.1 unsat 0
v10_problem__030.smt2.slack.smt2.10 unsat 0
v10_problem__030.smt2.slack.smt2.2 unsat 0
v10_problem__030.smt2.slack.smt2.3 unsat 0
v10_problem__030.smt2.slack.smt2.4 unsat 0
v10_problem__030.smt2.slack.smt2.5 unsat 0
v10_problem__030.smt2.slack.smt2.6 unsat 0
v10_problem__030.smt2.slack.smt2.7 unsat 0
v10_problem__030.smt2.slack.smt2.8 unsat 0
v10_problem__030.smt2.slack.smt2.9 unsat 0
v10_problem__031.smt2.slack.smt2.1 unsat 0
v10_problem__031.smt2.slack.smt2.10 unsat 0
v10_problem__031.smt2.slack.smt2.2 unsat 0
v10_problem__031.smt2.slack.smt2.3 unsat 0
v10_problem__031.smt2.slack.smt2.4 unsat 0
v10_problem__031.smt2.slack.smt2.5 unsat 0
v10_problem__031.smt2.slack.smt2.6 unsat 0
v10_problem__031.smt2.slack.smt2.7 unsat 0
v10_problem__031.smt2.slack.smt2.8 unsat 0
v10_problem__031.smt2.slack.smt2.9 unsat 0
v10_problem__032.smt2.slack.smt2.1 unsat 0
v10_problem__032.smt2.slack.smt2.10 unsat 0
v10_problem__032.smt2.slack.smt2.2 unsat 0
v10_problem__032.smt2.slack.smt2.3 unsat 0
v10_problem__032.smt2.slack.smt2.4 unsat 0
v10_problem__032.smt2.slack.smt2.5 unsat 0
v10_problem__032.smt2.slack.smt2.6 unsat 0.01
v10_problem__032.smt2.slack.smt2.7 unsat 0
v10_problem__032.smt2.slack.smt2.8 unsat 0
v10_problem__032.smt2.slack.smt2.9 unsat 0
v10_problem__034.smt2.slack.smt2.1 unsat 0
v10_problem__034.smt2.slack.smt2.10 unsat 0
v10_problem__034.smt2.slack.smt2.2 unsat 0
v10_problem__034.smt2.slack.smt2.3 unsat 0
v10_problem__034.smt2.slack.smt2.4 unsat 0
v10_problem__034.smt2.slack.smt2.5 unsat 0
v10_problem__034.smt2.slack.smt2.6 unsat 0
v10_problem__034.smt2.slack.smt2.7 unsat 0
v10_problem__034.smt2.slack.smt2.8 unsat 0
v10_problem__034.smt2.slack.smt2.9 unsat 0
v10_problem__035.smt2.slack.smt2.1 unsat 0
v10_problem__035.smt2.slack.smt2.10 unsat 0
v10_problem__035.smt2.slack.smt2.2 unsat 0
v10_problem__035.smt2.slack.smt2.3 unsat 0
v10_problem__035.smt2.slack.smt2.4 unsat 0
v10_problem__035.smt2.slack.smt2.5 unsat 0
v10_problem__035.smt2.slack.smt2.6 unsat 0
v10_problem__035.smt2.slack.smt2.7 unsat 0
v10_problem__035.smt2.slack.smt2.8 unsat 0
v10_problem__035.smt2.slack.smt2.9 unsat 0
v15_problem_2__011.smt2.slack.smt2.1 unsat 0.01
v15_problem_2__011.smt2.slack.smt2.10 unsat 0.01
v15_problem_2__011.smt2.slack.smt2.2 unsat 0.01
v15_problem_2__011.smt2.slack.smt2.3 unsat 0
v15_problem_2__011.smt2.slack.smt2.4 unsat 0
v15_problem_2__011.smt2.slack.smt2.5 unsat 0
v15_problem_2__011.smt2.slack.smt2.6 unsat 0
v15_problem_2__011.smt2.slack.smt2.7 unsat 0.01
v15_problem_2__011.smt2.slack.smt2.8 unsat 0
v15_problem_2__011.smt2.slack.smt2.9 unsat 0.01
v15_problem_2__019.smt2.slack.smt2.1 unsat 0
v15_problem_2__019.smt2.slack.smt2.10 unsat 0
v15_problem_2__019.smt2.slack.smt2.2 unsat 0
v15_problem_2__019.smt2.slack.smt2.3 unsat 0
v15_problem_2__019.smt2.slack.smt2.4 unsat 0.01
v15_problem_2__019.smt2.slack.smt2.5 unsat 0.01
v15_problem_2__019.smt2.slack.smt2.6 unsat 0
v15_problem_2__019.smt2.slack.smt2.7 unsat 0.01
v15_problem_2__019.smt2.slack.smt2.8 unsat 0
v15_problem_2__019.smt2.slack.smt2.9 unsat 0
v15_problem_2__020.smt2.slack.smt2.1 unsat 0.01
v15_problem_2__020.smt2.slack.smt2.10 unsat 0.01
v15_problem_2__020.smt2.slack.smt2.2 unsat 0
v15_problem_2__020.smt2.slack.smt2.3 unsat 0
v15_problem_2__020.smt2.slack.smt2.4 unsat 0.01
v15_problem_2__020.smt2.slack.smt2.5 unsat 0.01
v15_problem_2__020.smt2.slack.smt2.6 unsat 0
v15_problem_2__020.smt2.slack.smt2.7 unsat 0.01
v15_problem_2__020.smt2.slack.smt2.8 unsat 0
v15_problem_2__020.smt2.slack.smt2.9 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.1 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.10 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.2 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.3 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.4 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.5 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.6 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.7 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.8 unsat 0.01
v15_problem_2__021.smt2.slack.smt2.9 unsat 0.01
v15_problem_2__022.smt2.slack.smt2.1 unsat 0.01
v15_problem_2__022.smt2.slack.smt2.10 unsat 0
v15_problem_2__022.smt2.slack.smt2.2 unsat 0
v15_problem_2__022.smt2.slack.smt2.3 unsat 0
v15_problem_2__022.smt2.slack.smt2.4 unsat 0
v15_problem_2__022.smt2.slack.smt2.5 unsat 0
v15_problem_2__022.smt2.slack.smt2.6 unsat 0
v15_problem_2__022.smt2.slack.smt2.7 unsat 0
v15_problem_2__022.smt2.slack.smt2.8 unsat 0
v15_problem_2__022.smt2.slack.smt2.9 unsat 0
v15_problem_2__024.smt2.slack.smt2.1 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.10 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.2 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.3 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.4 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.5 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.6 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.7 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.8 unsat 0.01
v15_problem_2__024.smt2.slack.smt2.9 unsat 0.01
v15_problem_2__025.smt2.slack.smt2.1 unsat 0.22
v15_problem_2__025.smt2.slack.smt2.10 unsat 1.41
v15_problem_2__025.smt2.slack.smt2.2 unsat 0.25
v15_problem_2__025.smt2.slack.smt2.3 unsat 0.29
v15_problem_2__025.smt2.slack.smt2.4 unsat 0.21
v15_problem_2__025.smt2.slack.smt2.5 unsat 0.23
v15_problem_2__025.smt2.slack.smt2.6 unsat 0.69
v15_problem_2__025.smt2.slack.smt2.7 unsat 1.19
v15_problem_2__025.smt2.slack.smt2.8 unsat 0.43
v15_problem_2__025.smt2.slack.smt2.9 unsat 0.24
v15_problem__016.smt2.slack.smt2.1 unsat 0.01
v15_problem__016.smt2.slack.smt2.10 unsat 0.01
v15_problem__016.smt2.slack.smt2.2 unsat 0.01
v15_problem__016.smt2.slack.smt2.3 unsat 0.01
v15_problem__016.smt2.slack.smt2.4 unsat 0.01
v15_problem__016.smt2.slack.smt2.5 unsat 0.01
v15_problem__016.smt2.slack.smt2.6 unsat 0.01
v15_problem__016.smt2.slack.smt2.7 unsat 0.01
v15_problem__016.smt2.slack.smt2.8 unsat 0.01
v15_problem__016.smt2.slack.smt2.9 unsat 0.01
v15_problem__022.smt2.slack.smt2.1 unsat 0
v15_problem__022.smt2.slack.smt2.10 unsat 0
v15_problem__022.smt2.slack.smt2.2 unsat 0
v15_problem__022.smt2.slack.smt2.3 unsat 0
v15_problem__022.smt2.slack.smt2.4 unsat 0
v15_problem__022.smt2.slack.smt2.5 unsat 0
v15_problem__022.smt2.slack.smt2.6 unsat 0
v15_problem__022.smt2.slack.smt2.7 unsat 0.01
v15_problem__022.smt2.slack.smt2.8 unsat 0.01
v15_problem__022.smt2.slack.smt2.9 unsat 0.01
v15_problem__023.smt2.slack.smt2.1 unsat 0.01
v15_problem__023.smt2.slack.smt2.10 unsat 0.01
v15_problem__023.smt2.slack.smt2.2 unsat 0.01
v15_problem__023.smt2.slack.smt2.3 unsat 0.01
v15_problem__023.smt2.slack.smt2.4 unsat 0.01
v15_problem__023.smt2.slack.smt2.5 unsat 0.01
v15_problem__023.smt2.slack.smt2.6 unsat 0.01
v15_problem__023.smt2.slack.smt2.7 unsat 0.01
v15_problem__023.smt2.slack.smt2.8 unsat 0.01
v15_problem__023.smt2.slack.smt2.9 unsat 0.01
v15_problem__024.smt2.slack.smt2.1 unsat 0.01
v15_problem__024.smt2.slack.smt2.10 unsat 0.01
v15_problem__024.smt2.slack.smt2.2 unsat 0.01
v15_problem__024.smt2.slack.smt2.3 unsat 0.01
v15_problem__024.smt2.slack.smt2.4 unsat 0.01
v15_problem__024.smt2.slack.smt2.5 unsat 0.01
v15_problem__024.smt2.slack.smt2.6 unsat 0.01
v15_problem__024.smt2.slack.smt2.7 unsat 0.01
v15_problem__024.smt2.slack.smt2.8 unsat 0.01
v15_problem__024.smt2.slack.smt2.9 unsat 0.01
v15_problem__025.smt2.slack.smt2.1 unsat 0.01
v15_problem__025.smt2.slack.smt2.10 unsat 0.01
v15_problem__025.smt2.slack.smt2.2 unsat 0.01
v15_problem__025.smt2.slack.smt2.3 unsat 0.01
v15_problem__025.smt2.slack.smt2.4 unsat 0.01
v15_problem__025.smt2.slack.smt2.5 unsat 0.01
v15_problem__025.smt2.slack.smt2.6 unsat 0.01
v15_problem__025.smt2.slack.smt2.7 unsat 0.01
v15_problem__025.smt2.slack.smt2.8 unsat 0.01
v15_problem__025.smt2.slack.smt2.9 unsat 0.01
v20_problem_2__023.smt2.slack.smt2.1 unsat 79.1
v20_problem_2__023.smt2.slack.smt2.10 unsat 2274.59
v20_problem_2__023.smt2.slack.smt2.2 unsat 89.45
v20_problem_2__023.smt2.slack.smt2.3 unsat 261.08
v20_problem_2__023.smt2.slack.smt2.4 unsat 143.71
v20_problem_2__023.smt2.slack.smt2.5 unsat 199.05
v20_problem_2__023.smt2.slack.smt2.6 unsat 208.2
v20_problem_2__023.smt2.slack.smt2.7 unsat 90.64
v20_problem_2__023.smt2.slack.smt2.8 unsat 250.98
v20_problem_2__023.smt2.slack.smt2.9 unsat 238.3
v20_problem_2__026.smt2.slack.smt2.1 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.10 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.2 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.3 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.4 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.5 unsat 0.04
v20_problem_2__026.smt2.slack.smt2.6 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.7 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.8 unsat 0.03
v20_problem_2__026.smt2.slack.smt2.9 unsat 0.03
v20_problem_2__027.smt2.slack.smt2.1 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.10 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.2 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.3 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.4 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.5 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.6 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.7 unsat 0.03
v20_problem_2__027.smt2.slack.smt2.8 unsat 0.02
v20_problem_2__027.smt2.slack.smt2.9 unsat 0.03
v20_problem_2__030.smt2.slack.smt2.1 unsat 0.01
v20_problem_2__030.smt2.slack.smt2.10 unsat 0.02
v20_problem_2__030.smt2.slack.smt2.2 unsat 0.01
v20_problem_2__030.smt2.slack.smt2.3 unsat 0.02
v20_problem_2__030.smt2.slack.smt2.4 unsat 0.01
v20_problem_2__030.smt2.slack.smt2.5 unsat 0.01
v20_problem_2__030.smt2.slack.smt2.6 unsat 0.02
v20_problem_2__030.smt2.slack.smt2.7 unsat 0.02
v20_problem_2__030.smt2.slack.smt2.8 unsat 0.02
v20_problem_2__030.smt2.slack.smt2.9 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.1 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.10 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.2 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.3 unsat 0.03
v20_problem_2__031.smt2.slack.smt2.4 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.5 unsat 0.03
v20_problem_2__031.smt2.slack.smt2.6 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.7 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.8 unsat 0.02
v20_problem_2__031.smt2.slack.smt2.9 unsat 0.02
v20_problem_2__032.smt2.slack.smt2.1 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.10 unsat 0.04
v20_problem_2__032.smt2.slack.smt2.2 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.3 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.4 unsat 0.04
v20_problem_2__032.smt2.slack.smt2.5 unsat 0.05
v20_problem_2__032.smt2.slack.smt2.6 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.7 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.8 unsat 0.03
v20_problem_2__032.smt2.slack.smt2.9 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.1 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.10 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.2 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.3 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.4 unsat 0.05
v20_problem_2__033.smt2.slack.smt2.5 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.6 unsat 0.06
v20_problem_2__033.smt2.slack.smt2.7 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.8 unsat 0.04
v20_problem_2__033.smt2.slack.smt2.9 unsat 0.04
v20_problem_2__034.smt2.slack.smt2.1 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.10 unsat 0.04
v20_problem_2__034.smt2.slack.smt2.2 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.3 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.4 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.5 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.6 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.7 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.8 unsat 0.03
v20_problem_2__034.smt2.slack.smt2.9 unsat 0.03
v20_problem__014.smt2.slack.smt2.7 unsat 158.95
v20_problem__016.smt2.slack.smt2.1 unsat 0.01
v20_problem__016.smt2.slack.smt2.10 unsat 0.01
v20_problem__016.smt2.slack.smt2.2 unsat 0.01
v20_problem__016.smt2.slack.smt2.3 unsat 0.01
v20_problem__016.smt2.slack.smt2.4 unsat 0.01
v20_problem__016.smt2.slack.smt2.5 unsat 0.01
v20_problem__016.smt2.slack.smt2.6 unsat 0.01
v20_problem__016.smt2.slack.smt2.7 unsat 0.01
v20_problem__016.smt2.slack.smt2.8 unsat 0.02
v20_problem__016.smt2.slack.smt2.9 unsat 0.01
v20_problem__018.smt2.slack.smt2.1 unsat 0.01
v20_problem__018.smt2.slack.smt2.10 unsat 0.01
v20_problem__018.smt2.slack.smt2.2 unsat 0.01
v20_problem__018.smt2.slack.smt2.3 unsat 0.01
v20_problem__018.smt2.slack.smt2.4 unsat 0.01
v20_problem__018.smt2.slack.smt2.5 unsat 0.01
v20_problem__018.smt2.slack.smt2.6 unsat 0.01
v20_problem__018.smt2.slack.smt2.7 unsat 0.02
v20_problem__018.smt2.slack.smt2.8 unsat 0.01
v20_problem__018.smt2.slack.smt2.9 unsat 0.01
v20_problem__023.smt2.slack.smt2.1 unsat 0.02
v20_problem__023.smt2.slack.smt2.10 unsat 0.02
v20_problem__023.smt2.slack.smt2.2 unsat 0.01
v20_problem__023.smt2.slack.smt2.3 unsat 0.01
v20_problem__023.smt2.slack.smt2.4 unsat 0.01
v20_problem__023.smt2.slack.smt2.5 unsat 0.01
v20_problem__023.smt2.slack.smt2.6 unsat 0.02
v20_problem__023.smt2.slack.smt2.7 unsat 0.01
v20_problem__023.smt2.slack.smt2.8 unsat 0.01
v20_problem__023.smt2.slack.smt2.9 unsat 0.01
v20_problem__025.smt2.slack.smt2.1 unsat 0.02
v20_problem__025.smt2.slack.smt2.10 unsat 0.02
v20_problem__025.smt2.slack.smt2.2 unsat 0.02
v20_problem__025.smt2.slack.smt2.3 unsat 0.02
v20_problem__025.smt2.slack.smt2.4 unsat 0.02
v20_problem__025.smt2.slack.smt2.5 unsat 0.02
v20_problem__025.smt2.slack.smt2.6 unsat 0.02
v20_problem__025.smt2.slack.smt2.7 unsat 0.02
v20_problem__025.smt2.slack.smt2.8 unsat 0.02
v20_problem__025.smt2.slack.smt2.9 unsat 0.03
v20_problem__027.smt2.slack.smt2.1 unsat 0.02
v20_problem__027.smt2.slack.smt2.10 unsat 0.02
v20_problem__027.smt2.slack.smt2.2 unsat 0.02
v20_problem__027.smt2.slack.smt2.3 unsat 0.02
v20_problem__027.smt2.slack.smt2.4 unsat 0.02
v20_problem__027.smt2.slack.smt2.5 unsat 0.02
v20_problem__027.smt2.slack.smt2.6 unsat 0.02
v20_problem__027.smt2.slack.smt2.7 unsat 0.03
v20_problem__027.smt2.slack.smt2.8 unsat 0.02
v20_problem__027.smt2.slack.smt2.9 unsat 0.02
v20_problem__029.smt2.slack.smt2.1 unsat 0.03
v20_problem__029.smt2.slack.smt2.10 unsat 0.03
v20_problem__029.smt2.slack.smt2.2 unsat 0.03
v20_problem__029.smt2.slack.smt2.3 unsat 0.03
v20_problem__029.smt2.slack.smt2.4 unsat 0.03
v20_problem__029.smt2.slack.smt2.5 unsat 0.03
v20_problem__029.smt2.slack.smt2.6 unsat 0.03
v20_problem__029.smt2.slack.smt2.7 unsat 0.03
v20_problem__029.smt2.slack.smt2.8 unsat 0.03
v20_problem__029.smt2.slack.smt2.9 unsat 0.04
v20_problem__031.smt2.slack.smt2.1 unsat 0.03
v20_problem__031.smt2.slack.smt2.10 unsat 0.03
v20_problem__031.smt2.slack.smt2.2 unsat 0.03
v20_problem__031.smt2.slack.smt2.3 unsat 0.04
v20_problem__031.smt2.slack.smt2.4 unsat 0.05
v20_problem__031.smt2.slack.smt2.5 unsat 0.04
v20_problem__031.smt2.slack.smt2.6 unsat 0.03
v20_problem__031.smt2.slack.smt2.7 unsat 0.03
v20_problem__031.smt2.slack.smt2.8 unsat 0.04
v20_problem__031.smt2.slack.smt2.9 unsat 0.03
v20_problem__032.smt2.slack.smt2.1 unsat 0.02
v20_problem__032.smt2.slack.smt2.10 unsat 0.02
v20_problem__032.smt2.slack.smt2.2 unsat 0.03
v20_problem__032.smt2.slack.smt2.3 unsat 0.03
v20_problem__032.smt2.slack.smt2.4 unsat 0.02
v20_problem__032.smt2.slack.smt2.5 unsat 0.03
v20_problem__032.smt2.slack.smt2.6 unsat 0.02
v20_problem__032.smt2.slack.smt2.7 unsat 0.03
v20_problem__032.smt2.slack.smt2.8 unsat 0.03
v20_problem__032.smt2.slack.smt2.9 unsat 0.03
v20_problem__033.smt2.slack.smt2.1 unsat 0.02
v20_problem__033.smt2.slack.smt2.10 unsat 0.02
v20_problem__033.smt2.slack.smt2.2 unsat 0.02
v20_problem__033.smt2.slack.smt2.3 unsat 0.02
v20_problem__033.smt2.slack.smt2.4 unsat 0.02
v20_problem__033.smt2.slack.smt2.5 unsat 0.02
v20_problem__033.smt2.slack.smt2.6 unsat 0.03
v20_problem__033.smt2.slack.smt2.7 unsat 0.02
v20_problem__033.smt2.slack.smt2.8 unsat 0.02
v20_problem__033.smt2.slack.smt2.9 unsat 0.02
v20_problem__034.smt2.slack.smt2.1 unsat 0.05
v20_problem__034.smt2.slack.smt2.10 unsat 0.04
v20_problem__034.smt2.slack.smt2.2 unsat 0.04
v20_problem__034.smt2.slack.smt2.3 unsat 0.04
v20_problem__034.smt2.slack.smt2.4 unsat 0.04
v20_problem__034.smt2.slack.smt2.5 unsat 0.04
v20_problem__034.smt2.slack.smt2.6 unsat 0.04
v20_problem__034.smt2.slack.smt2.7 unsat 0.04
v20_problem__034.smt2.slack.smt2.8 unsat 0.04
v20_problem__034.smt2.slack.smt2.9 unsat 0.04
v20_problem__035.smt2.slack.smt2.1 unsat 0.03
v20_problem__035.smt2.slack.smt2.10 unsat 0.03
v20_problem__035.smt2.slack.smt2.2 unsat 0.03
v20_problem__035.smt2.slack.smt2.3 unsat 0.03
v20_problem__035.smt2.slack.smt2.4 unsat 0.03
v20_problem__035.smt2.slack.smt2.5 unsat 0.03
v20_problem__035.smt2.slack.smt2.6 unsat 0.03
v20_problem__035.smt2.slack.smt2.7 unsat 0.03
v20_problem__035.smt2.slack.smt2.8 unsat 0.03
v20_problem__035.smt2.slack.smt2.9 unsat 0.03
v25_problem_2__029.smt2.slack.smt2.1 unsat 0.03
v25_problem_2__029.smt2.slack.smt2.10 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.2 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.3 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.4 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.5 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.6 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.7 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.8 unsat 0.02
v25_problem_2__029.smt2.slack.smt2.9 unsat 0.02
v25_problem_2__031.smt2.slack.smt2.1 unsat 0.04
v25_problem_2__031.smt2.slack.smt2.10 unsat 0.06
v25_problem_2__031.smt2.slack.smt2.2 unsat 0.05
v25_problem_2__031.smt2.slack.smt2.3 unsat 0.04
v25_problem_2__031.smt2.slack.smt2.4 unsat 0.05
v25_problem_2__031.smt2.slack.smt2.5 unsat 0.06
v25_problem_2__031.smt2.slack.smt2.6 unsat 0.04
v25_problem_2__031.smt2.slack.smt2.7 unsat 0.05
v25_problem_2__031.smt2.slack.smt2.8 unsat 0.05
v25_problem_2__031.smt2.slack.smt2.9 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.1 unsat 0.04
v25_problem_2__033.smt2.slack.smt2.10 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.2 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.3 unsat 0.04
v25_problem_2__033.smt2.slack.smt2.4 unsat 0.06
v25_problem_2__033.smt2.slack.smt2.5 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.6 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.7 unsat 0.06
v25_problem_2__033.smt2.slack.smt2.8 unsat 0.05
v25_problem_2__033.smt2.slack.smt2.9 unsat 0.05
v25_problem__022.smt2.slack.smt2.1 unsat 0.87
v25_problem__022.smt2.slack.smt2.10 unsat 0.66
v25_problem__022.smt2.slack.smt2.2 unsat 8.65
v25_problem__022.smt2.slack.smt2.3 unsat 1.87
v25_problem__022.smt2.slack.smt2.4 unsat 0.51
v25_problem__022.smt2.slack.smt2.5 unsat 0.94
v25_problem__022.smt2.slack.smt2.6 unsat 2.14
v25_problem__022.smt2.slack.smt2.7 unsat 3.13
v25_problem__022.smt2.slack.smt2.8 unsat 0.9
v25_problem__022.smt2.slack.smt2.9 unsat 0.37
v25_problem__031.smt2.slack.smt2.1 unsat 0.51
v25_problem__031.smt2.slack.smt2.10 unsat 0.28
v25_problem__031.smt2.slack.smt2.2 unsat 14.13
v25_problem__031.smt2.slack.smt2.3 unsat 5.36
v25_problem__031.smt2.slack.smt2.4 unsat 6.15
v25_problem__031.smt2.slack.smt2.5 unsat 0.49
v25_problem__031.smt2.slack.smt2.6 unsat 1.26
v25_problem__031.smt2.slack.smt2.7 unsat 1.13
v25_problem__031.smt2.slack.smt2.8 unsat 13.01
v25_problem__031.smt2.slack.smt2.9 unsat 1.04
v25_problem__032.smt2.slack.smt2.1 unsat 0.05
v25_problem__032.smt2.slack.smt2.10 unsat 0.06
v25_problem__032.smt2.slack.smt2.2 unsat 0.04
v25_problem__032.smt2.slack.smt2.3 unsat 0.04
v25_problem__032.smt2.slack.smt2.4 unsat 0.04
v25_problem__032.smt2.slack.smt2.5 unsat 0.04
v25_problem__032.smt2.slack.smt2.6 unsat 0.04
v25_problem__032.smt2.slack.smt2.7 unsat 0.04
v25_problem__032.smt2.slack.smt2.8 unsat 0.04
v25_problem__032.smt2.slack.smt2.9 unsat 0.09
v25_problem__034.smt2.slack.smt2.1 unsat 0.03
v25_problem__034.smt2.slack.smt2.10 unsat 0.03
v25_problem__034.smt2.slack.smt2.2 unsat 0.03
v25_problem__034.smt2.slack.smt2.3 unsat 0.03
v25_problem__034.smt2.slack.smt2.4 unsat 0.03
v25_problem__034.smt2.slack.smt2.5 unsat 0.03
v25_problem__034.smt2.slack.smt2.6 unsat 0.03
v25_problem__034.smt2.slack.smt2.7 unsat 0.03
v25_problem__034.smt2.slack.smt2.8 unsat 0.03
v25_problem__034.smt2.slack.smt2.9 unsat 0.03
v30_problem__032.smt2.slack.smt2.1 unsat 0.05
v30_problem__032.smt2.slack.smt2.10 unsat 0.06
v30_problem__032.smt2.slack.smt2.2 unsat 0.06
v30_problem__032.smt2.slack.smt2.3 unsat 0.06
v30_problem__032.smt2.slack.smt2.4 unsat 0.06
v30_problem__032.smt2.slack.smt2.5 unsat 0.06
v30_problem__032.smt2.slack.smt2.6 unsat 0.06
v30_problem__032.smt2.slack.smt2.7 unsat 0.06
v30_problem__032.smt2.slack.smt2.8 unsat 0.05
v30_problem__032.smt2.slack.smt2.9 unsat 0.06