problem |
result |
overall_time |
c10_problem__003.smt2.slack.smt2.1 |
sat |
4.69 |
c100_problem__006.smt2.slack.smt2.1 |
unsat |
0.07 |
c100_problem__006.smt2.slack.smt2.10 |
unsat |
0.19 |
c100_problem__006.smt2.slack.smt2.2 |
unsat |
0.12 |
c100_problem__006.smt2.slack.smt2.3 |
unsat |
0.14 |
c100_problem__006.smt2.slack.smt2.4 |
unsat |
0.13 |
c100_problem__006.smt2.slack.smt2.5 |
unsat |
0.06 |
c100_problem__006.smt2.slack.smt2.6 |
unsat |
0.12 |
c100_problem__006.smt2.slack.smt2.7 |
unsat |
0.11 |
c100_problem__006.smt2.slack.smt2.8 |
unsat |
0.1 |
c100_problem__006.smt2.slack.smt2.9 |
unsat |
0.06 |
c10_problem__002.smt2.slack.smt2.1 |
unsat |
0.04 |
c10_problem__002.smt2.slack.smt2.10 |
unsat |
0.05 |
c10_problem__002.smt2.slack.smt2.2 |
unsat |
0.06 |
c10_problem__002.smt2.slack.smt2.3 |
unsat |
0.04 |
c10_problem__002.smt2.slack.smt2.4 |
unsat |
0.05 |
c10_problem__002.smt2.slack.smt2.5 |
unsat |
0.06 |
c10_problem__002.smt2.slack.smt2.6 |
unsat |
0.05 |
c10_problem__002.smt2.slack.smt2.7 |
unsat |
0.05 |
c10_problem__002.smt2.slack.smt2.8 |
unsat |
0.02 |
c10_problem__002.smt2.slack.smt2.9 |
unsat |
0.04 |
c20_problem__004.smt2.slack.smt2.1 |
unsat |
0.14 |
c20_problem__004.smt2.slack.smt2.10 |
unsat |
0.06 |
c20_problem__004.smt2.slack.smt2.2 |
unsat |
0.14 |
c20_problem__004.smt2.slack.smt2.3 |
unsat |
0.09 |
c20_problem__004.smt2.slack.smt2.4 |
unsat |
0.12 |
c20_problem__004.smt2.slack.smt2.5 |
unsat |
0.12 |
c20_problem__004.smt2.slack.smt2.6 |
unsat |
0.12 |
c20_problem__004.smt2.slack.smt2.7 |
unsat |
0.11 |
c20_problem__004.smt2.slack.smt2.8 |
unsat |
0.16 |
c20_problem__004.smt2.slack.smt2.9 |
unsat |
0.11 |
c30_problem__006.smt2.slack.smt2.1 |
unsat |
0.1 |
c30_problem__006.smt2.slack.smt2.10 |
unsat |
0.17 |
c30_problem__006.smt2.slack.smt2.2 |
unsat |
0.1 |
c30_problem__006.smt2.slack.smt2.3 |
unsat |
0.11 |
c30_problem__006.smt2.slack.smt2.4 |
unsat |
0.05 |
c30_problem__006.smt2.slack.smt2.5 |
unsat |
0.07 |
c30_problem__006.smt2.slack.smt2.6 |
unsat |
0.06 |
c30_problem__006.smt2.slack.smt2.7 |
unsat |
0.06 |
c30_problem__006.smt2.slack.smt2.8 |
unsat |
0.08 |
c30_problem__006.smt2.slack.smt2.9 |
unsat |
0.13 |
c40_problem__002.smt2.slack.smt2.1 |
unsat |
0.09 |
c40_problem__002.smt2.slack.smt2.10 |
unsat |
0.09 |
c40_problem__002.smt2.slack.smt2.2 |
unsat |
0.12 |
c40_problem__002.smt2.slack.smt2.3 |
unsat |
0.08 |
c40_problem__002.smt2.slack.smt2.4 |
unsat |
0.1 |
c40_problem__002.smt2.slack.smt2.5 |
unsat |
0.09 |
c40_problem__002.smt2.slack.smt2.6 |
unsat |
0.14 |
c40_problem__002.smt2.slack.smt2.7 |
unsat |
0.11 |
c40_problem__002.smt2.slack.smt2.8 |
unsat |
0.04 |
c40_problem__002.smt2.slack.smt2.9 |
unsat |
0.05 |
c50_problem__002.smt2.slack.smt2.1 |
unsat |
0.13 |
c50_problem__002.smt2.slack.smt2.10 |
unsat |
0.15 |
c50_problem__002.smt2.slack.smt2.2 |
unsat |
0.15 |
c50_problem__002.smt2.slack.smt2.3 |
unsat |
0.12 |
c50_problem__002.smt2.slack.smt2.4 |
unsat |
0.18 |
c50_problem__002.smt2.slack.smt2.5 |
unsat |
0.12 |
c50_problem__002.smt2.slack.smt2.6 |
unsat |
0.23 |
c50_problem__002.smt2.slack.smt2.7 |
unsat |
0.11 |
c50_problem__002.smt2.slack.smt2.8 |
unsat |
0.09 |
c50_problem__002.smt2.slack.smt2.9 |
unsat |
0.16 |
c50_problem__006.smt2.slack.smt2.1 |
unsat |
0.15 |
c50_problem__006.smt2.slack.smt2.10 |
unsat |
0.12 |
c50_problem__006.smt2.slack.smt2.2 |
unsat |
0.12 |
c50_problem__006.smt2.slack.smt2.3 |
unsat |
0.19 |
c50_problem__006.smt2.slack.smt2.4 |
unsat |
0.21 |
c50_problem__006.smt2.slack.smt2.5 |
unsat |
0.17 |
c50_problem__006.smt2.slack.smt2.6 |
unsat |
0.2 |
c50_problem__006.smt2.slack.smt2.7 |
unsat |
0.08 |
c50_problem__006.smt2.slack.smt2.8 |
unsat |
0.16 |
c50_problem__006.smt2.slack.smt2.9 |
unsat |
0.28 |
c60_problem__004.smt2.slack.smt2.1 |
unsat |
0.56 |
c60_problem__004.smt2.slack.smt2.10 |
unsat |
2.8 |
c60_problem__004.smt2.slack.smt2.2 |
unsat |
1.96 |
c60_problem__004.smt2.slack.smt2.4 |
unsat |
1.5 |
c60_problem__004.smt2.slack.smt2.5 |
unsat |
20.75 |
c60_problem__004.smt2.slack.smt2.6 |
unsat |
0.89 |
c60_problem__004.smt2.slack.smt2.7 |
unsat |
4.4 |
c60_problem__004.smt2.slack.smt2.8 |
unsat |
29.8 |
c60_problem__004.smt2.slack.smt2.9 |
unsat |
17.77 |
c90_problem__005.smt2.slack.smt2.1 |
unsat |
0.12 |
c90_problem__005.smt2.slack.smt2.10 |
unsat |
0.22 |
c90_problem__005.smt2.slack.smt2.2 |
unsat |
0.17 |
c90_problem__005.smt2.slack.smt2.3 |
unsat |
0.15 |
c90_problem__005.smt2.slack.smt2.4 |
unsat |
0.25 |
c90_problem__005.smt2.slack.smt2.5 |
unsat |
0.23 |
c90_problem__005.smt2.slack.smt2.6 |
unsat |
0.11 |
c90_problem__005.smt2.slack.smt2.7 |
unsat |
0.21 |
c90_problem__005.smt2.slack.smt2.8 |
unsat |
0.23 |
c90_problem__005.smt2.slack.smt2.9 |
unsat |
0.18 |