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 |