problem result overall_time
c100_problem__006.smt2.slack.smt2.1 unsat 0.54
c100_problem__006.smt2.slack.smt2.10 unsat 0.6
c100_problem__006.smt2.slack.smt2.2 unsat 0.59
c100_problem__006.smt2.slack.smt2.3 unsat 0.53
c100_problem__006.smt2.slack.smt2.4 unsat 0.49
c100_problem__006.smt2.slack.smt2.5 unsat 0.56
c100_problem__006.smt2.slack.smt2.6 unsat 0.53
c100_problem__006.smt2.slack.smt2.7 unsat 0.58
c100_problem__006.smt2.slack.smt2.8 unsat 0.56
c100_problem__006.smt2.slack.smt2.9 unsat 0.61
c10_problem__002.smt2.slack.smt2.1 unsat 0.52
c10_problem__002.smt2.slack.smt2.10 unsat 0.42
c10_problem__002.smt2.slack.smt2.2 unsat 0.55
c10_problem__002.smt2.slack.smt2.3 unsat 0.54
c10_problem__002.smt2.slack.smt2.4 unsat 0.48
c10_problem__002.smt2.slack.smt2.5 unsat 0.5
c10_problem__002.smt2.slack.smt2.6 unsat 0.45
c10_problem__002.smt2.slack.smt2.7 unsat 0.59
c10_problem__002.smt2.slack.smt2.8 unsat 0.49
c10_problem__002.smt2.slack.smt2.9 unsat 0.55
c20_problem__004.smt2.slack.smt2.1 unsat 0.57
c20_problem__004.smt2.slack.smt2.10 unsat 0.57
c20_problem__004.smt2.slack.smt2.2 unsat 0.51
c20_problem__004.smt2.slack.smt2.3 unsat 0.54
c20_problem__004.smt2.slack.smt2.4 unsat 0.57
c20_problem__004.smt2.slack.smt2.5 unsat 0.54
c20_problem__004.smt2.slack.smt2.6 unsat 0.53
c20_problem__004.smt2.slack.smt2.7 unsat 0.54
c20_problem__004.smt2.slack.smt2.8 unsat 0.59
c20_problem__004.smt2.slack.smt2.9 unsat 0.49
c30_problem__006.smt2.slack.smt2.1 unsat 0.55
c30_problem__006.smt2.slack.smt2.10 unsat 0.45
c30_problem__006.smt2.slack.smt2.2 unsat 0.51
c30_problem__006.smt2.slack.smt2.3 unsat 0.49
c30_problem__006.smt2.slack.smt2.4 unsat 0.49
c30_problem__006.smt2.slack.smt2.5 unsat 0.49
c30_problem__006.smt2.slack.smt2.6 unsat 0.48
c30_problem__006.smt2.slack.smt2.7 unsat 0.45
c30_problem__006.smt2.slack.smt2.8 unsat 0.51
c30_problem__006.smt2.slack.smt2.9 unsat 0.55
c40_problem__002.smt2.slack.smt2.1 unsat 0.58
c40_problem__002.smt2.slack.smt2.10 unsat 0.55
c40_problem__002.smt2.slack.smt2.2 unsat 0.52
c40_problem__002.smt2.slack.smt2.3 unsat 0.51
c40_problem__002.smt2.slack.smt2.4 unsat 0.59
c40_problem__002.smt2.slack.smt2.5 unsat 0.57
c40_problem__002.smt2.slack.smt2.6 unsat 0.51
c40_problem__002.smt2.slack.smt2.7 unsat 0.47
c40_problem__002.smt2.slack.smt2.8 unsat 0.55
c40_problem__002.smt2.slack.smt2.9 unsat 0.57
c50_problem__002.smt2.slack.smt2.1 unsat 0.56
c50_problem__002.smt2.slack.smt2.10 unsat 0.59
c50_problem__002.smt2.slack.smt2.2 unsat 0.6
c50_problem__002.smt2.slack.smt2.3 unsat 0.57
c50_problem__002.smt2.slack.smt2.4 unsat 0.68
c50_problem__002.smt2.slack.smt2.5 unsat 0.57
c50_problem__002.smt2.slack.smt2.6 unsat 0.56
c50_problem__002.smt2.slack.smt2.7 unsat 0.48
c50_problem__002.smt2.slack.smt2.8 unsat 0.6
c50_problem__002.smt2.slack.smt2.9 unsat 0.63
c50_problem__006.smt2.slack.smt2.1 unsat 0.48
c50_problem__006.smt2.slack.smt2.10 unsat 0.55
c50_problem__006.smt2.slack.smt2.2 unsat 0.61
c50_problem__006.smt2.slack.smt2.3 unsat 0.64
c50_problem__006.smt2.slack.smt2.4 unsat 0.61
c50_problem__006.smt2.slack.smt2.5 unsat 0.56
c50_problem__006.smt2.slack.smt2.6 unsat 0.59
c50_problem__006.smt2.slack.smt2.7 unsat 0.62
c50_problem__006.smt2.slack.smt2.8 unsat 0.54
c50_problem__006.smt2.slack.smt2.9 unsat 0.58
c90_problem__005.smt2.slack.smt2.1 unsat 0.51
c90_problem__005.smt2.slack.smt2.10 unsat 0.55
c90_problem__005.smt2.slack.smt2.2 unsat 0.5
c90_problem__005.smt2.slack.smt2.3 unsat 0.51
c90_problem__005.smt2.slack.smt2.4 unsat 0.54
c90_problem__005.smt2.slack.smt2.5 unsat 0.44
c90_problem__005.smt2.slack.smt2.6 unsat 0.51
c90_problem__005.smt2.slack.smt2.7 unsat 0.51
c90_problem__005.smt2.slack.smt2.8 unsat 0.48
c90_problem__005.smt2.slack.smt2.9 unsat 0.46