problem result overall_time
unbd-sage0.smt2.1 sat 1650.72
unbd-sage0.smt2.10 sat 0.75
unbd-sage0.smt2.2 sat 266.61
unbd-sage0.smt2.3 sat 2
unbd-sage0.smt2.4 sat 13
unbd-sage0.smt2.5 sat 8.46
unbd-sage0.smt2.6 sat 29.29
unbd-sage0.smt2.8 sat 3.03
unbd-sage0.smt2.9 sat 24.42
unbd-sage1.smt2.10 sat 631.169984
unbd-sage1.smt2.2 sat 38.12
unbd-sage1.smt2.3 sat 11.87
unbd-sage1.smt2.4 sat 41.01
unbd-sage1.smt2.5 sat 13.44
unbd-sage1.smt2.6 sat 99
unbd-sage1.smt2.7 sat 1.8
unbd-sage1.smt2.8 sat 86.74
unbd-sage1.smt2.9 sat 1.75
unbd-sage11.smt2.3 sat 616.889984
unbd-sage11.smt2.8 sat 303.929984
unbd-sage11.smt2.9 sat 1412.039936
unbd-sage12.smt2.2 sat 935.830016
unbd-sage12.smt2.7 sat 90.28
unbd-sage12.smt2.8 sat 340.6
unbd-sage13.smt2.5 sat 749.729984
unbd-sage13.smt2.6 sat 864.670016
unbd-sage13.smt2.8 sat 729.580032
unbd-sage14.smt2.1 sat 1101.139968
unbd-sage14.smt2.4 sat 2144.009984
unbd-sage14.smt2.5 sat 50.33
unbd-sage14.smt2.8 sat 1035.230016
unbd-sage16.smt2.4 sat 327.809984
unbd-sage16.smt2.6 sat 964.860032
unbd-sage16.smt2.7 sat 213.63
unbd-sage16.smt2.8 sat 1278.150016
unbd-sage17.smt2.10 sat 2286.479872
unbd-sage17.smt2.2 sat 1692.339968
unbd-sage17.smt2.4 sat 639.68
unbd-sage17.smt2.7 sat 280.329984
unbd-sage18.smt2.1 sat 1947.510016
unbd-sage18.smt2.8 sat 1299.379968
unbd-sage18.smt2.9 sat 199.53
unbd-sage19.smt2.1 sat 57.74
unbd-sage19.smt2.10 sat 7.47
unbd-sage19.smt2.4 sat 22.29
unbd-sage19.smt2.5 sat 1.3
unbd-sage19.smt2.6 sat 55.02
unbd-sage19.smt2.7 sat 112.98
unbd-sage19.smt2.8 sat 270.48
unbd-sage19.smt2.9 sat 409.150016
unbd-sage2.smt2.1 sat 24.74
unbd-sage2.smt2.7 sat 7.54
unbd-sage2.smt2.8 sat 526.249984
unbd-sage20.smt2.10 sat 1123.76
unbd-sage21.smt2.1 sat 110.55
unbd-sage21.smt2.10 sat 256.16
unbd-sage21.smt2.4 sat 614.209984
unbd-sage21.smt2.5 sat 332.16
unbd-sage21.smt2.6 sat 1582.550016
unbd-sage22.smt2.3 sat 1502.969984
unbd-sage22.smt2.5 sat 70.35
unbd-sage22.smt2.7 sat 14.84
unbd-sage22.smt2.8 sat 850.12
unbd-sage22.smt2.9 sat 1176.230016
unbd-sage23.smt2.10 sat 653.379968
unbd-sage23.smt2.2 sat 164.04
unbd-sage23.smt2.3 sat 21.51
unbd-sage23.smt2.7 sat 473.969984
unbd-sage24.smt2.10 sat 413.510016
unbd-sage24.smt2.2 sat 1455.719936
unbd-sage24.smt2.3 sat 398.849984
unbd-sage24.smt2.4 sat 0.6
unbd-sage24.smt2.6 sat 336.409984
unbd-sage24.smt2.7 sat 42.46
unbd-sage24.smt2.8 sat 3.13
unbd-sage24.smt2.9 sat 1011.08
unbd-sage3.smt2.10 sat 1447.890048
unbd-sage3.smt2.4 sat 55.86
unbd-sage3.smt2.5 sat 2084.950016
unbd-sage3.smt2.8 sat 116.97
unbd-sage3.smt2.9 sat 1130.56
unbd-sage4.smt2.1 sat 719.350016
unbd-sage4.smt2.10 sat 573.430016
unbd-sage4.smt2.4 sat 197.18
unbd-sage4.smt2.5 sat 618.88
unbd-sage4.smt2.7 sat 434.64
unbd-sage4.smt2.8 sat 1715.270016
unbd-sage4.smt2.9 sat 299.470016
unbd-sage5.smt2.10 sat 37.2
unbd-sage5.smt2.2 sat 489.649984
unbd-sage5.smt2.5 sat 927.049984
unbd-sage5.smt2.7 sat 152.74
unbd-sage5.smt2.8 sat 2324.470016
unbd-sage5.smt2.9 sat 22.07
unbd-sage6.smt2.1 sat 764.419968
unbd-sage6.smt2.2 sat 290.6
unbd-sage6.smt2.3 sat 242.12
unbd-sage6.smt2.4 sat 26.95
unbd-sage6.smt2.6 sat 63.6
unbd-sage6.smt2.7 sat 99.93
unbd-sage6.smt2.8 sat 216.88
unbd-sage6.smt2.9 sat 86.53
unbd-sage7.smt2.10 sat 442.350016
unbd-sage7.smt2.2 sat 138.59
unbd-sage7.smt2.4 sat 159.88
unbd-sage7.smt2.7 sat 51.8
unbd-sage7.smt2.8 sat 671.16
unbd-sage7.smt2.9 sat 2233.639936
unbd-sage8.smt2.8 sat 337.4
unbd-sage8.smt2.9 sat 874.449984
unbd-sage9.smt2.1 sat 1358
unbd-sage9.smt2.10 sat 63.73
unbd-sage9.smt2.2 sat 914.790016
unbd-sage9.smt2.3 sat 2.94
unbd-sage9.smt2.4 sat 24.93
unbd-sage9.smt2.5 sat 628.670016
unbd-sage9.smt2.6 sat 744.12
unbd-sage9.smt2.8 sat 119.4
unbd-sage9.smt2.9 sat 116.97