problem result overall_time
unbd-sage0.smt2.6 sat 0.44
unbd-sage0.smt2.7 sat 0.86
unbd-sage0.smt2.9 sat 392.86
unbd-sage1.smt2.1 sat 1316.9
unbd-sage1.smt2.3 sat 702.27
unbd-sage1.smt2.6 sat 5.49
unbd-sage10.smt2.4 sat 0.38
unbd-sage11.smt2.10 sat 15.05
unbd-sage11.smt2.2 sat 1.73
unbd-sage11.smt2.4 sat 1.09
unbd-sage11.smt2.6 sat 937.41
unbd-sage12.smt2.6 sat 114.96
unbd-sage13.smt2.10 sat 3.47
unbd-sage13.smt2.4 sat 828.91
unbd-sage15.smt2.6 sat 100.86
unbd-sage16.smt2.1 sat 9.03
unbd-sage17.smt2.3 sat 306.26
unbd-sage18.smt2.4 sat 953.23
unbd-sage18.smt2.5 sat 1.08
unbd-sage18.smt2.6 sat 4.66
unbd-sage18.smt2.9 sat 0.7
unbd-sage19.smt2.3 sat 7.78
unbd-sage19.smt2.9 sat 1.56
unbd-sage2.smt2.4 sat 646.59
unbd-sage2.smt2.5 sat 14.73
unbd-sage2.smt2.7 sat 294.94
unbd-sage20.smt2.2 sat 153.88
unbd-sage20.smt2.3 sat 0.47
unbd-sage20.smt2.4 sat 2.15
unbd-sage20.smt2.5 sat 985
unbd-sage21.smt2.1 sat 0.66
unbd-sage21.smt2.10 sat 0.55
unbd-sage21.smt2.2 sat 1158.03
unbd-sage21.smt2.3 sat 18.29
unbd-sage21.smt2.4 sat 13.09
unbd-sage22.smt2.2 sat 49.58
unbd-sage22.smt2.4 sat 935.28
unbd-sage22.smt2.5 sat 7.98
unbd-sage22.smt2.6 sat 1035.23
unbd-sage22.smt2.9 sat 2.95
unbd-sage23.smt2.10 sat 3.38
unbd-sage23.smt2.5 sat 63.74
unbd-sage23.smt2.7 sat 715.91
unbd-sage23.smt2.9 sat 943.3
unbd-sage24.smt2.2 sat 574.82
unbd-sage24.smt2.6 sat 0.96
unbd-sage3.smt2.10 sat 191.4
unbd-sage3.smt2.3 sat 0.46
unbd-sage3.smt2.5 sat 76.66
unbd-sage4.smt2.3 sat 90.65
unbd-sage4.smt2.4 sat 0.62
unbd-sage4.smt2.7 sat 334.55
unbd-sage4.smt2.8 sat 42.04
unbd-sage5.smt2.6 sat 531.88
unbd-sage5.smt2.9 sat 1.71
unbd-sage6.smt2.2 sat 519.33
unbd-sage6.smt2.5 sat 1.5
unbd-sage7.smt2.1 sat 0.48
unbd-sage7.smt2.6 sat 64.95
unbd-sage7.smt2.7 sat 1073.65
unbd-sage7.smt2.9 sat 44.21
unbd-sage8.smt2.1 sat 427.22
unbd-sage8.smt2.2 sat 0.61
unbd-sage8.smt2.3 sat 11.35
unbd-sage8.smt2.4 sat 0.62
unbd-sage8.smt2.5 sat 400.22
unbd-sage8.smt2.9 sat 46.72
unbd-sage9.smt2.10 sat 1.8
unbd-sage9.smt2.3 sat 20.66
unbd-sage9.smt2.6 sat 54.11
unbd-sage9.smt2.9 sat 0.26