problem result overall_time
unbd-sage0.smt2.2 sat 1225.319936
unbd-sage0.smt2.5 sat 1445.170048
unbd-sage0.smt2.7 sat 596.96
unbd-sage0.smt2.8 sat 1.99
unbd-sage1.smt2.3 sat 566.099968
unbd-sage10.smt2.7 sat 1184.749952
unbd-sage12.smt2.7 sat 1588.889984
unbd-sage13.smt2.10 sat 1365.590016
unbd-sage13.smt2.2 sat 1156.009984
unbd-sage13.smt2.3 sat 90.88
unbd-sage15.smt2.5 sat 1673.2
unbd-sage16.smt2.5 sat 10.73
unbd-sage17.smt2.3 sat 881.289984
unbd-sage17.smt2.4 sat 534.910016
unbd-sage18.smt2.6 sat 109.87
unbd-sage18.smt2.7 sat 1606.700032
unbd-sage19.smt2.1 sat 20.6
unbd-sage19.smt2.2 sat 82.65
unbd-sage19.smt2.4 sat 429.58
unbd-sage19.smt2.6 sat 144.64
unbd-sage19.smt2.8 sat 610.889984
unbd-sage2.smt2.1 sat 122.34
unbd-sage2.smt2.2 sat 1000.769984
unbd-sage2.smt2.4 sat 278.04
unbd-sage2.smt2.7 sat 241.52
unbd-sage20.smt2.10 sat 138.48
unbd-sage20.smt2.6 sat 978.910016
unbd-sage21.smt2.10 sat 113.11
unbd-sage21.smt2.4 sat 576.700032
unbd-sage21.smt2.7 sat 35.86
unbd-sage24.smt2.3 sat 435.3
unbd-sage24.smt2.4 sat 16.91
unbd-sage24.smt2.5 sat 140.57
unbd-sage24.smt2.6 sat 301.3
unbd-sage24.smt2.8 sat 28.41
unbd-sage3.smt2.1 sat 41.87
unbd-sage3.smt2.2 sat 8.39
unbd-sage3.smt2.5 sat 1625.430016
unbd-sage3.smt2.6 sat 894.769984
unbd-sage4.smt2.3 sat 1427.059968
unbd-sage4.smt2.6 sat 25.15
unbd-sage4.smt2.8 sat 1030.44
unbd-sage4.smt2.9 sat 191.88
unbd-sage5.smt2.1 sat 81.49
unbd-sage5.smt2.10 sat 493.609984
unbd-sage5.smt2.2 sat 6.08
unbd-sage5.smt2.3 sat 163.51
unbd-sage5.smt2.6 sat 3.96
unbd-sage5.smt2.9 sat 10.9
unbd-sage6.smt2.2 sat 561.710016
unbd-sage6.smt2.3 sat 857.96
unbd-sage6.smt2.8 sat 445.32
unbd-sage7.smt2.3 sat 187.57
unbd-sage7.smt2.4 sat 256.44
unbd-sage7.smt2.5 sat 1233.299968
unbd-sage7.smt2.8 sat 232.76
unbd-sage7.smt2.9 sat 2055.079936
unbd-sage8.smt2.6 sat 1621.059968
unbd-sage8.smt2.8 sat 313.24
unbd-sage9.smt2.10 sat 3.8
unbd-sage9.smt2.2 sat 106.37
unbd-sage9.smt2.3 sat 359.929984
unbd-sage9.smt2.7 sat 1183.76
unbd-sage9.smt2.8 sat 1452.88