problem |
result |
overall_time |
unbd-sage0.smt2.1 |
sat |
0.02 |
unbd-sage0.smt2.10 |
sat |
0.04 |
unbd-sage0.smt2.2 |
sat |
0.01 |
unbd-sage0.smt2.3 |
sat |
0.01 |
unbd-sage0.smt2.4 |
sat |
0.01 |
unbd-sage0.smt2.5 |
sat |
0.01 |
unbd-sage0.smt2.6 |
sat |
0.02 |
unbd-sage0.smt2.7 |
sat |
0.02 |
unbd-sage0.smt2.8 |
sat |
0.01 |
unbd-sage0.smt2.9 |
sat |
0.02 |
unbd-sage1.smt2.1 |
sat |
0.08 |
unbd-sage1.smt2.10 |
sat |
0.01 |
unbd-sage1.smt2.2 |
sat |
0.03 |
unbd-sage1.smt2.3 |
sat |
0.12 |
unbd-sage1.smt2.4 |
sat |
0.22 |
unbd-sage1.smt2.5 |
sat |
0.06 |
unbd-sage1.smt2.6 |
sat |
0.03 |
unbd-sage1.smt2.7 |
sat |
0.02 |
unbd-sage1.smt2.8 |
sat |
0.19 |
unbd-sage1.smt2.9 |
sat |
0.01 |
unbd-sage10.smt2.1 |
sat |
0.01 |
unbd-sage10.smt2.10 |
sat |
0.02 |
unbd-sage10.smt2.2 |
sat |
0.01 |
unbd-sage10.smt2.3 |
sat |
0.01 |
unbd-sage10.smt2.4 |
sat |
0.02 |
unbd-sage10.smt2.5 |
sat |
0.01 |
unbd-sage10.smt2.6 |
sat |
0.01 |
unbd-sage10.smt2.7 |
sat |
0 |
unbd-sage10.smt2.8 |
sat |
0 |
unbd-sage10.smt2.9 |
sat |
0.01 |
unbd-sage11.smt2.1 |
sat |
0.02 |
unbd-sage11.smt2.10 |
sat |
0.02 |
unbd-sage11.smt2.2 |
sat |
0.01 |
unbd-sage11.smt2.3 |
sat |
0.01 |
unbd-sage11.smt2.4 |
sat |
0.07 |
unbd-sage11.smt2.5 |
sat |
0.02 |
unbd-sage11.smt2.6 |
sat |
0.24 |
unbd-sage11.smt2.7 |
sat |
0.29 |
unbd-sage11.smt2.8 |
sat |
0.01 |
unbd-sage11.smt2.9 |
sat |
0.02 |
unbd-sage12.smt2.1 |
sat |
0.16 |
unbd-sage12.smt2.10 |
sat |
0.04 |
unbd-sage12.smt2.2 |
sat |
3.07 |
unbd-sage12.smt2.3 |
sat |
0.01 |
unbd-sage12.smt2.4 |
sat |
0.04 |
unbd-sage12.smt2.5 |
sat |
0.19 |
unbd-sage12.smt2.6 |
sat |
0.09 |
unbd-sage12.smt2.7 |
sat |
0.02 |
unbd-sage12.smt2.8 |
sat |
0.02 |
unbd-sage12.smt2.9 |
sat |
0.01 |
unbd-sage13.smt2.1 |
sat |
0.01 |
unbd-sage13.smt2.10 |
sat |
0.03 |
unbd-sage13.smt2.2 |
sat |
0.01 |
unbd-sage13.smt2.3 |
sat |
0.03 |
unbd-sage13.smt2.4 |
sat |
0.02 |
unbd-sage13.smt2.5 |
sat |
0.01 |
unbd-sage13.smt2.6 |
sat |
0.01 |
unbd-sage13.smt2.7 |
sat |
0.01 |
unbd-sage13.smt2.8 |
sat |
0.02 |
unbd-sage13.smt2.9 |
sat |
0.01 |
unbd-sage14.smt2.1 |
sat |
0.05 |
unbd-sage14.smt2.10 |
sat |
0.02 |
unbd-sage14.smt2.2 |
sat |
0.07 |
unbd-sage14.smt2.3 |
sat |
0.01 |
unbd-sage14.smt2.4 |
sat |
0.01 |
unbd-sage14.smt2.5 |
sat |
0.01 |
unbd-sage14.smt2.6 |
sat |
0.01 |
unbd-sage14.smt2.7 |
sat |
0.01 |
unbd-sage14.smt2.8 |
sat |
0.05 |
unbd-sage14.smt2.9 |
sat |
0.01 |
unbd-sage15.smt2.1 |
sat |
0.01 |
unbd-sage15.smt2.10 |
sat |
0.02 |
unbd-sage15.smt2.2 |
sat |
0.11 |
unbd-sage15.smt2.3 |
sat |
0.01 |
unbd-sage15.smt2.4 |
sat |
0.02 |
unbd-sage15.smt2.5 |
sat |
0.18 |
unbd-sage15.smt2.6 |
sat |
0.03 |
unbd-sage15.smt2.7 |
sat |
0.01 |
unbd-sage15.smt2.8 |
sat |
0.02 |
unbd-sage15.smt2.9 |
sat |
0.01 |
unbd-sage16.smt2.1 |
sat |
0.02 |
unbd-sage16.smt2.10 |
sat |
0.01 |
unbd-sage16.smt2.2 |
sat |
0 |
unbd-sage16.smt2.3 |
sat |
0 |
unbd-sage16.smt2.4 |
sat |
0 |
unbd-sage16.smt2.5 |
sat |
0.01 |
unbd-sage16.smt2.6 |
sat |
0.02 |
unbd-sage16.smt2.7 |
sat |
0.01 |
unbd-sage16.smt2.8 |
sat |
0.01 |
unbd-sage16.smt2.9 |
sat |
0.01 |
unbd-sage17.smt2.1 |
sat |
0.01 |
unbd-sage17.smt2.10 |
sat |
0.02 |
unbd-sage17.smt2.2 |
sat |
0.01 |
unbd-sage17.smt2.3 |
sat |
0.04 |
unbd-sage17.smt2.4 |
sat |
0.11 |
unbd-sage17.smt2.5 |
sat |
0.03 |
unbd-sage17.smt2.6 |
sat |
0.02 |
unbd-sage17.smt2.7 |
sat |
0.03 |
unbd-sage17.smt2.8 |
sat |
0 |
unbd-sage17.smt2.9 |
sat |
0.03 |
unbd-sage18.smt2.1 |
sat |
0.01 |
unbd-sage18.smt2.10 |
sat |
0.01 |
unbd-sage18.smt2.2 |
sat |
0.08 |
unbd-sage18.smt2.3 |
sat |
0.04 |
unbd-sage18.smt2.4 |
sat |
0.03 |
unbd-sage18.smt2.5 |
sat |
0.01 |
unbd-sage18.smt2.6 |
sat |
0.01 |
unbd-sage18.smt2.7 |
sat |
0.01 |
unbd-sage18.smt2.8 |
sat |
0.01 |
unbd-sage18.smt2.9 |
sat |
0.03 |
unbd-sage19.smt2.1 |
sat |
0.03 |
unbd-sage19.smt2.10 |
sat |
0.01 |
unbd-sage19.smt2.2 |
sat |
0.05 |
unbd-sage19.smt2.3 |
sat |
0.01 |
unbd-sage19.smt2.4 |
sat |
0.05 |
unbd-sage19.smt2.5 |
sat |
0.02 |
unbd-sage19.smt2.6 |
sat |
0.01 |
unbd-sage19.smt2.7 |
sat |
0.09 |
unbd-sage19.smt2.8 |
sat |
0.06 |
unbd-sage19.smt2.9 |
sat |
0.08 |
unbd-sage2.smt2.1 |
sat |
0.03 |
unbd-sage2.smt2.10 |
sat |
0.02 |
unbd-sage2.smt2.2 |
sat |
0.04 |
unbd-sage2.smt2.3 |
sat |
0.09 |
unbd-sage2.smt2.4 |
sat |
0.28 |
unbd-sage2.smt2.5 |
sat |
0.01 |
unbd-sage2.smt2.6 |
sat |
0.28 |
unbd-sage2.smt2.7 |
sat |
0.08 |
unbd-sage2.smt2.8 |
sat |
0.02 |
unbd-sage2.smt2.9 |
sat |
0.18 |
unbd-sage20.smt2.1 |
sat |
0.05 |
unbd-sage20.smt2.10 |
sat |
0.01 |
unbd-sage20.smt2.2 |
sat |
0.06 |
unbd-sage20.smt2.3 |
sat |
0.01 |
unbd-sage20.smt2.4 |
sat |
0.01 |
unbd-sage20.smt2.5 |
sat |
0.01 |
unbd-sage20.smt2.6 |
sat |
0 |
unbd-sage20.smt2.7 |
sat |
0.01 |
unbd-sage20.smt2.8 |
sat |
0.02 |
unbd-sage20.smt2.9 |
sat |
0.01 |
unbd-sage21.smt2.1 |
sat |
0.02 |
unbd-sage21.smt2.10 |
sat |
0.06 |
unbd-sage21.smt2.2 |
sat |
0.01 |
unbd-sage21.smt2.3 |
sat |
0 |
unbd-sage21.smt2.4 |
sat |
0.01 |
unbd-sage21.smt2.5 |
sat |
0.01 |
unbd-sage21.smt2.6 |
sat |
0.05 |
unbd-sage21.smt2.7 |
sat |
0.04 |
unbd-sage21.smt2.8 |
sat |
0.01 |
unbd-sage21.smt2.9 |
sat |
0 |
unbd-sage22.smt2.1 |
sat |
0.01 |
unbd-sage22.smt2.10 |
sat |
0.02 |
unbd-sage22.smt2.2 |
sat |
0.07 |
unbd-sage22.smt2.3 |
sat |
0.01 |
unbd-sage22.smt2.4 |
sat |
0.01 |
unbd-sage22.smt2.5 |
sat |
0.01 |
unbd-sage22.smt2.6 |
sat |
0.01 |
unbd-sage22.smt2.7 |
sat |
0.01 |
unbd-sage22.smt2.8 |
sat |
0.03 |
unbd-sage22.smt2.9 |
sat |
0.12 |
unbd-sage23.smt2.1 |
sat |
0.3 |
unbd-sage23.smt2.10 |
sat |
0.02 |
unbd-sage23.smt2.2 |
sat |
0.01 |
unbd-sage23.smt2.3 |
sat |
0.01 |
unbd-sage23.smt2.4 |
sat |
0.01 |
unbd-sage23.smt2.5 |
sat |
0.01 |
unbd-sage23.smt2.6 |
sat |
0.02 |
unbd-sage23.smt2.7 |
sat |
0.07 |
unbd-sage23.smt2.8 |
sat |
0.02 |
unbd-sage23.smt2.9 |
sat |
0.01 |
unbd-sage24.smt2.1 |
sat |
0.03 |
unbd-sage24.smt2.10 |
sat |
0.02 |
unbd-sage24.smt2.2 |
sat |
0.01 |
unbd-sage24.smt2.3 |
sat |
0.01 |
unbd-sage24.smt2.4 |
sat |
0.03 |
unbd-sage24.smt2.5 |
sat |
0.01 |
unbd-sage24.smt2.6 |
sat |
0 |
unbd-sage24.smt2.7 |
sat |
0.01 |
unbd-sage24.smt2.8 |
sat |
0.01 |
unbd-sage24.smt2.9 |
sat |
0.01 |
unbd-sage3.smt2.1 |
sat |
0.08 |
unbd-sage3.smt2.10 |
sat |
0.09 |
unbd-sage3.smt2.2 |
sat |
0.21 |
unbd-sage3.smt2.3 |
sat |
0 |
unbd-sage3.smt2.4 |
sat |
0.01 |
unbd-sage3.smt2.5 |
sat |
0 |
unbd-sage3.smt2.6 |
sat |
0.01 |
unbd-sage3.smt2.7 |
sat |
0.01 |
unbd-sage3.smt2.8 |
sat |
0.06 |
unbd-sage3.smt2.9 |
sat |
0.02 |
unbd-sage4.smt2.1 |
sat |
0.04 |
unbd-sage4.smt2.10 |
sat |
0.03 |
unbd-sage4.smt2.2 |
sat |
0.08 |
unbd-sage4.smt2.3 |
sat |
0.01 |
unbd-sage4.smt2.4 |
sat |
0.01 |
unbd-sage4.smt2.5 |
sat |
0.03 |
unbd-sage4.smt2.6 |
sat |
0.02 |
unbd-sage4.smt2.7 |
sat |
0.01 |
unbd-sage4.smt2.8 |
sat |
0.02 |
unbd-sage4.smt2.9 |
sat |
0.01 |
unbd-sage5.smt2.1 |
sat |
0.03 |
unbd-sage5.smt2.10 |
sat |
0 |
unbd-sage5.smt2.2 |
sat |
0.01 |
unbd-sage5.smt2.3 |
sat |
0.01 |
unbd-sage5.smt2.4 |
sat |
0.02 |
unbd-sage5.smt2.5 |
sat |
0 |
unbd-sage5.smt2.6 |
sat |
0.01 |
unbd-sage5.smt2.7 |
sat |
0.01 |
unbd-sage5.smt2.8 |
sat |
0.05 |
unbd-sage5.smt2.9 |
sat |
0.01 |
unbd-sage6.smt2.1 |
sat |
0.03 |
unbd-sage6.smt2.10 |
sat |
0.33 |
unbd-sage6.smt2.2 |
sat |
0.23 |
unbd-sage6.smt2.3 |
sat |
0.01 |
unbd-sage6.smt2.4 |
sat |
0 |
unbd-sage6.smt2.5 |
sat |
0.01 |
unbd-sage6.smt2.6 |
sat |
0.09 |
unbd-sage6.smt2.7 |
sat |
0.07 |
unbd-sage6.smt2.8 |
sat |
0.02 |
unbd-sage6.smt2.9 |
sat |
0.02 |
unbd-sage7.smt2.1 |
sat |
0.01 |
unbd-sage7.smt2.10 |
sat |
0.01 |
unbd-sage7.smt2.2 |
sat |
0.01 |
unbd-sage7.smt2.3 |
sat |
0 |
unbd-sage7.smt2.4 |
sat |
0 |
unbd-sage7.smt2.5 |
sat |
0.01 |
unbd-sage7.smt2.6 |
sat |
0.01 |
unbd-sage7.smt2.7 |
sat |
0.05 |
unbd-sage7.smt2.8 |
sat |
0 |
unbd-sage7.smt2.9 |
sat |
0.01 |
unbd-sage8.smt2.1 |
sat |
0.13 |
unbd-sage8.smt2.10 |
sat |
0.03 |
unbd-sage8.smt2.2 |
sat |
0.02 |
unbd-sage8.smt2.3 |
sat |
0.01 |
unbd-sage8.smt2.4 |
sat |
0.01 |
unbd-sage8.smt2.5 |
sat |
0.02 |
unbd-sage8.smt2.6 |
sat |
0.01 |
unbd-sage8.smt2.7 |
sat |
0.01 |
unbd-sage8.smt2.8 |
sat |
0.02 |
unbd-sage8.smt2.9 |
sat |
0.02 |
unbd-sage9.smt2.1 |
sat |
0.13 |
unbd-sage9.smt2.10 |
sat |
0.02 |
unbd-sage9.smt2.2 |
sat |
0.27 |
unbd-sage9.smt2.3 |
sat |
0.01 |
unbd-sage9.smt2.4 |
sat |
0.05 |
unbd-sage9.smt2.5 |
sat |
0.01 |
unbd-sage9.smt2.6 |
sat |
0.03 |
unbd-sage9.smt2.7 |
sat |
0.74 |
unbd-sage9.smt2.8 |
sat |
0.03 |
unbd-sage9.smt2.9 |
sat |
0.05 |