problem |
result |
overall_time |
v10_problem_2__012.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__012.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__012.smt2.slack.smt2.8 |
unsat |
0 |
v10_problem_2__012.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem_2__016.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__016.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__016.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__019.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__019.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.5 |
unsat |
0 |
v10_problem_2__019.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__019.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__021.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__021.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__021.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__021.smt2.slack.smt2.8 |
unsat |
0 |
v10_problem_2__021.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem_2__024.smt2.slack.smt2.1 |
unsat |
0 |
v10_problem_2__024.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__024.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__024.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__024.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__024.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__024.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__024.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__024.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__024.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem_2__025.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__025.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem_2__025.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__025.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__026.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem_2__026.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__026.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__026.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem_2__026.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__027.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__027.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__027.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__027.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem_2__027.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem_2__028.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem_2__028.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.4 |
unsat |
0 |
v10_problem_2__028.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__028.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem_2__028.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__029.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__029.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__029.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__030.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__030.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__030.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__030.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__030.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__030.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__030.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__030.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__030.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__030.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__031.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem_2__031.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__031.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__032.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.5 |
unsat |
0 |
v10_problem_2__032.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__032.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem_2__032.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem_2__032.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__033.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem_2__033.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem_2__033.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem_2__033.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__033.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem_2__033.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__033.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem_2__033.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem_2__033.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem_2__033.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__034.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__034.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__034.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.6 |
unsat |
0.03 |
v10_problem_2__034.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__034.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem_2__035.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem_2__035.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem_2__035.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem_2__035.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem_2__035.smt2.slack.smt2.9 |
unsat |
0.03 |
v10_problem__016.smt2.slack.smt2.1 |
unsat |
0 |
v10_problem__016.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem__016.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__016.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__016.smt2.slack.smt2.4 |
unsat |
0 |
v10_problem__016.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__016.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__016.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__016.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__016.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem__017.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__017.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__017.smt2.slack.smt2.8 |
unsat |
0.01 |
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.01 |
v10_problem__020.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__020.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__020.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem__021.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.3 |
unsat |
0 |
v10_problem__021.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem__021.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__021.smt2.slack.smt2.8 |
unsat |
0 |
v10_problem__021.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__022.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem__022.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__022.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem__022.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__022.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem__024.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__024.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__024.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__025.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__025.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__025.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__025.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__026.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem__026.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem__026.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__026.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__027.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem__027.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem__027.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__027.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__027.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.1 |
unsat |
0 |
v10_problem__028.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.3 |
unsat |
0 |
v10_problem__028.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.5 |
unsat |
0 |
v10_problem__028.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__028.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__028.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.5 |
unsat |
0 |
v10_problem__029.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__029.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem__030.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem__030.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__030.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem__031.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__031.smt2.slack.smt2.6 |
unsat |
0.02 |
v10_problem__031.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem__031.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__031.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.1 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__032.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__032.smt2.slack.smt2.3 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.4 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.5 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__032.smt2.slack.smt2.7 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__032.smt2.slack.smt2.9 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.10 |
unsat |
0.02 |
v10_problem__034.smt2.slack.smt2.2 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__034.smt2.slack.smt2.8 |
unsat |
0.02 |
v10_problem__034.smt2.slack.smt2.9 |
unsat |
0.02 |
v10_problem__035.smt2.slack.smt2.1 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.10 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.2 |
unsat |
0.02 |
v10_problem__035.smt2.slack.smt2.3 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.4 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.5 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.6 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.7 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.8 |
unsat |
0.01 |
v10_problem__035.smt2.slack.smt2.9 |
unsat |
0.02 |
v15_problem_2__011.smt2.slack.smt2.1 |
unsat |
0.03 |
v15_problem_2__011.smt2.slack.smt2.10 |
unsat |
0.05 |
v15_problem_2__011.smt2.slack.smt2.2 |
unsat |
0.02 |
v15_problem_2__011.smt2.slack.smt2.3 |
unsat |
0.02 |
v15_problem_2__011.smt2.slack.smt2.4 |
unsat |
0.02 |
v15_problem_2__011.smt2.slack.smt2.5 |
unsat |
0.03 |
v15_problem_2__011.smt2.slack.smt2.6 |
unsat |
0.01 |
v15_problem_2__011.smt2.slack.smt2.7 |
unsat |
0.03 |
v15_problem_2__011.smt2.slack.smt2.8 |
unsat |
0.02 |
v15_problem_2__011.smt2.slack.smt2.9 |
unsat |
0.06 |
v15_problem_2__019.smt2.slack.smt2.1 |
unsat |
0.06 |
v15_problem_2__019.smt2.slack.smt2.10 |
unsat |
0.03 |
v15_problem_2__019.smt2.slack.smt2.2 |
unsat |
0.04 |
v15_problem_2__019.smt2.slack.smt2.3 |
unsat |
0.02 |
v15_problem_2__019.smt2.slack.smt2.4 |
unsat |
0.05 |
v15_problem_2__019.smt2.slack.smt2.5 |
unsat |
0.06 |
v15_problem_2__019.smt2.slack.smt2.6 |
unsat |
0.04 |
v15_problem_2__019.smt2.slack.smt2.7 |
unsat |
0.03 |
v15_problem_2__019.smt2.slack.smt2.8 |
unsat |
0.04 |
v15_problem_2__019.smt2.slack.smt2.9 |
unsat |
0.03 |
v15_problem_2__020.smt2.slack.smt2.1 |
unsat |
0.02 |
v15_problem_2__020.smt2.slack.smt2.10 |
unsat |
0.03 |
v15_problem_2__020.smt2.slack.smt2.2 |
unsat |
0.02 |
v15_problem_2__020.smt2.slack.smt2.3 |
unsat |
0.04 |
v15_problem_2__020.smt2.slack.smt2.4 |
unsat |
0.03 |
v15_problem_2__020.smt2.slack.smt2.5 |
unsat |
0.05 |
v15_problem_2__020.smt2.slack.smt2.6 |
unsat |
0.03 |
v15_problem_2__020.smt2.slack.smt2.7 |
unsat |
0.04 |
v15_problem_2__020.smt2.slack.smt2.8 |
unsat |
0.02 |
v15_problem_2__020.smt2.slack.smt2.9 |
unsat |
0.04 |
v15_problem_2__021.smt2.slack.smt2.1 |
unsat |
0.12 |
v15_problem_2__021.smt2.slack.smt2.10 |
unsat |
0.1 |
v15_problem_2__021.smt2.slack.smt2.2 |
unsat |
0.18 |
v15_problem_2__021.smt2.slack.smt2.3 |
unsat |
0.12 |
v15_problem_2__021.smt2.slack.smt2.4 |
unsat |
0.06 |
v15_problem_2__021.smt2.slack.smt2.5 |
unsat |
0.18 |
v15_problem_2__021.smt2.slack.smt2.6 |
unsat |
0.17 |
v15_problem_2__021.smt2.slack.smt2.7 |
unsat |
0.12 |
v15_problem_2__021.smt2.slack.smt2.8 |
unsat |
0.13 |
v15_problem_2__021.smt2.slack.smt2.9 |
unsat |
0.14 |
v15_problem_2__022.smt2.slack.smt2.1 |
unsat |
0.03 |
v15_problem_2__022.smt2.slack.smt2.10 |
unsat |
0.02 |
v15_problem_2__022.smt2.slack.smt2.2 |
unsat |
0.03 |
v15_problem_2__022.smt2.slack.smt2.3 |
unsat |
0.08 |
v15_problem_2__022.smt2.slack.smt2.4 |
unsat |
0.02 |
v15_problem_2__022.smt2.slack.smt2.5 |
unsat |
0.03 |
v15_problem_2__022.smt2.slack.smt2.6 |
unsat |
0.02 |
v15_problem_2__022.smt2.slack.smt2.7 |
unsat |
0.02 |
v15_problem_2__022.smt2.slack.smt2.8 |
unsat |
0.06 |
v15_problem_2__022.smt2.slack.smt2.9 |
unsat |
0.02 |
v15_problem_2__024.smt2.slack.smt2.1 |
unsat |
0.12 |
v15_problem_2__024.smt2.slack.smt2.10 |
unsat |
0.04 |
v15_problem_2__024.smt2.slack.smt2.2 |
unsat |
0.1 |
v15_problem_2__024.smt2.slack.smt2.3 |
unsat |
0.05 |
v15_problem_2__024.smt2.slack.smt2.4 |
unsat |
0.04 |
v15_problem_2__024.smt2.slack.smt2.5 |
unsat |
0.02 |
v15_problem_2__024.smt2.slack.smt2.6 |
unsat |
0.09 |
v15_problem_2__024.smt2.slack.smt2.7 |
unsat |
0.11 |
v15_problem_2__024.smt2.slack.smt2.8 |
unsat |
0.12 |
v15_problem_2__024.smt2.slack.smt2.9 |
unsat |
0.04 |
v15_problem_2__025.smt2.slack.smt2.2 |
unsat |
478.78 |
v15_problem_2__025.smt2.slack.smt2.7 |
unsat |
1055.88 |
v15_problem_2__025.smt2.slack.smt2.8 |
unsat |
231.27 |
v15_problem_2__025.smt2.slack.smt2.9 |
unsat |
1158.669952 |
v15_problem__016.smt2.slack.smt2.1 |
unsat |
0.03 |
v15_problem__016.smt2.slack.smt2.10 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.2 |
unsat |
0.03 |
v15_problem__016.smt2.slack.smt2.3 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.4 |
unsat |
0.03 |
v15_problem__016.smt2.slack.smt2.5 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.6 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.7 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.8 |
unsat |
0.02 |
v15_problem__016.smt2.slack.smt2.9 |
unsat |
0.03 |
v15_problem__022.smt2.slack.smt2.1 |
unsat |
0.02 |
v15_problem__022.smt2.slack.smt2.10 |
unsat |
0.02 |
v15_problem__022.smt2.slack.smt2.2 |
unsat |
0.01 |
v15_problem__022.smt2.slack.smt2.3 |
unsat |
0.01 |
v15_problem__022.smt2.slack.smt2.4 |
unsat |
0.02 |
v15_problem__022.smt2.slack.smt2.5 |
unsat |
0.01 |
v15_problem__022.smt2.slack.smt2.6 |
unsat |
0.01 |
v15_problem__022.smt2.slack.smt2.7 |
unsat |
0.03 |
v15_problem__022.smt2.slack.smt2.8 |
unsat |
0.02 |
v15_problem__022.smt2.slack.smt2.9 |
unsat |
0.02 |
v15_problem__023.smt2.slack.smt2.1 |
unsat |
0.06 |
v15_problem__023.smt2.slack.smt2.10 |
unsat |
0.02 |
v15_problem__023.smt2.slack.smt2.2 |
unsat |
0.03 |
v15_problem__023.smt2.slack.smt2.3 |
unsat |
0.04 |
v15_problem__023.smt2.slack.smt2.4 |
unsat |
0.02 |
v15_problem__023.smt2.slack.smt2.5 |
unsat |
0.06 |
v15_problem__023.smt2.slack.smt2.6 |
unsat |
0.07 |
v15_problem__023.smt2.slack.smt2.7 |
unsat |
0.02 |
v15_problem__023.smt2.slack.smt2.8 |
unsat |
0.06 |
v15_problem__023.smt2.slack.smt2.9 |
unsat |
0.05 |
v15_problem__024.smt2.slack.smt2.1 |
unsat |
0.07 |
v15_problem__024.smt2.slack.smt2.10 |
unsat |
0.05 |
v15_problem__024.smt2.slack.smt2.2 |
unsat |
0.04 |
v15_problem__024.smt2.slack.smt2.3 |
unsat |
0.08 |
v15_problem__024.smt2.slack.smt2.4 |
unsat |
0.06 |
v15_problem__024.smt2.slack.smt2.5 |
unsat |
0.09 |
v15_problem__024.smt2.slack.smt2.6 |
unsat |
0.03 |
v15_problem__024.smt2.slack.smt2.7 |
unsat |
0.02 |
v15_problem__024.smt2.slack.smt2.8 |
unsat |
0.07 |
v15_problem__024.smt2.slack.smt2.9 |
unsat |
0.03 |
v15_problem__025.smt2.slack.smt2.1 |
unsat |
0.03 |
v15_problem__025.smt2.slack.smt2.10 |
unsat |
0.03 |
v15_problem__025.smt2.slack.smt2.2 |
unsat |
0.03 |
v15_problem__025.smt2.slack.smt2.3 |
unsat |
0.06 |
v15_problem__025.smt2.slack.smt2.4 |
unsat |
0.07 |
v15_problem__025.smt2.slack.smt2.5 |
unsat |
0.07 |
v15_problem__025.smt2.slack.smt2.6 |
unsat |
0.02 |
v15_problem__025.smt2.slack.smt2.7 |
unsat |
0.03 |
v15_problem__025.smt2.slack.smt2.8 |
unsat |
0.01 |
v15_problem__025.smt2.slack.smt2.9 |
unsat |
0.03 |
v20_problem_2__026.smt2.slack.smt2.1 |
unsat |
1.1 |
v20_problem_2__026.smt2.slack.smt2.10 |
unsat |
1.02 |
v20_problem_2__026.smt2.slack.smt2.2 |
unsat |
1.06 |
v20_problem_2__026.smt2.slack.smt2.3 |
unsat |
0.81 |
v20_problem_2__026.smt2.slack.smt2.4 |
unsat |
0.63 |
v20_problem_2__026.smt2.slack.smt2.5 |
unsat |
1.1 |
v20_problem_2__026.smt2.slack.smt2.6 |
unsat |
0.92 |
v20_problem_2__026.smt2.slack.smt2.7 |
unsat |
1.04 |
v20_problem_2__026.smt2.slack.smt2.8 |
unsat |
0.58 |
v20_problem_2__026.smt2.slack.smt2.9 |
unsat |
1.18 |
v20_problem_2__027.smt2.slack.smt2.1 |
unsat |
0.47 |
v20_problem_2__027.smt2.slack.smt2.10 |
unsat |
0.32 |
v20_problem_2__027.smt2.slack.smt2.2 |
unsat |
0.35 |
v20_problem_2__027.smt2.slack.smt2.3 |
unsat |
0.52 |
v20_problem_2__027.smt2.slack.smt2.4 |
unsat |
0.31 |
v20_problem_2__027.smt2.slack.smt2.5 |
unsat |
0.47 |
v20_problem_2__027.smt2.slack.smt2.6 |
unsat |
0.45 |
v20_problem_2__027.smt2.slack.smt2.7 |
unsat |
0.41 |
v20_problem_2__027.smt2.slack.smt2.8 |
unsat |
0.42 |
v20_problem_2__027.smt2.slack.smt2.9 |
unsat |
0.31 |
v20_problem_2__030.smt2.slack.smt2.1 |
unsat |
0.55 |
v20_problem_2__030.smt2.slack.smt2.10 |
unsat |
0.5 |
v20_problem_2__030.smt2.slack.smt2.2 |
unsat |
0.67 |
v20_problem_2__030.smt2.slack.smt2.3 |
unsat |
0.44 |
v20_problem_2__030.smt2.slack.smt2.4 |
unsat |
0.37 |
v20_problem_2__030.smt2.slack.smt2.5 |
unsat |
0.59 |
v20_problem_2__030.smt2.slack.smt2.6 |
unsat |
0.4 |
v20_problem_2__030.smt2.slack.smt2.7 |
unsat |
0.58 |
v20_problem_2__030.smt2.slack.smt2.8 |
unsat |
0.55 |
v20_problem_2__030.smt2.slack.smt2.9 |
unsat |
0.55 |
v20_problem_2__031.smt2.slack.smt2.1 |
unsat |
0.92 |
v20_problem_2__031.smt2.slack.smt2.10 |
unsat |
0.89 |
v20_problem_2__031.smt2.slack.smt2.2 |
unsat |
0.97 |
v20_problem_2__031.smt2.slack.smt2.3 |
unsat |
0.9 |
v20_problem_2__031.smt2.slack.smt2.4 |
unsat |
0.99 |
v20_problem_2__031.smt2.slack.smt2.5 |
unsat |
1.23 |
v20_problem_2__031.smt2.slack.smt2.6 |
unsat |
1.13 |
v20_problem_2__031.smt2.slack.smt2.7 |
unsat |
1.16 |
v20_problem_2__031.smt2.slack.smt2.8 |
unsat |
0.77 |
v20_problem_2__031.smt2.slack.smt2.9 |
unsat |
0.88 |
v20_problem_2__032.smt2.slack.smt2.1 |
unsat |
0.61 |
v20_problem_2__032.smt2.slack.smt2.10 |
unsat |
1.41 |
v20_problem_2__032.smt2.slack.smt2.2 |
unsat |
0.81 |
v20_problem_2__032.smt2.slack.smt2.3 |
unsat |
0.9 |
v20_problem_2__032.smt2.slack.smt2.4 |
unsat |
1.01 |
v20_problem_2__032.smt2.slack.smt2.5 |
unsat |
1.19 |
v20_problem_2__032.smt2.slack.smt2.6 |
unsat |
0.88 |
v20_problem_2__032.smt2.slack.smt2.7 |
unsat |
0.97 |
v20_problem_2__032.smt2.slack.smt2.8 |
unsat |
0.85 |
v20_problem_2__032.smt2.slack.smt2.9 |
unsat |
1.33 |
v20_problem_2__033.smt2.slack.smt2.1 |
unsat |
0.84 |
v20_problem_2__033.smt2.slack.smt2.10 |
unsat |
1 |
v20_problem_2__033.smt2.slack.smt2.2 |
unsat |
1.13 |
v20_problem_2__033.smt2.slack.smt2.3 |
unsat |
1.07 |
v20_problem_2__033.smt2.slack.smt2.4 |
unsat |
1.2 |
v20_problem_2__033.smt2.slack.smt2.5 |
unsat |
1.4 |
v20_problem_2__033.smt2.slack.smt2.6 |
unsat |
0.95 |
v20_problem_2__033.smt2.slack.smt2.7 |
unsat |
1.25 |
v20_problem_2__033.smt2.slack.smt2.8 |
unsat |
1.16 |
v20_problem_2__033.smt2.slack.smt2.9 |
unsat |
1.11 |
v20_problem_2__034.smt2.slack.smt2.1 |
unsat |
0.33 |
v20_problem_2__034.smt2.slack.smt2.10 |
unsat |
0.67 |
v20_problem_2__034.smt2.slack.smt2.2 |
unsat |
0.5 |
v20_problem_2__034.smt2.slack.smt2.3 |
unsat |
0.57 |
v20_problem_2__034.smt2.slack.smt2.4 |
unsat |
0.4 |
v20_problem_2__034.smt2.slack.smt2.5 |
unsat |
0.26 |
v20_problem_2__034.smt2.slack.smt2.6 |
unsat |
0.62 |
v20_problem_2__034.smt2.slack.smt2.7 |
unsat |
0.47 |
v20_problem_2__034.smt2.slack.smt2.8 |
unsat |
0.53 |
v20_problem_2__034.smt2.slack.smt2.9 |
unsat |
0.71 |
v20_problem__016.smt2.slack.smt2.1 |
unsat |
0.3 |
v20_problem__016.smt2.slack.smt2.10 |
unsat |
0.39 |
v20_problem__016.smt2.slack.smt2.2 |
unsat |
0.34 |
v20_problem__016.smt2.slack.smt2.3 |
unsat |
0.27 |
v20_problem__016.smt2.slack.smt2.4 |
unsat |
0.25 |
v20_problem__016.smt2.slack.smt2.5 |
unsat |
0.34 |
v20_problem__016.smt2.slack.smt2.6 |
unsat |
0.36 |
v20_problem__016.smt2.slack.smt2.7 |
unsat |
0.13 |
v20_problem__016.smt2.slack.smt2.8 |
unsat |
0.34 |
v20_problem__016.smt2.slack.smt2.9 |
unsat |
0.38 |
v20_problem__018.smt2.slack.smt2.1 |
unsat |
0.09 |
v20_problem__018.smt2.slack.smt2.10 |
unsat |
0.27 |
v20_problem__018.smt2.slack.smt2.2 |
unsat |
0.29 |
v20_problem__018.smt2.slack.smt2.3 |
unsat |
0.35 |
v20_problem__018.smt2.slack.smt2.4 |
unsat |
0.38 |
v20_problem__018.smt2.slack.smt2.5 |
unsat |
0.26 |
v20_problem__018.smt2.slack.smt2.6 |
unsat |
0.44 |
v20_problem__018.smt2.slack.smt2.7 |
unsat |
0.31 |
v20_problem__018.smt2.slack.smt2.8 |
unsat |
0.46 |
v20_problem__018.smt2.slack.smt2.9 |
unsat |
0.44 |
v20_problem__023.smt2.slack.smt2.1 |
unsat |
0.54 |
v20_problem__023.smt2.slack.smt2.10 |
unsat |
0.41 |
v20_problem__023.smt2.slack.smt2.2 |
unsat |
0.37 |
v20_problem__023.smt2.slack.smt2.3 |
unsat |
0.48 |
v20_problem__023.smt2.slack.smt2.4 |
unsat |
0.22 |
v20_problem__023.smt2.slack.smt2.5 |
unsat |
0.62 |
v20_problem__023.smt2.slack.smt2.6 |
unsat |
0.61 |
v20_problem__023.smt2.slack.smt2.7 |
unsat |
0.34 |
v20_problem__023.smt2.slack.smt2.8 |
unsat |
0.48 |
v20_problem__023.smt2.slack.smt2.9 |
unsat |
0.46 |
v20_problem__025.smt2.slack.smt2.1 |
unsat |
0.44 |
v20_problem__025.smt2.slack.smt2.10 |
unsat |
0.69 |
v20_problem__025.smt2.slack.smt2.2 |
unsat |
0.94 |
v20_problem__025.smt2.slack.smt2.3 |
unsat |
0.54 |
v20_problem__025.smt2.slack.smt2.4 |
unsat |
0.92 |
v20_problem__025.smt2.slack.smt2.5 |
unsat |
0.96 |
v20_problem__025.smt2.slack.smt2.6 |
unsat |
0.97 |
v20_problem__025.smt2.slack.smt2.7 |
unsat |
0.79 |
v20_problem__025.smt2.slack.smt2.8 |
unsat |
0.42 |
v20_problem__025.smt2.slack.smt2.9 |
unsat |
0.95 |
v20_problem__027.smt2.slack.smt2.1 |
unsat |
0.64 |
v20_problem__027.smt2.slack.smt2.10 |
unsat |
0.75 |
v20_problem__027.smt2.slack.smt2.2 |
unsat |
0.42 |
v20_problem__027.smt2.slack.smt2.3 |
unsat |
0.76 |
v20_problem__027.smt2.slack.smt2.4 |
unsat |
0.57 |
v20_problem__027.smt2.slack.smt2.5 |
unsat |
0.58 |
v20_problem__027.smt2.slack.smt2.6 |
unsat |
0.75 |
v20_problem__027.smt2.slack.smt2.7 |
unsat |
1.08 |
v20_problem__027.smt2.slack.smt2.8 |
unsat |
0.41 |
v20_problem__027.smt2.slack.smt2.9 |
unsat |
0.74 |
v20_problem__029.smt2.slack.smt2.1 |
unsat |
0.92 |
v20_problem__029.smt2.slack.smt2.10 |
unsat |
0.93 |
v20_problem__029.smt2.slack.smt2.2 |
unsat |
0.8 |
v20_problem__029.smt2.slack.smt2.3 |
unsat |
0.92 |
v20_problem__029.smt2.slack.smt2.4 |
unsat |
1.04 |
v20_problem__029.smt2.slack.smt2.5 |
unsat |
0.68 |
v20_problem__029.smt2.slack.smt2.6 |
unsat |
0.93 |
v20_problem__029.smt2.slack.smt2.7 |
unsat |
0.98 |
v20_problem__029.smt2.slack.smt2.8 |
unsat |
0.9 |
v20_problem__029.smt2.slack.smt2.9 |
unsat |
1.08 |
v20_problem__031.smt2.slack.smt2.1 |
unsat |
0.69 |
v20_problem__031.smt2.slack.smt2.10 |
unsat |
0.47 |
v20_problem__031.smt2.slack.smt2.2 |
unsat |
0.74 |
v20_problem__031.smt2.slack.smt2.3 |
unsat |
0.7 |
v20_problem__031.smt2.slack.smt2.4 |
unsat |
0.44 |
v20_problem__031.smt2.slack.smt2.5 |
unsat |
0.35 |
v20_problem__031.smt2.slack.smt2.6 |
unsat |
0.68 |
v20_problem__031.smt2.slack.smt2.7 |
unsat |
0.77 |
v20_problem__031.smt2.slack.smt2.8 |
unsat |
0.75 |
v20_problem__031.smt2.slack.smt2.9 |
unsat |
0.46 |
v20_problem__032.smt2.slack.smt2.1 |
unsat |
0.59 |
v20_problem__032.smt2.slack.smt2.10 |
unsat |
0.57 |
v20_problem__032.smt2.slack.smt2.2 |
unsat |
0.6 |
v20_problem__032.smt2.slack.smt2.3 |
unsat |
0.63 |
v20_problem__032.smt2.slack.smt2.4 |
unsat |
0.7 |
v20_problem__032.smt2.slack.smt2.5 |
unsat |
0.52 |
v20_problem__032.smt2.slack.smt2.6 |
unsat |
0.63 |
v20_problem__032.smt2.slack.smt2.7 |
unsat |
0.58 |
v20_problem__032.smt2.slack.smt2.8 |
unsat |
0.66 |
v20_problem__032.smt2.slack.smt2.9 |
unsat |
0.96 |
v20_problem__033.smt2.slack.smt2.1 |
unsat |
0.79 |
v20_problem__033.smt2.slack.smt2.10 |
unsat |
0.63 |
v20_problem__033.smt2.slack.smt2.2 |
unsat |
0.64 |
v20_problem__033.smt2.slack.smt2.3 |
unsat |
0.67 |
v20_problem__033.smt2.slack.smt2.4 |
unsat |
0.7 |
v20_problem__033.smt2.slack.smt2.5 |
unsat |
0.51 |
v20_problem__033.smt2.slack.smt2.6 |
unsat |
0.83 |
v20_problem__033.smt2.slack.smt2.7 |
unsat |
0.77 |
v20_problem__033.smt2.slack.smt2.8 |
unsat |
0.63 |
v20_problem__033.smt2.slack.smt2.9 |
unsat |
0.46 |
v20_problem__034.smt2.slack.smt2.1 |
unsat |
0.77 |
v20_problem__034.smt2.slack.smt2.10 |
unsat |
1.18 |
v20_problem__034.smt2.slack.smt2.2 |
unsat |
0.88 |
v20_problem__034.smt2.slack.smt2.3 |
unsat |
1.05 |
v20_problem__034.smt2.slack.smt2.4 |
unsat |
1.18 |
v20_problem__034.smt2.slack.smt2.5 |
unsat |
1.2 |
v20_problem__034.smt2.slack.smt2.6 |
unsat |
0.73 |
v20_problem__034.smt2.slack.smt2.7 |
unsat |
1.1 |
v20_problem__034.smt2.slack.smt2.8 |
unsat |
1.06 |
v20_problem__034.smt2.slack.smt2.9 |
unsat |
0.85 |
v20_problem__035.smt2.slack.smt2.1 |
unsat |
0.76 |
v20_problem__035.smt2.slack.smt2.10 |
unsat |
0.84 |
v20_problem__035.smt2.slack.smt2.2 |
unsat |
0.93 |
v20_problem__035.smt2.slack.smt2.3 |
unsat |
0.45 |
v20_problem__035.smt2.slack.smt2.4 |
unsat |
0.94 |
v20_problem__035.smt2.slack.smt2.5 |
unsat |
0.81 |
v20_problem__035.smt2.slack.smt2.6 |
unsat |
0.71 |
v20_problem__035.smt2.slack.smt2.7 |
unsat |
0.9 |
v20_problem__035.smt2.slack.smt2.8 |
unsat |
0.68 |
v20_problem__035.smt2.slack.smt2.9 |
unsat |
0.89 |
v25_problem_2__029.smt2.slack.smt2.1 |
unsat |
1.04 |
v25_problem_2__029.smt2.slack.smt2.10 |
unsat |
1.75 |
v25_problem_2__029.smt2.slack.smt2.2 |
unsat |
1.59 |
v25_problem_2__029.smt2.slack.smt2.3 |
unsat |
1.37 |
v25_problem_2__029.smt2.slack.smt2.4 |
unsat |
1.26 |
v25_problem_2__029.smt2.slack.smt2.5 |
unsat |
1.52 |
v25_problem_2__029.smt2.slack.smt2.6 |
unsat |
1.2 |
v25_problem_2__029.smt2.slack.smt2.7 |
unsat |
1.26 |
v25_problem_2__029.smt2.slack.smt2.8 |
unsat |
1.56 |
v25_problem_2__029.smt2.slack.smt2.9 |
unsat |
1.61 |
v25_problem_2__031.smt2.slack.smt2.1 |
unsat |
1.61 |
v25_problem_2__031.smt2.slack.smt2.10 |
unsat |
2.25 |
v25_problem_2__031.smt2.slack.smt2.2 |
unsat |
2.61 |
v25_problem_2__031.smt2.slack.smt2.3 |
unsat |
2.26 |
v25_problem_2__031.smt2.slack.smt2.4 |
unsat |
1.53 |
v25_problem_2__031.smt2.slack.smt2.5 |
unsat |
1.94 |
v25_problem_2__031.smt2.slack.smt2.6 |
unsat |
1.73 |
v25_problem_2__031.smt2.slack.smt2.7 |
unsat |
2.22 |
v25_problem_2__031.smt2.slack.smt2.8 |
unsat |
2.82 |
v25_problem_2__031.smt2.slack.smt2.9 |
unsat |
3.27 |
v25_problem_2__033.smt2.slack.smt2.1 |
unsat |
2.78 |
v25_problem_2__033.smt2.slack.smt2.10 |
unsat |
2.19 |
v25_problem_2__033.smt2.slack.smt2.2 |
unsat |
1.8 |
v25_problem_2__033.smt2.slack.smt2.3 |
unsat |
2.29 |
v25_problem_2__033.smt2.slack.smt2.4 |
unsat |
2.55 |
v25_problem_2__033.smt2.slack.smt2.5 |
unsat |
2.37 |
v25_problem_2__033.smt2.slack.smt2.6 |
unsat |
2.05 |
v25_problem_2__033.smt2.slack.smt2.7 |
unsat |
1.17 |
v25_problem_2__033.smt2.slack.smt2.8 |
unsat |
2.27 |
v25_problem_2__033.smt2.slack.smt2.9 |
unsat |
2.04 |
v25_problem__022.smt2.slack.smt2.1 |
unsat |
1856.999936 |
v25_problem__022.smt2.slack.smt2.3 |
unsat |
1310.450048 |
v25_problem__022.smt2.slack.smt2.4 |
unsat |
3.72 |
v25_problem__022.smt2.slack.smt2.8 |
unsat |
171.26 |
v25_problem__031.smt2.slack.smt2.6 |
unsat |
1947.190016 |
v25_problem__031.smt2.slack.smt2.9 |
unsat |
2202.210048 |
v25_problem__032.smt2.slack.smt2.1 |
unsat |
1.88 |
v25_problem__032.smt2.slack.smt2.10 |
unsat |
2.24 |
v25_problem__032.smt2.slack.smt2.2 |
unsat |
2.12 |
v25_problem__032.smt2.slack.smt2.3 |
unsat |
1.98 |
v25_problem__032.smt2.slack.smt2.4 |
unsat |
1.97 |
v25_problem__032.smt2.slack.smt2.5 |
unsat |
1.95 |
v25_problem__032.smt2.slack.smt2.6 |
unsat |
1.92 |
v25_problem__032.smt2.slack.smt2.7 |
unsat |
1.69 |
v25_problem__032.smt2.slack.smt2.8 |
unsat |
2 |
v25_problem__032.smt2.slack.smt2.9 |
unsat |
1.96 |
v25_problem__034.smt2.slack.smt2.1 |
unsat |
1.47 |
v25_problem__034.smt2.slack.smt2.10 |
unsat |
1.89 |
v25_problem__034.smt2.slack.smt2.2 |
unsat |
1.57 |
v25_problem__034.smt2.slack.smt2.3 |
unsat |
1.38 |
v25_problem__034.smt2.slack.smt2.4 |
unsat |
1.73 |
v25_problem__034.smt2.slack.smt2.5 |
unsat |
2.31 |
v25_problem__034.smt2.slack.smt2.6 |
unsat |
1.54 |
v25_problem__034.smt2.slack.smt2.7 |
unsat |
1.51 |
v25_problem__034.smt2.slack.smt2.8 |
unsat |
2.14 |
v25_problem__034.smt2.slack.smt2.9 |
unsat |
1.95 |
v30_problem__032.smt2.slack.smt2.1 |
unsat |
3.3 |
v30_problem__032.smt2.slack.smt2.10 |
unsat |
3.06 |
v30_problem__032.smt2.slack.smt2.2 |
unsat |
3.51 |
v30_problem__032.smt2.slack.smt2.3 |
unsat |
3.95 |
v30_problem__032.smt2.slack.smt2.4 |
unsat |
3.09 |
v30_problem__032.smt2.slack.smt2.5 |
unsat |
2.56 |
v30_problem__032.smt2.slack.smt2.6 |
unsat |
2.87 |
v30_problem__032.smt2.slack.smt2.7 |
unsat |
3.65 |
v30_problem__032.smt2.slack.smt2.8 |
unsat |
2.84 |
v30_problem__032.smt2.slack.smt2.9 |
unsat |
2.3 |