problem result overall_time
unbd-sage0.smt2.10 sat 5.02
unbd-sage0.smt2.2 sat 0.01
unbd-sage0.smt2.3 sat 0.25
unbd-sage0.smt2.4 sat 0.25
unbd-sage0.smt2.5 sat 1.08
unbd-sage0.smt2.6 sat 999.830016
unbd-sage0.smt2.7 sat 1
unbd-sage0.smt2.9 sat 1.05
unbd-sage1.smt2.10 sat 0.13
unbd-sage1.smt2.4 sat 1.61
unbd-sage1.smt2.6 sat 11.3
unbd-sage1.smt2.7 sat 0.12
unbd-sage1.smt2.9 sat 0.12
unbd-sage10.smt2.10 sat 19.73
unbd-sage10.smt2.2 sat 666.899968
unbd-sage10.smt2.4 sat 7.58
unbd-sage10.smt2.5 sat 5.38
unbd-sage10.smt2.7 sat 0.05
unbd-sage10.smt2.8 sat 0.04
unbd-sage10.smt2.9 sat 7.53
unbd-sage11.smt2.5 sat 22.41
unbd-sage11.smt2.8 sat 0.52
unbd-sage12.smt2.1 sat 29.54
unbd-sage12.smt2.3 sat 0.33
unbd-sage12.smt2.5 sat 29.26
unbd-sage12.smt2.7 sat 3.78
unbd-sage12.smt2.9 sat 0.44
unbd-sage13.smt2.1 sat 0.09
unbd-sage13.smt2.5 sat 0.67
unbd-sage13.smt2.6 sat 0.36
unbd-sage13.smt2.9 sat 0.17
unbd-sage14.smt2.1 sat 56.2
unbd-sage14.smt2.2 sat 149.97
unbd-sage14.smt2.3 sat 2.4
unbd-sage14.smt2.5 sat 0.25
unbd-sage14.smt2.6 sat 3.43
unbd-sage14.smt2.7 sat 376.209984
unbd-sage14.smt2.9 sat 1539.030016
unbd-sage15.smt2.3 sat 0.53
unbd-sage15.smt2.7 sat 0.48
unbd-sage15.smt2.8 sat 410.510016
unbd-sage16.smt2.3 sat 0.29
unbd-sage16.smt2.4 sat 12.11
unbd-sage16.smt2.6 sat 19.78
unbd-sage16.smt2.9 sat 0.32
unbd-sage17.smt2.2 sat 0.1
unbd-sage17.smt2.8 sat 0.13
unbd-sage18.smt2.1 sat 1528.019968
unbd-sage18.smt2.3 sat 44.88
unbd-sage18.smt2.6 sat 190.48
unbd-sage18.smt2.7 sat 0.18
unbd-sage19.smt2.1 sat 37.49
unbd-sage19.smt2.10 sat 0.1
unbd-sage19.smt2.3 sat 0.1
unbd-sage19.smt2.5 sat 1.76
unbd-sage19.smt2.7 sat 0.56
unbd-sage19.smt2.9 sat 0.02
unbd-sage2.smt2.1 sat 23.78
unbd-sage2.smt2.10 sat 0.08
unbd-sage2.smt2.2 sat 8.33
unbd-sage2.smt2.6 sat 1323.699968
unbd-sage2.smt2.7 sat 1.2
unbd-sage2.smt2.8 sat 0.08
unbd-sage20.smt2.1 sat 0.23
unbd-sage20.smt2.10 sat 7.89
unbd-sage20.smt2.3 sat 0.11
unbd-sage20.smt2.4 sat 0.02
unbd-sage20.smt2.5 sat 0.09
unbd-sage20.smt2.6 sat 10.58
unbd-sage20.smt2.7 sat 0.01
unbd-sage20.smt2.8 sat 3.61
unbd-sage20.smt2.9 sat 0.03
unbd-sage21.smt2.1 sat 14.74
unbd-sage21.smt2.3 sat 2.54
unbd-sage21.smt2.4 sat 126.46
unbd-sage21.smt2.5 sat 0.38
unbd-sage21.smt2.6 sat 0.56
unbd-sage21.smt2.7 sat 2157.700096
unbd-sage22.smt2.1 sat 1.26
unbd-sage22.smt2.10 sat 507.24
unbd-sage22.smt2.2 sat 145.56
unbd-sage22.smt2.3 sat 0.07
unbd-sage22.smt2.5 sat 1.23
unbd-sage22.smt2.6 sat 27.68
unbd-sage22.smt2.7 sat 0.27
unbd-sage22.smt2.8 sat 0.07
unbd-sage22.smt2.9 sat 0.06
unbd-sage23.smt2.10 sat 4.79
unbd-sage23.smt2.3 sat 3.45
unbd-sage23.smt2.4 sat 37.58
unbd-sage23.smt2.8 sat 7.67
unbd-sage24.smt2.3 sat 0.65
unbd-sage24.smt2.5 sat 44.19
unbd-sage24.smt2.7 sat 178.14
unbd-sage3.smt2.1 sat 1.33
unbd-sage3.smt2.10 sat 1.66
unbd-sage3.smt2.2 sat 2.26
unbd-sage3.smt2.3 sat 0.07
unbd-sage3.smt2.5 sat 0.08
unbd-sage3.smt2.6 sat 0.1
unbd-sage3.smt2.7 sat 0.08
unbd-sage3.smt2.9 sat 2.9
unbd-sage4.smt2.10 sat 1.31
unbd-sage4.smt2.5 sat 2.31
unbd-sage4.smt2.6 sat 0.16
unbd-sage4.smt2.7 sat 0.16
unbd-sage4.smt2.8 sat 37.9
unbd-sage4.smt2.9 sat 0.77
unbd-sage5.smt2.1 sat 1.74
unbd-sage5.smt2.10 sat 0.09
unbd-sage5.smt2.6 sat 4.89
unbd-sage5.smt2.7 sat 0.19
unbd-sage6.smt2.10 sat 16.76
unbd-sage6.smt2.3 sat 0.19
unbd-sage6.smt2.4 sat 0.03
unbd-sage6.smt2.5 sat 0.05
unbd-sage6.smt2.9 sat 0.17
unbd-sage7.smt2.10 sat 848.72
unbd-sage7.smt2.2 sat 0.21
unbd-sage7.smt2.3 sat 204.33
unbd-sage7.smt2.4 sat 0.03
unbd-sage7.smt2.5 sat 0.47
unbd-sage8.smt2.1 sat 913.230016
unbd-sage8.smt2.2 sat 9.89
unbd-sage8.smt2.3 sat 0.12
unbd-sage8.smt2.7 sat 33.14
unbd-sage8.smt2.8 sat 22.12
unbd-sage9.smt2.1 sat 0.48
unbd-sage9.smt2.3 sat 0.65
unbd-sage9.smt2.4 sat 0.43
unbd-sage9.smt2.7 sat 14.16