problem result overall_time
unbd-sage0.smt2.1 sat 13.24
unbd-sage0.smt2.2 sat 751.929984
unbd-sage0.smt2.6 sat 595.529984
unbd-sage0.smt2.7 sat 1391.849984
unbd-sage1.smt2.1 sat 380.110016
unbd-sage1.smt2.10 sat 186.92
unbd-sage1.smt2.2 sat 892.689984
unbd-sage1.smt2.7 sat 1468.659968
unbd-sage10.smt2.2 sat 256.39
unbd-sage10.smt2.4 sat 1614.930048
unbd-sage11.smt2.3 sat 85.99
unbd-sage12.smt2.10 sat 411.82
unbd-sage12.smt2.2 sat 2359.920128
unbd-sage12.smt2.7 sat 281.48
unbd-sage13.smt2.10 sat 201.14
unbd-sage13.smt2.2 sat 1721.740032
unbd-sage13.smt2.6 sat 230.83
unbd-sage13.smt2.7 sat 45.14
unbd-sage14.smt2.2 sat 2361.100032
unbd-sage14.smt2.6 sat 806.449984
unbd-sage15.smt2.2 sat 41.6
unbd-sage15.smt2.6 sat 209.2
unbd-sage15.smt2.8 sat 2259.68
unbd-sage16.smt2.1 sat 1586.370048
unbd-sage16.smt2.3 sat 64.73
unbd-sage16.smt2.4 sat 1404.729984
unbd-sage16.smt2.5 sat 1727.629952
unbd-sage16.smt2.6 sat 70.08
unbd-sage16.smt2.7 sat 320.769984
unbd-sage16.smt2.8 sat 228.22
unbd-sage16.smt2.9 sat 174.92
unbd-sage17.smt2.2 sat 163.98
unbd-sage17.smt2.4 sat 129.31
unbd-sage18.smt2.10 sat 211.77
unbd-sage18.smt2.6 sat 26.86
unbd-sage18.smt2.7 sat 1872.269952
unbd-sage19.smt2.10 sat 112.66
unbd-sage19.smt2.2 sat 507.790016
unbd-sage19.smt2.3 sat 799.649984
unbd-sage19.smt2.4 sat 9.65
unbd-sage19.smt2.6 sat 1831.500032
unbd-sage19.smt2.9 sat 12.91
unbd-sage2.smt2.1 sat 27.72
unbd-sage2.smt2.2 sat 23.14
unbd-sage2.smt2.7 sat 287.910016
unbd-sage20.smt2.1 sat 234.04
unbd-sage20.smt2.5 sat 1121.650048
unbd-sage21.smt2.1 sat 205.4
unbd-sage21.smt2.10 sat 347.470016
unbd-sage21.smt2.6 sat 2097.469952
unbd-sage21.smt2.9 sat 363.990016
unbd-sage22.smt2.4 sat 193.15
unbd-sage23.smt2.3 sat 143.87
unbd-sage23.smt2.4 sat 801.500032
unbd-sage24.smt2.1 sat 40.15
unbd-sage24.smt2.4 sat 1045.820032
unbd-sage24.smt2.7 sat 34.07
unbd-sage24.smt2.8 sat 7.46
unbd-sage3.smt2.1 sat 14.79
unbd-sage3.smt2.10 sat 2131.030016
unbd-sage3.smt2.3 sat 60.73
unbd-sage3.smt2.7 sat 285.150016
unbd-sage3.smt2.8 sat 660.620032
unbd-sage4.smt2.1 sat 251.15
unbd-sage4.smt2.2 sat 1140.499968
unbd-sage4.smt2.3 sat 568.16
unbd-sage4.smt2.5 sat 27.39
unbd-sage4.smt2.6 sat 823.249984
unbd-sage4.smt2.7 sat 53.84
unbd-sage4.smt2.8 sat 84.24
unbd-sage4.smt2.9 sat 381.84
unbd-sage5.smt2.1 sat 151.93
unbd-sage5.smt2.10 sat 780.380032
unbd-sage5.smt2.2 sat 308.329984
unbd-sage5.smt2.8 sat 600.36
unbd-sage6.smt2.1 sat 601.8
unbd-sage6.smt2.4 sat 29.49
unbd-sage6.smt2.6 sat 25.57
unbd-sage6.smt2.7 sat 49.96
unbd-sage7.smt2.1 sat 118.64
unbd-sage7.smt2.10 sat 65.55
unbd-sage7.smt2.3 sat 416.64
unbd-sage7.smt2.4 sat 276.489984
unbd-sage7.smt2.5 sat 17.86
unbd-sage7.smt2.6 sat 1306.8
unbd-sage7.smt2.7 sat 762.68
unbd-sage7.smt2.8 sat 586.230016
unbd-sage7.smt2.9 sat 945.510016
unbd-sage8.smt2.4 sat 130
unbd-sage8.smt2.5 sat 809.619968
unbd-sage8.smt2.6 sat 581.150016
unbd-sage9.smt2.1 sat 30.21
unbd-sage9.smt2.10 sat 252.67
unbd-sage9.smt2.3 sat 255.47
unbd-sage9.smt2.4 sat 528.230016
unbd-sage9.smt2.9 sat 2257.080064