problem result overall_time
v10_problem_2__012.smt2.slack.smt2.1 unsat 0.37
v10_problem_2__012.smt2.slack.smt2.10 unsat 0.35
v10_problem_2__012.smt2.slack.smt2.2 unsat 0.49
v10_problem_2__012.smt2.slack.smt2.3 unsat 0.38
v10_problem_2__012.smt2.slack.smt2.4 unsat 0.4
v10_problem_2__012.smt2.slack.smt2.5 unsat 0.34
v10_problem_2__012.smt2.slack.smt2.6 unsat 0.47
v10_problem_2__012.smt2.slack.smt2.7 unsat 0.41
v10_problem_2__012.smt2.slack.smt2.8 unsat 0.34
v10_problem_2__012.smt2.slack.smt2.9 unsat 0.39
v10_problem_2__016.smt2.slack.smt2.1 unsat 0.4
v10_problem_2__016.smt2.slack.smt2.10 unsat 0.41
v10_problem_2__016.smt2.slack.smt2.2 unsat 0.37
v10_problem_2__016.smt2.slack.smt2.3 unsat 0.4
v10_problem_2__016.smt2.slack.smt2.4 unsat 0.46
v10_problem_2__016.smt2.slack.smt2.5 unsat 0.37
v10_problem_2__016.smt2.slack.smt2.6 unsat 0.37
v10_problem_2__016.smt2.slack.smt2.7 unsat 0.54
v10_problem_2__016.smt2.slack.smt2.8 unsat 0.45
v10_problem_2__016.smt2.slack.smt2.9 unsat 0.37
v10_problem_2__019.smt2.slack.smt2.1 unsat 0.37
v10_problem_2__019.smt2.slack.smt2.10 unsat 0.4
v10_problem_2__019.smt2.slack.smt2.2 unsat 0.44
v10_problem_2__019.smt2.slack.smt2.3 unsat 0.34
v10_problem_2__019.smt2.slack.smt2.4 unsat 0.45
v10_problem_2__019.smt2.slack.smt2.5 unsat 0.49
v10_problem_2__019.smt2.slack.smt2.6 unsat 0.45
v10_problem_2__019.smt2.slack.smt2.7 unsat 0.34
v10_problem_2__019.smt2.slack.smt2.8 unsat 0.34
v10_problem_2__019.smt2.slack.smt2.9 unsat 0.35
v10_problem_2__021.smt2.slack.smt2.1 unsat 0.41
v10_problem_2__021.smt2.slack.smt2.10 unsat 0.37
v10_problem_2__021.smt2.slack.smt2.2 unsat 0.5
v10_problem_2__021.smt2.slack.smt2.3 unsat 0.37
v10_problem_2__021.smt2.slack.smt2.4 unsat 0.41
v10_problem_2__021.smt2.slack.smt2.5 unsat 0.4
v10_problem_2__021.smt2.slack.smt2.6 unsat 0.36
v10_problem_2__021.smt2.slack.smt2.7 unsat 0.37
v10_problem_2__021.smt2.slack.smt2.8 unsat 0.35
v10_problem_2__021.smt2.slack.smt2.9 unsat 0.37
v10_problem_2__024.smt2.slack.smt2.1 unsat 0.41
v10_problem_2__024.smt2.slack.smt2.10 unsat 0.38
v10_problem_2__024.smt2.slack.smt2.2 unsat 0.39
v10_problem_2__024.smt2.slack.smt2.3 unsat 0.4
v10_problem_2__024.smt2.slack.smt2.4 unsat 0.5
v10_problem_2__024.smt2.slack.smt2.5 unsat 0.38
v10_problem_2__024.smt2.slack.smt2.6 unsat 0.39
v10_problem_2__024.smt2.slack.smt2.7 unsat 0.41
v10_problem_2__024.smt2.slack.smt2.8 unsat 0.41
v10_problem_2__024.smt2.slack.smt2.9 unsat 0.34
v10_problem_2__025.smt2.slack.smt2.1 unsat 0.38
v10_problem_2__025.smt2.slack.smt2.10 unsat 0.45
v10_problem_2__025.smt2.slack.smt2.2 unsat 0.39
v10_problem_2__025.smt2.slack.smt2.3 unsat 0.4
v10_problem_2__025.smt2.slack.smt2.4 unsat 0.48
v10_problem_2__025.smt2.slack.smt2.5 unsat 0.37
v10_problem_2__025.smt2.slack.smt2.6 unsat 0.36
v10_problem_2__025.smt2.slack.smt2.7 unsat 0.35
v10_problem_2__025.smt2.slack.smt2.8 unsat 0.39
v10_problem_2__025.smt2.slack.smt2.9 unsat 0.38
v10_problem_2__026.smt2.slack.smt2.1 unsat 0.4
v10_problem_2__026.smt2.slack.smt2.10 unsat 0.38
v10_problem_2__026.smt2.slack.smt2.2 unsat 0.37
v10_problem_2__026.smt2.slack.smt2.3 unsat 0.43
v10_problem_2__026.smt2.slack.smt2.4 unsat 0.43
v10_problem_2__026.smt2.slack.smt2.5 unsat 0.36
v10_problem_2__026.smt2.slack.smt2.6 unsat 0.52
v10_problem_2__026.smt2.slack.smt2.7 unsat 0.43
v10_problem_2__026.smt2.slack.smt2.8 unsat 0.41
v10_problem_2__026.smt2.slack.smt2.9 unsat 0.45
v10_problem_2__027.smt2.slack.smt2.1 unsat 0.49
v10_problem_2__027.smt2.slack.smt2.10 unsat 0.44
v10_problem_2__027.smt2.slack.smt2.2 unsat 0.44
v10_problem_2__027.smt2.slack.smt2.3 unsat 0.46
v10_problem_2__027.smt2.slack.smt2.4 unsat 0.44
v10_problem_2__027.smt2.slack.smt2.5 unsat 0.41
v10_problem_2__027.smt2.slack.smt2.6 unsat 0.41
v10_problem_2__027.smt2.slack.smt2.7 unsat 0.42
v10_problem_2__027.smt2.slack.smt2.8 unsat 0.46
v10_problem_2__027.smt2.slack.smt2.9 unsat 0.54
v10_problem_2__028.smt2.slack.smt2.1 unsat 0.43
v10_problem_2__028.smt2.slack.smt2.10 unsat 0.38
v10_problem_2__028.smt2.slack.smt2.2 unsat 0.39
v10_problem_2__028.smt2.slack.smt2.3 unsat 0.37
v10_problem_2__028.smt2.slack.smt2.4 unsat 0.35
v10_problem_2__028.smt2.slack.smt2.5 unsat 0.35
v10_problem_2__028.smt2.slack.smt2.6 unsat 0.36
v10_problem_2__028.smt2.slack.smt2.7 unsat 0.45
v10_problem_2__028.smt2.slack.smt2.8 unsat 0.37
v10_problem_2__028.smt2.slack.smt2.9 unsat 0.35
v10_problem_2__029.smt2.slack.smt2.1 unsat 0.35
v10_problem_2__029.smt2.slack.smt2.10 unsat 0.46
v10_problem_2__029.smt2.slack.smt2.2 unsat 0.39
v10_problem_2__029.smt2.slack.smt2.3 unsat 0.44
v10_problem_2__029.smt2.slack.smt2.4 unsat 0.37
v10_problem_2__029.smt2.slack.smt2.5 unsat 0.36
v10_problem_2__029.smt2.slack.smt2.6 unsat 0.43
v10_problem_2__029.smt2.slack.smt2.7 unsat 0.39
v10_problem_2__029.smt2.slack.smt2.8 unsat 0.36
v10_problem_2__029.smt2.slack.smt2.9 unsat 0.38
v10_problem_2__030.smt2.slack.smt2.1 unsat 0.43
v10_problem_2__030.smt2.slack.smt2.10 unsat 0.36
v10_problem_2__030.smt2.slack.smt2.2 unsat 0.37
v10_problem_2__030.smt2.slack.smt2.3 unsat 0.38
v10_problem_2__030.smt2.slack.smt2.4 unsat 0.4
v10_problem_2__030.smt2.slack.smt2.5 unsat 0.45
v10_problem_2__030.smt2.slack.smt2.6 unsat 0.39
v10_problem_2__030.smt2.slack.smt2.7 unsat 0.55
v10_problem_2__030.smt2.slack.smt2.8 unsat 0.38
v10_problem_2__030.smt2.slack.smt2.9 unsat 0.38
v10_problem_2__031.smt2.slack.smt2.1 unsat 0.4
v10_problem_2__031.smt2.slack.smt2.10 unsat 0.45
v10_problem_2__031.smt2.slack.smt2.2 unsat 0.41
v10_problem_2__031.smt2.slack.smt2.3 unsat 0.36
v10_problem_2__031.smt2.slack.smt2.4 unsat 0.4
v10_problem_2__031.smt2.slack.smt2.5 unsat 0.38
v10_problem_2__031.smt2.slack.smt2.6 unsat 0.59
v10_problem_2__031.smt2.slack.smt2.7 unsat 0.39
v10_problem_2__031.smt2.slack.smt2.8 unsat 0.36
v10_problem_2__031.smt2.slack.smt2.9 unsat 0.48
v10_problem_2__032.smt2.slack.smt2.1 unsat 0.41
v10_problem_2__032.smt2.slack.smt2.10 unsat 0.44
v10_problem_2__032.smt2.slack.smt2.2 unsat 0.45
v10_problem_2__032.smt2.slack.smt2.3 unsat 0.43
v10_problem_2__032.smt2.slack.smt2.4 unsat 0.5
v10_problem_2__032.smt2.slack.smt2.5 unsat 0.43
v10_problem_2__032.smt2.slack.smt2.6 unsat 0.39
v10_problem_2__032.smt2.slack.smt2.7 unsat 0.43
v10_problem_2__032.smt2.slack.smt2.8 unsat 0.4
v10_problem_2__032.smt2.slack.smt2.9 unsat 0.41
v10_problem_2__033.smt2.slack.smt2.1 unsat 0.4
v10_problem_2__033.smt2.slack.smt2.10 unsat 0.48
v10_problem_2__033.smt2.slack.smt2.2 unsat 0.45
v10_problem_2__033.smt2.slack.smt2.3 unsat 0.6
v10_problem_2__033.smt2.slack.smt2.4 unsat 0.38
v10_problem_2__033.smt2.slack.smt2.5 unsat 0.38
v10_problem_2__033.smt2.slack.smt2.6 unsat 0.41
v10_problem_2__033.smt2.slack.smt2.7 unsat 0.42
v10_problem_2__033.smt2.slack.smt2.8 unsat 0.41
v10_problem_2__033.smt2.slack.smt2.9 unsat 0.45
v10_problem_2__034.smt2.slack.smt2.1 unsat 0.37
v10_problem_2__034.smt2.slack.smt2.10 unsat 0.41
v10_problem_2__034.smt2.slack.smt2.2 unsat 0.4
v10_problem_2__034.smt2.slack.smt2.3 unsat 0.39
v10_problem_2__034.smt2.slack.smt2.4 unsat 0.36
v10_problem_2__034.smt2.slack.smt2.5 unsat 0.36
v10_problem_2__034.smt2.slack.smt2.6 unsat 0.36
v10_problem_2__034.smt2.slack.smt2.7 unsat 0.43
v10_problem_2__034.smt2.slack.smt2.8 unsat 0.37
v10_problem_2__034.smt2.slack.smt2.9 unsat 0.4
v10_problem_2__035.smt2.slack.smt2.1 unsat 0.43
v10_problem_2__035.smt2.slack.smt2.10 unsat 0.46
v10_problem_2__035.smt2.slack.smt2.2 unsat 0.43
v10_problem_2__035.smt2.slack.smt2.3 unsat 0.41
v10_problem_2__035.smt2.slack.smt2.4 unsat 0.38
v10_problem_2__035.smt2.slack.smt2.5 unsat 0.39
v10_problem_2__035.smt2.slack.smt2.6 unsat 0.37
v10_problem_2__035.smt2.slack.smt2.7 unsat 0.4
v10_problem_2__035.smt2.slack.smt2.8 unsat 0.41
v10_problem_2__035.smt2.slack.smt2.9 unsat 0.35
v10_problem__016.smt2.slack.smt2.1 unsat 0.43
v10_problem__016.smt2.slack.smt2.10 unsat 0.39
v10_problem__016.smt2.slack.smt2.2 unsat 0.36
v10_problem__016.smt2.slack.smt2.3 unsat 0.39
v10_problem__016.smt2.slack.smt2.4 unsat 0.42
v10_problem__016.smt2.slack.smt2.5 unsat 0.39
v10_problem__016.smt2.slack.smt2.6 unsat 0.38
v10_problem__016.smt2.slack.smt2.7 unsat 0.37
v10_problem__016.smt2.slack.smt2.8 unsat 0.37
v10_problem__016.smt2.slack.smt2.9 unsat 0.38
v10_problem__017.smt2.slack.smt2.1 unsat 0.49
v10_problem__017.smt2.slack.smt2.10 unsat 0.38
v10_problem__017.smt2.slack.smt2.2 unsat 0.48
v10_problem__017.smt2.slack.smt2.3 unsat 0.37
v10_problem__017.smt2.slack.smt2.4 unsat 0.39
v10_problem__017.smt2.slack.smt2.5 unsat 0.38
v10_problem__017.smt2.slack.smt2.6 unsat 0.36
v10_problem__017.smt2.slack.smt2.7 unsat 0.37
v10_problem__017.smt2.slack.smt2.8 unsat 0.4
v10_problem__017.smt2.slack.smt2.9 unsat 0.45
v10_problem__020.smt2.slack.smt2.1 unsat 0.34
v10_problem__020.smt2.slack.smt2.10 unsat 0.4
v10_problem__020.smt2.slack.smt2.2 unsat 0.39
v10_problem__020.smt2.slack.smt2.3 unsat 0.36
v10_problem__020.smt2.slack.smt2.4 unsat 0.35
v10_problem__020.smt2.slack.smt2.5 unsat 0.37
v10_problem__020.smt2.slack.smt2.6 unsat 0.42
v10_problem__020.smt2.slack.smt2.7 unsat 0.56
v10_problem__020.smt2.slack.smt2.8 unsat 0.42
v10_problem__020.smt2.slack.smt2.9 unsat 0.41
v10_problem__021.smt2.slack.smt2.1 unsat 0.35
v10_problem__021.smt2.slack.smt2.10 unsat 0.38
v10_problem__021.smt2.slack.smt2.2 unsat 0.36
v10_problem__021.smt2.slack.smt2.3 unsat 0.41
v10_problem__021.smt2.slack.smt2.4 unsat 0.42
v10_problem__021.smt2.slack.smt2.5 unsat 0.38
v10_problem__021.smt2.slack.smt2.6 unsat 0.36
v10_problem__021.smt2.slack.smt2.7 unsat 0.48
v10_problem__021.smt2.slack.smt2.8 unsat 0.4
v10_problem__021.smt2.slack.smt2.9 unsat 0.37
v10_problem__022.smt2.slack.smt2.1 unsat 0.4
v10_problem__022.smt2.slack.smt2.10 unsat 0.41
v10_problem__022.smt2.slack.smt2.2 unsat 0.38
v10_problem__022.smt2.slack.smt2.3 unsat 0.4
v10_problem__022.smt2.slack.smt2.4 unsat 0.41
v10_problem__022.smt2.slack.smt2.5 unsat 0.46
v10_problem__022.smt2.slack.smt2.6 unsat 0.39
v10_problem__022.smt2.slack.smt2.7 unsat 0.4
v10_problem__022.smt2.slack.smt2.8 unsat 0.39
v10_problem__022.smt2.slack.smt2.9 unsat 0.4
v10_problem__024.smt2.slack.smt2.1 unsat 0.44
v10_problem__024.smt2.slack.smt2.10 unsat 0.59
v10_problem__024.smt2.slack.smt2.2 unsat 0.39
v10_problem__024.smt2.slack.smt2.3 unsat 0.39
v10_problem__024.smt2.slack.smt2.4 unsat 0.41
v10_problem__024.smt2.slack.smt2.5 unsat 0.48
v10_problem__024.smt2.slack.smt2.6 unsat 0.48
v10_problem__024.smt2.slack.smt2.7 unsat 0.39
v10_problem__024.smt2.slack.smt2.8 unsat 0.43
v10_problem__024.smt2.slack.smt2.9 unsat NULL
v10_problem__025.smt2.slack.smt2.1 unsat 0.54
v10_problem__025.smt2.slack.smt2.10 unsat 0.42
v10_problem__025.smt2.slack.smt2.2 unsat 0.34
v10_problem__025.smt2.slack.smt2.3 unsat 0.34
v10_problem__025.smt2.slack.smt2.4 unsat 0.38
v10_problem__025.smt2.slack.smt2.5 unsat 0.42
v10_problem__025.smt2.slack.smt2.6 unsat 0.39
v10_problem__025.smt2.slack.smt2.7 unsat 0.42
v10_problem__025.smt2.slack.smt2.8 unsat 0.38
v10_problem__025.smt2.slack.smt2.9 unsat 0.46
v10_problem__026.smt2.slack.smt2.1 unsat 0.36
v10_problem__026.smt2.slack.smt2.10 unsat 0.42
v10_problem__026.smt2.slack.smt2.2 unsat 0.39
v10_problem__026.smt2.slack.smt2.3 unsat 0.39
v10_problem__026.smt2.slack.smt2.4 unsat 0.41
v10_problem__026.smt2.slack.smt2.5 unsat 0.38
v10_problem__026.smt2.slack.smt2.6 unsat 0.37
v10_problem__026.smt2.slack.smt2.7 unsat 0.36
v10_problem__026.smt2.slack.smt2.8 unsat 0.52
v10_problem__026.smt2.slack.smt2.9 unsat 0.39
v10_problem__027.smt2.slack.smt2.1 unsat 0.39
v10_problem__027.smt2.slack.smt2.10 unsat 0.36
v10_problem__027.smt2.slack.smt2.2 unsat 0.39
v10_problem__027.smt2.slack.smt2.3 unsat 0.35
v10_problem__027.smt2.slack.smt2.4 unsat 0.36
v10_problem__027.smt2.slack.smt2.5 unsat 0.4
v10_problem__027.smt2.slack.smt2.6 unsat 0.41
v10_problem__027.smt2.slack.smt2.7 unsat 0.44
v10_problem__027.smt2.slack.smt2.8 unsat 0.45
v10_problem__027.smt2.slack.smt2.9 unsat 0.39
v10_problem__028.smt2.slack.smt2.1 unsat 0.42
v10_problem__028.smt2.slack.smt2.10 unsat 0.49
v10_problem__028.smt2.slack.smt2.2 unsat 0.48
v10_problem__028.smt2.slack.smt2.3 unsat 0.4
v10_problem__028.smt2.slack.smt2.4 unsat 0.43
v10_problem__028.smt2.slack.smt2.5 unsat NULL
v10_problem__028.smt2.slack.smt2.6 unsat 0.48
v10_problem__028.smt2.slack.smt2.7 unsat 0.38
v10_problem__028.smt2.slack.smt2.8 unsat 0.46
v10_problem__028.smt2.slack.smt2.9 unsat 0.44
v10_problem__029.smt2.slack.smt2.1 unsat 0.42
v10_problem__029.smt2.slack.smt2.10 unsat 0.49
v10_problem__029.smt2.slack.smt2.2 unsat 0.41
v10_problem__029.smt2.slack.smt2.3 unsat 0.42
v10_problem__029.smt2.slack.smt2.4 unsat 0.41
v10_problem__029.smt2.slack.smt2.5 unsat 0.49
v10_problem__029.smt2.slack.smt2.6 unsat 0.52
v10_problem__029.smt2.slack.smt2.7 unsat 0.4
v10_problem__029.smt2.slack.smt2.8 unsat 0.35
v10_problem__029.smt2.slack.smt2.9 unsat 0.37
v10_problem__030.smt2.slack.smt2.1 unsat 0.38
v10_problem__030.smt2.slack.smt2.10 unsat 0.37
v10_problem__030.smt2.slack.smt2.2 unsat 0.4
v10_problem__030.smt2.slack.smt2.3 unsat 0.55
v10_problem__030.smt2.slack.smt2.4 unsat 0.53
v10_problem__030.smt2.slack.smt2.5 unsat 0.37
v10_problem__030.smt2.slack.smt2.6 unsat 0.35
v10_problem__030.smt2.slack.smt2.7 unsat 0.38
v10_problem__030.smt2.slack.smt2.8 unsat 0.45
v10_problem__030.smt2.slack.smt2.9 unsat 0.38
v10_problem__031.smt2.slack.smt2.1 unsat 0.38
v10_problem__031.smt2.slack.smt2.10 unsat 0.56
v10_problem__031.smt2.slack.smt2.2 unsat 0.39
v10_problem__031.smt2.slack.smt2.3 unsat 0.4
v10_problem__031.smt2.slack.smt2.4 unsat 0.45
v10_problem__031.smt2.slack.smt2.5 unsat 0.4
v10_problem__031.smt2.slack.smt2.6 unsat 0.39
v10_problem__031.smt2.slack.smt2.7 unsat 0.35
v10_problem__031.smt2.slack.smt2.8 unsat 0.4
v10_problem__031.smt2.slack.smt2.9 unsat 0.4
v10_problem__032.smt2.slack.smt2.1 unsat 0.42
v10_problem__032.smt2.slack.smt2.10 unsat 0.45
v10_problem__032.smt2.slack.smt2.2 unsat 0.49
v10_problem__032.smt2.slack.smt2.3 unsat 0.49
v10_problem__032.smt2.slack.smt2.4 unsat 0.43
v10_problem__032.smt2.slack.smt2.5 unsat 0.45
v10_problem__032.smt2.slack.smt2.6 unsat 0.57
v10_problem__032.smt2.slack.smt2.7 unsat 0.49
v10_problem__032.smt2.slack.smt2.8 unsat 0.4
v10_problem__032.smt2.slack.smt2.9 unsat 0.48
v10_problem__034.smt2.slack.smt2.1 unsat 0.35
v10_problem__034.smt2.slack.smt2.10 unsat 0.46
v10_problem__034.smt2.slack.smt2.2 unsat 0.49
v10_problem__034.smt2.slack.smt2.3 unsat 0.37
v10_problem__034.smt2.slack.smt2.4 unsat 0.64
v10_problem__034.smt2.slack.smt2.5 unsat 0.44
v10_problem__034.smt2.slack.smt2.6 unsat 0.43
v10_problem__034.smt2.slack.smt2.7 unsat 0.4
v10_problem__034.smt2.slack.smt2.8 unsat 0.37
v10_problem__034.smt2.slack.smt2.9 unsat 0.36
v10_problem__035.smt2.slack.smt2.1 unsat 0.46
v10_problem__035.smt2.slack.smt2.10 unsat 0.42
v10_problem__035.smt2.slack.smt2.2 unsat 0.41
v10_problem__035.smt2.slack.smt2.3 unsat 0.38
v10_problem__035.smt2.slack.smt2.4 unsat 0.39
v10_problem__035.smt2.slack.smt2.5 unsat 0.58
v10_problem__035.smt2.slack.smt2.6 unsat 0.42
v10_problem__035.smt2.slack.smt2.7 unsat 0.42
v10_problem__035.smt2.slack.smt2.8 unsat 0.49
v10_problem__035.smt2.slack.smt2.9 unsat 0.38
v15_problem_2__011.smt2.slack.smt2.1 unsat 0.45
v15_problem_2__011.smt2.slack.smt2.10 unsat 0.5
v15_problem_2__011.smt2.slack.smt2.2 unsat 0.48
v15_problem_2__011.smt2.slack.smt2.3 unsat 0.47
v15_problem_2__011.smt2.slack.smt2.4 unsat 0.66
v15_problem_2__011.smt2.slack.smt2.5 unsat 0.5
v15_problem_2__011.smt2.slack.smt2.6 unsat 0.6
v15_problem_2__011.smt2.slack.smt2.7 unsat 0.48
v15_problem_2__011.smt2.slack.smt2.8 unsat 0.49
v15_problem_2__011.smt2.slack.smt2.9 unsat 0.48
v15_problem_2__019.smt2.slack.smt2.1 unsat 0.61
v15_problem_2__019.smt2.slack.smt2.10 unsat 0.55
v15_problem_2__019.smt2.slack.smt2.2 unsat 0.54
v15_problem_2__019.smt2.slack.smt2.3 unsat 0.54
v15_problem_2__019.smt2.slack.smt2.4 unsat 0.53
v15_problem_2__019.smt2.slack.smt2.5 unsat 0.56
v15_problem_2__019.smt2.slack.smt2.6 unsat 0.61
v15_problem_2__019.smt2.slack.smt2.7 unsat 0.53
v15_problem_2__019.smt2.slack.smt2.8 unsat 0.48
v15_problem_2__019.smt2.slack.smt2.9 unsat 0.56
v15_problem_2__020.smt2.slack.smt2.1 unsat 0.48
v15_problem_2__020.smt2.slack.smt2.10 unsat 0.5
v15_problem_2__020.smt2.slack.smt2.2 unsat 0.5
v15_problem_2__020.smt2.slack.smt2.3 unsat 0.58
v15_problem_2__020.smt2.slack.smt2.4 unsat 0.68
v15_problem_2__020.smt2.slack.smt2.5 unsat 0.49
v15_problem_2__020.smt2.slack.smt2.6 unsat 0.5
v15_problem_2__020.smt2.slack.smt2.7 unsat 0.44
v15_problem_2__020.smt2.slack.smt2.8 unsat 0.48
v15_problem_2__020.smt2.slack.smt2.9 unsat 0.63
v15_problem_2__021.smt2.slack.smt2.1 unsat 0.75
v15_problem_2__021.smt2.slack.smt2.10 unsat 0.7
v15_problem_2__021.smt2.slack.smt2.2 unsat 0.66
v15_problem_2__021.smt2.slack.smt2.3 unsat 0.87
v15_problem_2__021.smt2.slack.smt2.4 unsat 0.75
v15_problem_2__021.smt2.slack.smt2.5 unsat 0.75
v15_problem_2__021.smt2.slack.smt2.6 unsat 0.76
v15_problem_2__021.smt2.slack.smt2.7 unsat 0.86
v15_problem_2__021.smt2.slack.smt2.8 unsat 0.66
v15_problem_2__021.smt2.slack.smt2.9 unsat 0.68
v15_problem_2__022.smt2.slack.smt2.1 unsat 0.7
v15_problem_2__022.smt2.slack.smt2.10 unsat 0.48
v15_problem_2__022.smt2.slack.smt2.2 unsat 0.51
v15_problem_2__022.smt2.slack.smt2.3 unsat 0.47
v15_problem_2__022.smt2.slack.smt2.4 unsat 0.51
v15_problem_2__022.smt2.slack.smt2.5 unsat 0.47
v15_problem_2__022.smt2.slack.smt2.6 unsat 0.47
v15_problem_2__022.smt2.slack.smt2.7 unsat 0.49
v15_problem_2__022.smt2.slack.smt2.8 unsat 0.46
v15_problem_2__022.smt2.slack.smt2.9 unsat 0.6
v15_problem_2__024.smt2.slack.smt2.1 unsat 0.63
v15_problem_2__024.smt2.slack.smt2.10 unsat 0.58
v15_problem_2__024.smt2.slack.smt2.2 unsat 0.56
v15_problem_2__024.smt2.slack.smt2.3 unsat 0.87
v15_problem_2__024.smt2.slack.smt2.4 unsat 0.63
v15_problem_2__024.smt2.slack.smt2.5 unsat 0.6
v15_problem_2__024.smt2.slack.smt2.6 unsat 0.61
v15_problem_2__024.smt2.slack.smt2.7 unsat 0.6
v15_problem_2__024.smt2.slack.smt2.8 unsat 0.58
v15_problem_2__024.smt2.slack.smt2.9 unsat 0.64
v15_problem_2__025.smt2.slack.smt2.1 unsat 10.6
v15_problem_2__025.smt2.slack.smt2.2 unsat 14.54
v15_problem_2__025.smt2.slack.smt2.3 unsat 20.24
v15_problem_2__025.smt2.slack.smt2.4 unsat 331.85
v15_problem_2__025.smt2.slack.smt2.5 unsat 118.31
v15_problem_2__025.smt2.slack.smt2.8 unsat 48.19
v15_problem_2__025.smt2.slack.smt2.9 unsat 94.88
v15_problem__016.smt2.slack.smt2.1 unsat 0.48
v15_problem__016.smt2.slack.smt2.10 unsat 0.47
v15_problem__016.smt2.slack.smt2.2 unsat 0.46
v15_problem__016.smt2.slack.smt2.3 unsat 0.54
v15_problem__016.smt2.slack.smt2.4 unsat 0.5
v15_problem__016.smt2.slack.smt2.5 unsat 0.43
v15_problem__016.smt2.slack.smt2.6 unsat 0.43
v15_problem__016.smt2.slack.smt2.7 unsat 0.43
v15_problem__016.smt2.slack.smt2.8 unsat 0.58
v15_problem__016.smt2.slack.smt2.9 unsat 0.44
v15_problem__022.smt2.slack.smt2.1 unsat 0.5
v15_problem__022.smt2.slack.smt2.10 unsat 0.46
v15_problem__022.smt2.slack.smt2.2 unsat 0.49
v15_problem__022.smt2.slack.smt2.3 unsat 0.58
v15_problem__022.smt2.slack.smt2.4 unsat 0.47
v15_problem__022.smt2.slack.smt2.5 unsat 0.43
v15_problem__022.smt2.slack.smt2.6 unsat 0.47
v15_problem__022.smt2.slack.smt2.7 unsat 0.49
v15_problem__022.smt2.slack.smt2.8 unsat 0.47
v15_problem__022.smt2.slack.smt2.9 unsat 0.45
v15_problem__023.smt2.slack.smt2.1 unsat 0.45
v15_problem__023.smt2.slack.smt2.10 unsat 0.42
v15_problem__023.smt2.slack.smt2.2 unsat 0.51
v15_problem__023.smt2.slack.smt2.3 unsat 0.56
v15_problem__023.smt2.slack.smt2.4 unsat 0.46
v15_problem__023.smt2.slack.smt2.5 unsat 0.63
v15_problem__023.smt2.slack.smt2.6 unsat 0.56
v15_problem__023.smt2.slack.smt2.7 unsat 0.52
v15_problem__023.smt2.slack.smt2.8 unsat 0.48
v15_problem__023.smt2.slack.smt2.9 unsat 0.44
v15_problem__024.smt2.slack.smt2.1 unsat 0.64
v15_problem__024.smt2.slack.smt2.10 unsat 0.71
v15_problem__024.smt2.slack.smt2.2 unsat 0.57
v15_problem__024.smt2.slack.smt2.3 unsat 0.64
v15_problem__024.smt2.slack.smt2.4 unsat 0.63
v15_problem__024.smt2.slack.smt2.5 unsat 0.63
v15_problem__024.smt2.slack.smt2.6 unsat 0.77
v15_problem__024.smt2.slack.smt2.7 unsat 0.65
v15_problem__024.smt2.slack.smt2.8 unsat 0.59
v15_problem__024.smt2.slack.smt2.9 unsat 0.62
v15_problem__025.smt2.slack.smt2.1 unsat 0.49
v15_problem__025.smt2.slack.smt2.10 unsat 0.54
v15_problem__025.smt2.slack.smt2.2 unsat 0.5
v15_problem__025.smt2.slack.smt2.3 unsat 0.52
v15_problem__025.smt2.slack.smt2.4 unsat 0.58
v15_problem__025.smt2.slack.smt2.5 unsat 0.53
v15_problem__025.smt2.slack.smt2.6 unsat 0.53
v15_problem__025.smt2.slack.smt2.7 unsat 0.52
v15_problem__025.smt2.slack.smt2.8 unsat 0.56
v15_problem__025.smt2.slack.smt2.9 unsat 0.5
v20_problem_2__026.smt2.slack.smt2.1 unsat 1.73
v20_problem_2__026.smt2.slack.smt2.10 unsat 1.54
v20_problem_2__026.smt2.slack.smt2.2 unsat 1.43
v20_problem_2__026.smt2.slack.smt2.3 unsat 1.8
v20_problem_2__026.smt2.slack.smt2.4 unsat 1.47
v20_problem_2__026.smt2.slack.smt2.5 unsat 1.57
v20_problem_2__026.smt2.slack.smt2.6 unsat 1.64
v20_problem_2__026.smt2.slack.smt2.7 unsat 1.52
v20_problem_2__026.smt2.slack.smt2.8 unsat 1.58
v20_problem_2__026.smt2.slack.smt2.9 unsat 1.53
v20_problem_2__027.smt2.slack.smt2.1 unsat 0.93
v20_problem_2__027.smt2.slack.smt2.10 unsat 0.9
v20_problem_2__027.smt2.slack.smt2.2 unsat 0.99
v20_problem_2__027.smt2.slack.smt2.3 unsat 0.88
v20_problem_2__027.smt2.slack.smt2.4 unsat 0.87
v20_problem_2__027.smt2.slack.smt2.5 unsat 1.02
v20_problem_2__027.smt2.slack.smt2.6 unsat 0.91
v20_problem_2__027.smt2.slack.smt2.7 unsat 0.89
v20_problem_2__027.smt2.slack.smt2.8 unsat 0.83
v20_problem_2__027.smt2.slack.smt2.9 unsat 0.87
v20_problem_2__030.smt2.slack.smt2.1 unsat 1.31
v20_problem_2__030.smt2.slack.smt2.10 unsat 1.24
v20_problem_2__030.smt2.slack.smt2.2 unsat 1.5
v20_problem_2__030.smt2.slack.smt2.3 unsat 1.27
v20_problem_2__030.smt2.slack.smt2.4 unsat 1.33
v20_problem_2__030.smt2.slack.smt2.5 unsat 1.32
v20_problem_2__030.smt2.slack.smt2.6 unsat 1.43
v20_problem_2__030.smt2.slack.smt2.7 unsat 1.49
v20_problem_2__030.smt2.slack.smt2.8 unsat 1.28
v20_problem_2__030.smt2.slack.smt2.9 unsat 1.29
v20_problem_2__031.smt2.slack.smt2.1 unsat 1.4
v20_problem_2__031.smt2.slack.smt2.10 unsat 1.53
v20_problem_2__031.smt2.slack.smt2.2 unsat 1.72
v20_problem_2__031.smt2.slack.smt2.3 unsat 1.54
v20_problem_2__031.smt2.slack.smt2.4 unsat 1.52
v20_problem_2__031.smt2.slack.smt2.5 unsat 1.41
v20_problem_2__031.smt2.slack.smt2.6 unsat 1.66
v20_problem_2__031.smt2.slack.smt2.7 unsat 1.51
v20_problem_2__031.smt2.slack.smt2.8 unsat NULL
v20_problem_2__031.smt2.slack.smt2.9 unsat 1.49
v20_problem_2__032.smt2.slack.smt2.1 unsat 0.67
v20_problem_2__032.smt2.slack.smt2.10 unsat 0.64
v20_problem_2__032.smt2.slack.smt2.2 unsat 0.72
v20_problem_2__032.smt2.slack.smt2.3 unsat 0.81
v20_problem_2__032.smt2.slack.smt2.4 unsat 0.74
v20_problem_2__032.smt2.slack.smt2.5 unsat 0.76
v20_problem_2__032.smt2.slack.smt2.6 unsat 0.73
v20_problem_2__032.smt2.slack.smt2.7 unsat 0.83
v20_problem_2__032.smt2.slack.smt2.8 unsat 0.89
v20_problem_2__032.smt2.slack.smt2.9 unsat 0.73
v20_problem_2__033.smt2.slack.smt2.1 unsat 1.31
v20_problem_2__033.smt2.slack.smt2.10 unsat 1.45
v20_problem_2__033.smt2.slack.smt2.2 unsat 1.56
v20_problem_2__033.smt2.slack.smt2.3 unsat 1.43
v20_problem_2__033.smt2.slack.smt2.4 unsat 1.35
v20_problem_2__033.smt2.slack.smt2.5 unsat 1.42
v20_problem_2__033.smt2.slack.smt2.6 unsat 1.45
v20_problem_2__033.smt2.slack.smt2.7 unsat 1.48
v20_problem_2__033.smt2.slack.smt2.8 unsat 1.59
v20_problem_2__033.smt2.slack.smt2.9 unsat 1.3
v20_problem_2__034.smt2.slack.smt2.1 unsat 1.2
v20_problem_2__034.smt2.slack.smt2.10 unsat 1.27
v20_problem_2__034.smt2.slack.smt2.2 unsat 1.2
v20_problem_2__034.smt2.slack.smt2.3 unsat 1.15
v20_problem_2__034.smt2.slack.smt2.4 unsat 1.22
v20_problem_2__034.smt2.slack.smt2.5 unsat 1.25
v20_problem_2__034.smt2.slack.smt2.6 unsat 1.23
v20_problem_2__034.smt2.slack.smt2.7 unsat 1.25
v20_problem_2__034.smt2.slack.smt2.8 unsat 1.22
v20_problem_2__034.smt2.slack.smt2.9 unsat 1.21
v20_problem__016.smt2.slack.smt2.1 unsat 0.58
v20_problem__016.smt2.slack.smt2.10 unsat 0.7
v20_problem__016.smt2.slack.smt2.2 unsat 0.53
v20_problem__016.smt2.slack.smt2.3 unsat 0.58
v20_problem__016.smt2.slack.smt2.4 unsat 0.66
v20_problem__016.smt2.slack.smt2.5 unsat 0.57
v20_problem__016.smt2.slack.smt2.6 unsat 0.68
v20_problem__016.smt2.slack.smt2.7 unsat 0.57
v20_problem__016.smt2.slack.smt2.8 unsat 0.7
v20_problem__016.smt2.slack.smt2.9 unsat 0.55
v20_problem__018.smt2.slack.smt2.1 unsat 1.03
v20_problem__018.smt2.slack.smt2.10 unsat 1
v20_problem__018.smt2.slack.smt2.2 unsat 1.07
v20_problem__018.smt2.slack.smt2.3 unsat 1.05
v20_problem__018.smt2.slack.smt2.4 unsat 0.96
v20_problem__018.smt2.slack.smt2.5 unsat 0.96
v20_problem__018.smt2.slack.smt2.6 unsat 1.02
v20_problem__018.smt2.slack.smt2.7 unsat 0.94
v20_problem__018.smt2.slack.smt2.8 unsat 1.08
v20_problem__018.smt2.slack.smt2.9 unsat 1.07
v20_problem__023.smt2.slack.smt2.1 unsat 0.54
v20_problem__023.smt2.slack.smt2.10 unsat 0.53
v20_problem__023.smt2.slack.smt2.2 unsat 0.56
v20_problem__023.smt2.slack.smt2.3 unsat 0.56
v20_problem__023.smt2.slack.smt2.4 unsat 0.53
v20_problem__023.smt2.slack.smt2.5 unsat 0.56
v20_problem__023.smt2.slack.smt2.6 unsat 0.59
v20_problem__023.smt2.slack.smt2.7 unsat 0.63
v20_problem__023.smt2.slack.smt2.8 unsat 0.52
v20_problem__023.smt2.slack.smt2.9 unsat 0.55
v20_problem__025.smt2.slack.smt2.1 unsat 1.24
v20_problem__025.smt2.slack.smt2.10 unsat 1.31
v20_problem__025.smt2.slack.smt2.2 unsat 1.33
v20_problem__025.smt2.slack.smt2.3 unsat 1.33
v20_problem__025.smt2.slack.smt2.4 unsat 1.47
v20_problem__025.smt2.slack.smt2.5 unsat 1.25
v20_problem__025.smt2.slack.smt2.6 unsat 1.39
v20_problem__025.smt2.slack.smt2.7 unsat 1.3
v20_problem__025.smt2.slack.smt2.8 unsat 1.38
v20_problem__025.smt2.slack.smt2.9 unsat 2.19
v20_problem__027.smt2.slack.smt2.1 unsat 1.09
v20_problem__027.smt2.slack.smt2.10 unsat 1.12
v20_problem__027.smt2.slack.smt2.2 unsat 1.22
v20_problem__027.smt2.slack.smt2.3 unsat 1.19
v20_problem__027.smt2.slack.smt2.4 unsat 1.13
v20_problem__027.smt2.slack.smt2.5 unsat 1.19
v20_problem__027.smt2.slack.smt2.6 unsat 1.14
v20_problem__027.smt2.slack.smt2.7 unsat 1.14
v20_problem__027.smt2.slack.smt2.8 unsat 1.08
v20_problem__027.smt2.slack.smt2.9 unsat 1.15
v20_problem__029.smt2.slack.smt2.1 unsat 1.34
v20_problem__029.smt2.slack.smt2.10 unsat 1.29
v20_problem__029.smt2.slack.smt2.2 unsat 1.33
v20_problem__029.smt2.slack.smt2.3 unsat 1.48
v20_problem__029.smt2.slack.smt2.4 unsat 1.29
v20_problem__029.smt2.slack.smt2.5 unsat 1.4
v20_problem__029.smt2.slack.smt2.6 unsat 1.33
v20_problem__029.smt2.slack.smt2.7 unsat NULL
v20_problem__029.smt2.slack.smt2.8 unsat 1.31
v20_problem__029.smt2.slack.smt2.9 unsat 1.4
v20_problem__031.smt2.slack.smt2.1 unsat 1.63
v20_problem__031.smt2.slack.smt2.10 unsat 1.47
v20_problem__031.smt2.slack.smt2.2 unsat 1.51
v20_problem__031.smt2.slack.smt2.3 unsat 1.6
v20_problem__031.smt2.slack.smt2.4 unsat 1.46
v20_problem__031.smt2.slack.smt2.5 unsat 1.56
v20_problem__031.smt2.slack.smt2.6 unsat 1.49
v20_problem__031.smt2.slack.smt2.7 unsat 1.51
v20_problem__031.smt2.slack.smt2.8 unsat 1.39
v20_problem__031.smt2.slack.smt2.9 unsat 1.41
v20_problem__032.smt2.slack.smt2.1 unsat 1.57
v20_problem__032.smt2.slack.smt2.10 unsat 1.71
v20_problem__032.smt2.slack.smt2.2 unsat 1.81
v20_problem__032.smt2.slack.smt2.3 unsat 1.69
v20_problem__032.smt2.slack.smt2.4 unsat 1.78
v20_problem__032.smt2.slack.smt2.5 unsat 1.66
v20_problem__032.smt2.slack.smt2.6 unsat 1.7
v20_problem__032.smt2.slack.smt2.7 unsat 1.61
v20_problem__032.smt2.slack.smt2.8 unsat 1.65
v20_problem__032.smt2.slack.smt2.9 unsat 1.69
v20_problem__033.smt2.slack.smt2.1 unsat 1.22
v20_problem__033.smt2.slack.smt2.10 unsat 1.15
v20_problem__033.smt2.slack.smt2.2 unsat 1.11
v20_problem__033.smt2.slack.smt2.3 unsat 1.23
v20_problem__033.smt2.slack.smt2.4 unsat 1.29
v20_problem__033.smt2.slack.smt2.5 unsat 1.17
v20_problem__033.smt2.slack.smt2.6 unsat 1.19
v20_problem__033.smt2.slack.smt2.7 unsat 1.23
v20_problem__033.smt2.slack.smt2.8 unsat 1.18
v20_problem__033.smt2.slack.smt2.9 unsat 1.73
v20_problem__034.smt2.slack.smt2.1 unsat 1.55
v20_problem__034.smt2.slack.smt2.10 unsat 1.69
v20_problem__034.smt2.slack.smt2.2 unsat 1.48
v20_problem__034.smt2.slack.smt2.3 unsat 1.69
v20_problem__034.smt2.slack.smt2.4 unsat 1.56
v20_problem__034.smt2.slack.smt2.5 unsat 1.83
v20_problem__034.smt2.slack.smt2.6 unsat 1.62
v20_problem__034.smt2.slack.smt2.7 unsat 1.4
v20_problem__034.smt2.slack.smt2.8 unsat 1.55
v20_problem__034.smt2.slack.smt2.9 unsat 1.51
v20_problem__035.smt2.slack.smt2.1 unsat 0.61
v20_problem__035.smt2.slack.smt2.10 unsat 0.63
v20_problem__035.smt2.slack.smt2.2 unsat 0.62
v20_problem__035.smt2.slack.smt2.3 unsat 0.64
v20_problem__035.smt2.slack.smt2.4 unsat 0.63
v20_problem__035.smt2.slack.smt2.5 unsat 0.61
v20_problem__035.smt2.slack.smt2.6 unsat 0.67
v20_problem__035.smt2.slack.smt2.7 unsat 0.63
v20_problem__035.smt2.slack.smt2.8 unsat 0.6
v20_problem__035.smt2.slack.smt2.9 unsat 0.65
v25_problem_2__029.smt2.slack.smt2.1 unsat 1.27
v25_problem_2__029.smt2.slack.smt2.10 unsat 0.92
v25_problem_2__029.smt2.slack.smt2.2 unsat 0.91
v25_problem_2__029.smt2.slack.smt2.3 unsat 1.05
v25_problem_2__029.smt2.slack.smt2.4 unsat 1.07
v25_problem_2__029.smt2.slack.smt2.5 unsat 0.97
v25_problem_2__029.smt2.slack.smt2.6 unsat 1.18
v25_problem_2__029.smt2.slack.smt2.7 unsat 1.03
v25_problem_2__029.smt2.slack.smt2.8 unsat 0.9
v25_problem_2__029.smt2.slack.smt2.9 unsat 1.08
v25_problem_2__031.smt2.slack.smt2.1 unsat 1.77
v25_problem_2__031.smt2.slack.smt2.10 unsat 1.67
v25_problem_2__031.smt2.slack.smt2.2 unsat 1.55
v25_problem_2__031.smt2.slack.smt2.3 unsat 1.75
v25_problem_2__031.smt2.slack.smt2.4 unsat 1.71
v25_problem_2__031.smt2.slack.smt2.5 unsat 1.71
v25_problem_2__031.smt2.slack.smt2.6 unsat 1.66
v25_problem_2__031.smt2.slack.smt2.7 unsat 1.74
v25_problem_2__031.smt2.slack.smt2.8 unsat 1.53
v25_problem_2__031.smt2.slack.smt2.9 unsat 1.56
v25_problem_2__033.smt2.slack.smt2.1 unsat 1.58
v25_problem_2__033.smt2.slack.smt2.10 unsat 1.74
v25_problem_2__033.smt2.slack.smt2.2 unsat 1.78
v25_problem_2__033.smt2.slack.smt2.3 unsat 1.52
v25_problem_2__033.smt2.slack.smt2.4 unsat 1.79
v25_problem_2__033.smt2.slack.smt2.5 unsat 1.67
v25_problem_2__033.smt2.slack.smt2.6 unsat 1.6
v25_problem_2__033.smt2.slack.smt2.7 unsat 1.59
v25_problem_2__033.smt2.slack.smt2.8 unsat 1.51
v25_problem_2__033.smt2.slack.smt2.9 unsat 1.73
v25_problem__032.smt2.slack.smt2.1 unsat 1.49
v25_problem__032.smt2.slack.smt2.10 unsat 1.8
v25_problem__032.smt2.slack.smt2.2 unsat 1.61
v25_problem__032.smt2.slack.smt2.3 unsat 1.6
v25_problem__032.smt2.slack.smt2.4 unsat 1.59
v25_problem__032.smt2.slack.smt2.5 unsat 1.57
v25_problem__032.smt2.slack.smt2.6 unsat 1.6
v25_problem__032.smt2.slack.smt2.7 unsat 1.73
v25_problem__032.smt2.slack.smt2.8 unsat 1.53
v25_problem__032.smt2.slack.smt2.9 unsat 1.47
v25_problem__034.smt2.slack.smt2.1 unsat 1.6
v25_problem__034.smt2.slack.smt2.10 unsat 1.61
v25_problem__034.smt2.slack.smt2.2 unsat 1.66
v25_problem__034.smt2.slack.smt2.3 unsat 1.64
v25_problem__034.smt2.slack.smt2.4 unsat 1.74
v25_problem__034.smt2.slack.smt2.5 unsat 1.71
v25_problem__034.smt2.slack.smt2.6 unsat 1.67
v25_problem__034.smt2.slack.smt2.7 unsat 1.51
v25_problem__034.smt2.slack.smt2.8 unsat 1.74
v25_problem__034.smt2.slack.smt2.9 unsat 1.54
v30_problem__032.smt2.slack.smt2.1 unsat 3
v30_problem__032.smt2.slack.smt2.10 unsat 2.86
v30_problem__032.smt2.slack.smt2.2 unsat 3.04
v30_problem__032.smt2.slack.smt2.3 unsat 3.11
v30_problem__032.smt2.slack.smt2.4 unsat 3.43
v30_problem__032.smt2.slack.smt2.5 unsat 2.99
v30_problem__032.smt2.slack.smt2.6 unsat 3.14
v30_problem__032.smt2.slack.smt2.7 unsat 3.17
v30_problem__032.smt2.slack.smt2.8 unsat 3.07
v30_problem__032.smt2.slack.smt2.9 unsat 2.9