problem result overall_time
unbd-sage0.smt2.2 sat 0.78
unbd-sage0.smt2.3 sat 0.59
unbd-sage0.smt2.4 sat 0.59
unbd-sage0.smt2.5 sat 0.6
unbd-sage0.smt2.6 sat 0.59
unbd-sage0.smt2.8 sat 0.56
unbd-sage1.smt2.1 sat 212.11
unbd-sage1.smt2.10 sat 0.64
unbd-sage1.smt2.2 sat 57.57
unbd-sage1.smt2.3 sat 848.12
unbd-sage1.smt2.4 sat 1182.08
unbd-sage1.smt2.5 sat 16.37
unbd-sage1.smt2.6 sat 2134.14
unbd-sage1.smt2.7 sat 0.63
unbd-sage1.smt2.9 sat 0.72
unbd-sage10.smt2.1 sat 0.6
unbd-sage10.smt2.10 sat 0.6
unbd-sage10.smt2.2 sat 0.43
unbd-sage10.smt2.3 sat 0.49
unbd-sage10.smt2.4 sat 0.5
unbd-sage10.smt2.5 sat 0.58
unbd-sage10.smt2.6 sat 2.08
unbd-sage10.smt2.7 sat 0.61
unbd-sage10.smt2.8 sat 0.65
unbd-sage10.smt2.9 sat 0.39
unbd-sage11.smt2.10 sat 157.38
unbd-sage11.smt2.3 sat 0.98
unbd-sage11.smt2.5 sat 26.56
unbd-sage11.smt2.6 sat 50.56
unbd-sage11.smt2.7 sat 1.98
unbd-sage11.smt2.8 sat 2121.95
unbd-sage11.smt2.9 sat 23
unbd-sage12.smt2.10 sat 19.87
unbd-sage12.smt2.2 sat 110.79
unbd-sage12.smt2.3 sat 1.16
unbd-sage12.smt2.4 sat 20.29
unbd-sage12.smt2.6 sat 3.34
unbd-sage12.smt2.7 sat 376.48
unbd-sage12.smt2.8 sat 41.16
unbd-sage12.smt2.9 sat 1.15
unbd-sage13.smt2.10 sat 110.09
unbd-sage13.smt2.3 sat 106.39
unbd-sage13.smt2.4 sat 286.45
unbd-sage13.smt2.5 sat 339.11
unbd-sage13.smt2.6 sat 0.66
unbd-sage13.smt2.7 sat 10.59
unbd-sage14.smt2.1 sat 750.54
unbd-sage14.smt2.10 sat 660
unbd-sage14.smt2.3 sat 2.44
unbd-sage14.smt2.4 sat 71.01
unbd-sage14.smt2.5 sat 0.8
unbd-sage14.smt2.6 sat 1.21
unbd-sage14.smt2.7 sat 13.77
unbd-sage15.smt2.1 sat 53.87
unbd-sage15.smt2.10 sat 1752.04
unbd-sage15.smt2.3 sat 0.62
unbd-sage15.smt2.4 sat 0.84
unbd-sage15.smt2.5 sat 222.45
unbd-sage15.smt2.6 sat 0.68
unbd-sage15.smt2.8 sat 1753.47
unbd-sage15.smt2.9 sat 0.59
unbd-sage16.smt2.1 sat 0.37
unbd-sage16.smt2.10 sat 0.38
unbd-sage16.smt2.2 sat 0.46
unbd-sage16.smt2.3 sat 0.61
unbd-sage16.smt2.4 sat 9.19
unbd-sage16.smt2.5 sat 0.44
unbd-sage16.smt2.6 sat 0.42
unbd-sage16.smt2.8 sat 4.7
unbd-sage16.smt2.9 sat 0.69
unbd-sage17.smt2.10 sat 4.83
unbd-sage17.smt2.2 sat 1.47
unbd-sage17.smt2.5 sat 18.4
unbd-sage17.smt2.6 sat 1282.43
unbd-sage17.smt2.7 sat 419.88
unbd-sage17.smt2.8 sat 0.66
unbd-sage18.smt2.1 sat 4.58
unbd-sage18.smt2.10 sat 5.99
unbd-sage18.smt2.2 sat 0.64
unbd-sage18.smt2.3 sat 18.54
unbd-sage18.smt2.5 sat 0.59
unbd-sage18.smt2.6 sat 7.44
unbd-sage18.smt2.7 sat 2.26
unbd-sage18.smt2.8 sat 1363.3
unbd-sage19.smt2.10 sat 1.29
unbd-sage19.smt2.3 sat 1.09
unbd-sage19.smt2.7 sat 171.07
unbd-sage19.smt2.8 sat 46.06
unbd-sage19.smt2.9 sat 1232.84
unbd-sage2.smt2.1 sat 53.91
unbd-sage2.smt2.10 sat 729.14
unbd-sage2.smt2.3 sat 18.8
unbd-sage2.smt2.5 sat 2.34
unbd-sage2.smt2.7 sat 232.33
unbd-sage2.smt2.8 sat 699.68
unbd-sage20.smt2.10 sat 594.26
unbd-sage20.smt2.2 sat 111.81
unbd-sage20.smt2.3 sat 1062.65
unbd-sage20.smt2.4 sat 0.53
unbd-sage20.smt2.5 sat 4.49
unbd-sage20.smt2.6 sat 2.62
unbd-sage20.smt2.8 sat 0.85
unbd-sage20.smt2.9 sat 0.58
unbd-sage21.smt2.1 sat 4.38
unbd-sage21.smt2.10 sat 226.89
unbd-sage21.smt2.2 sat 6.08
unbd-sage21.smt2.3 sat 6.36
unbd-sage21.smt2.4 sat 60.89
unbd-sage21.smt2.5 sat 9.85
unbd-sage21.smt2.6 sat 0.49
unbd-sage21.smt2.7 sat 130.65
unbd-sage21.smt2.8 sat 171.43
unbd-sage21.smt2.9 sat 574.96
unbd-sage22.smt2.1 sat 32.91
unbd-sage22.smt2.10 sat 128.09
unbd-sage22.smt2.3 sat 40.09
unbd-sage22.smt2.4 sat 1.56
unbd-sage22.smt2.5 sat 33.57
unbd-sage22.smt2.6 sat 0.57
unbd-sage22.smt2.7 sat 336.24
unbd-sage22.smt2.8 sat 11.73
unbd-sage23.smt2.2 sat 0.6
unbd-sage23.smt2.6 sat 2.63
unbd-sage23.smt2.7 sat 187.24
unbd-sage23.smt2.8 sat 1.19
unbd-sage24.smt2.5 sat 639.56
unbd-sage24.smt2.7 sat 202.09
unbd-sage24.smt2.9 sat 274.71
unbd-sage3.smt2.1 sat 10.33
unbd-sage3.smt2.3 sat 0.71
unbd-sage3.smt2.4 sat 3.76
unbd-sage3.smt2.5 sat 0.49
unbd-sage3.smt2.6 sat 0.67
unbd-sage3.smt2.7 sat 0.72
unbd-sage3.smt2.8 sat 1.58
unbd-sage3.smt2.9 sat 0.71
unbd-sage4.smt2.10 sat 17.55
unbd-sage4.smt2.2 sat 7.25
unbd-sage4.smt2.3 sat 1748.92
unbd-sage4.smt2.4 sat 0.64
unbd-sage4.smt2.5 sat 1203.84
unbd-sage4.smt2.7 sat 785.01
unbd-sage4.smt2.8 sat 28.76
unbd-sage4.smt2.9 sat 154.5
unbd-sage5.smt2.1 sat 82.4
unbd-sage5.smt2.10 sat 0.43
unbd-sage5.smt2.3 sat 297.35
unbd-sage5.smt2.4 sat 1310.17
unbd-sage5.smt2.5 sat 605.48
unbd-sage5.smt2.6 sat 1996.89
unbd-sage5.smt2.7 sat 0.66
unbd-sage5.smt2.9 sat 14.91
unbd-sage6.smt2.1 sat 14.29
unbd-sage6.smt2.10 sat 11.25
unbd-sage6.smt2.3 sat 1.7
unbd-sage6.smt2.4 sat 1.54
unbd-sage6.smt2.5 sat 1.33
unbd-sage6.smt2.6 sat 50.68
unbd-sage6.smt2.7 sat 51.54
unbd-sage6.smt2.8 sat 1.05
unbd-sage6.smt2.9 sat 1.25
unbd-sage7.smt2.1 sat 35.54
unbd-sage7.smt2.10 sat 3.85
unbd-sage7.smt2.2 sat 0.84
unbd-sage7.smt2.3 sat 0.5
unbd-sage7.smt2.4 sat 0.56
unbd-sage7.smt2.5 sat 1.25
unbd-sage7.smt2.6 sat 0.61
unbd-sage7.smt2.7 sat 0.61
unbd-sage7.smt2.8 sat 0.43
unbd-sage7.smt2.9 sat 33.43
unbd-sage8.smt2.1 sat 0.98
unbd-sage8.smt2.2 sat 1.38
unbd-sage8.smt2.3 sat 3.63
unbd-sage8.smt2.4 sat 173.82
unbd-sage8.smt2.5 sat 8.19
unbd-sage8.smt2.7 sat 0.94
unbd-sage8.smt2.8 sat 1338.64
unbd-sage8.smt2.9 sat 1.18
unbd-sage9.smt2.1 sat 2319.14
unbd-sage9.smt2.3 sat 0.98
unbd-sage9.smt2.4 sat 200.22
unbd-sage9.smt2.9 sat 3.65