problem result overall_time
unbd-sage0.smt2.2 sat 1.96
unbd-sage1.smt2.10 sat 91.1
unbd-sage1.smt2.2 sat 103.47
unbd-sage1.smt2.4 sat 235.87
unbd-sage1.smt2.5 sat 107.48
unbd-sage12.smt2.4 sat 1195.67
unbd-sage12.smt2.6 sat 263.25
unbd-sage12.smt2.7 sat 11.12
unbd-sage12.smt2.8 sat 1194.72
unbd-sage12.smt2.9 sat 1240.64
unbd-sage13.smt2.1 sat 24.15
unbd-sage13.smt2.10 sat 1.95
unbd-sage13.smt2.2 sat 31
unbd-sage13.smt2.3 sat 2.55
unbd-sage13.smt2.4 sat 15.92
unbd-sage13.smt2.5 sat 31.04
unbd-sage13.smt2.7 sat 23.1
unbd-sage13.smt2.8 sat 37.96
unbd-sage14.smt2.3 sat 914.91
unbd-sage14.smt2.8 sat 787.45
unbd-sage16.smt2.2 sat 1616.89
unbd-sage16.smt2.6 sat 34.49
unbd-sage17.smt2.10 sat 240.78
unbd-sage17.smt2.2 sat 289.55
unbd-sage17.smt2.3 sat 274.4
unbd-sage17.smt2.4 sat 593.38
unbd-sage17.smt2.6 sat 878.5
unbd-sage17.smt2.8 sat 128.72
unbd-sage18.smt2.3 sat 35.2
unbd-sage18.smt2.6 sat 42.23
unbd-sage19.smt2.1 sat 10.06
unbd-sage19.smt2.10 sat 11.45
unbd-sage19.smt2.2 sat 4.72
unbd-sage19.smt2.5 sat 5.72
unbd-sage19.smt2.6 sat 5.94
unbd-sage19.smt2.7 sat 5.13
unbd-sage19.smt2.8 sat 5.08
unbd-sage19.smt2.9 sat 2.62
unbd-sage2.smt2.5 sat 135.71
unbd-sage2.smt2.6 sat 88.77
unbd-sage2.smt2.8 sat 140.77
unbd-sage20.smt2.1 sat 277.79
unbd-sage20.smt2.5 sat 226.28
unbd-sage21.smt2.1 sat 3.9
unbd-sage21.smt2.10 sat 21.75
unbd-sage21.smt2.4 sat 42.52
unbd-sage21.smt2.5 sat 804.64
unbd-sage21.smt2.6 sat 22.66
unbd-sage22.smt2.1 sat 27.71
unbd-sage22.smt2.2 sat 5.24
unbd-sage22.smt2.3 sat 3.13
unbd-sage22.smt2.4 sat 18.81
unbd-sage22.smt2.5 sat 26.41
unbd-sage22.smt2.6 sat 7.28
unbd-sage22.smt2.7 sat 31.18
unbd-sage24.smt2.10 sat 11.56
unbd-sage24.smt2.4 sat 4.19
unbd-sage24.smt2.6 sat 6.8
unbd-sage24.smt2.7 sat 7.24
unbd-sage3.smt2.1 sat 334.8
unbd-sage3.smt2.10 sat 321.88
unbd-sage3.smt2.2 sat 952.51
unbd-sage3.smt2.3 sat 258.21
unbd-sage3.smt2.7 sat 634.94
unbd-sage3.smt2.8 sat 566.2
unbd-sage4.smt2.6 sat 12.11
unbd-sage4.smt2.9 sat 10.43
unbd-sage5.smt2.8 sat 9.88
unbd-sage6.smt2.1 sat 22.7
unbd-sage6.smt2.10 sat 19.68
unbd-sage6.smt2.2 sat 0.92
unbd-sage6.smt2.5 sat 0.81
unbd-sage6.smt2.6 sat 1.93
unbd-sage6.smt2.7 sat 16.2
unbd-sage6.smt2.8 sat 25.9
unbd-sage6.smt2.9 sat 1.02
unbd-sage7.smt2.1 sat 0.51
unbd-sage7.smt2.10 sat 0.86
unbd-sage7.smt2.2 sat 16.58
unbd-sage7.smt2.7 sat 20.09
unbd-sage7.smt2.8 sat 7.43
unbd-sage8.smt2.9 sat 154.92