problem result overall_time
unbd-sage0.smt2.1 sat 0.03
unbd-sage0.smt2.10 sat 307.43
unbd-sage0.smt2.2 sat 418.18
unbd-sage0.smt2.3 sat 3.51
unbd-sage0.smt2.4 sat 14.72
unbd-sage0.smt2.5 sat 0.82
unbd-sage0.smt2.6 sat 1.8
unbd-sage0.smt2.7 sat 353.58
unbd-sage0.smt2.8 sat 261.44
unbd-sage0.smt2.9 sat 5.79
unbd-sage1.smt2.1 sat 31.83
unbd-sage1.smt2.10 sat 0.09
unbd-sage1.smt2.2 sat 0.07
unbd-sage1.smt2.3 sat 0.04
unbd-sage1.smt2.4 sat 1.61
unbd-sage1.smt2.5 sat 0.03
unbd-sage1.smt2.6 sat 8.05
unbd-sage1.smt2.7 sat 13.03
unbd-sage1.smt2.8 sat 33.36
unbd-sage1.smt2.9 sat 17.85
unbd-sage10.smt2.1 sat 0.22
unbd-sage10.smt2.10 sat 5.81
unbd-sage10.smt2.2 sat 0.23
unbd-sage10.smt2.3 sat 65.81
unbd-sage10.smt2.4 sat 1.47
unbd-sage10.smt2.5 sat 4.67
unbd-sage10.smt2.6 sat 495.91
unbd-sage10.smt2.7 sat 0.19
unbd-sage10.smt2.8 sat 0.12
unbd-sage10.smt2.9 sat 0.12
unbd-sage11.smt2.1 sat 0.14
unbd-sage11.smt2.10 sat 0.31
unbd-sage11.smt2.2 sat 0.46
unbd-sage11.smt2.3 sat 9.99
unbd-sage11.smt2.4 sat 0.13
unbd-sage11.smt2.5 sat 62.73
unbd-sage11.smt2.6 sat 0.13
unbd-sage11.smt2.7 sat 0.06
unbd-sage11.smt2.8 sat 7.9
unbd-sage11.smt2.9 sat 0.54
unbd-sage12.smt2.1 sat 0.88
unbd-sage12.smt2.10 sat 22.8
unbd-sage12.smt2.2 sat 0.09
unbd-sage12.smt2.3 sat 2.43
unbd-sage12.smt2.4 sat 31.63
unbd-sage12.smt2.5 sat 0.62
unbd-sage12.smt2.6 sat 195.13
unbd-sage12.smt2.7 sat 5.24
unbd-sage12.smt2.8 sat 0.15
unbd-sage12.smt2.9 sat 0.11
unbd-sage13.smt2.1 sat 0.14
unbd-sage13.smt2.10 sat 0.14
unbd-sage13.smt2.2 sat 0.32
unbd-sage13.smt2.3 sat 19.28
unbd-sage13.smt2.4 sat 0.16
unbd-sage13.smt2.5 sat 0.13
unbd-sage13.smt2.6 sat 206.57
unbd-sage13.smt2.7 sat 0.97
unbd-sage13.smt2.8 sat 0.41
unbd-sage13.smt2.9 sat 0.1
unbd-sage14.smt2.1 sat 0.05
unbd-sage14.smt2.10 sat 1.66
unbd-sage14.smt2.2 sat 165.76
unbd-sage14.smt2.3 sat 1.66
unbd-sage14.smt2.4 sat 5.58
unbd-sage14.smt2.5 sat 0.2
unbd-sage14.smt2.6 sat 6.3
unbd-sage14.smt2.7 sat 31.25
unbd-sage14.smt2.8 sat 0.11
unbd-sage14.smt2.9 sat 0.44
unbd-sage15.smt2.1 sat 5.79
unbd-sage15.smt2.10 sat 0.28
unbd-sage15.smt2.2 sat 40.45
unbd-sage15.smt2.3 sat 0.2
unbd-sage15.smt2.4 sat 0.16
unbd-sage15.smt2.5 sat 0.25
unbd-sage15.smt2.6 sat 0.29
unbd-sage15.smt2.7 sat 0.07
unbd-sage15.smt2.8 sat 0.2
unbd-sage15.smt2.9 sat 1.33
unbd-sage16.smt2.1 sat 0.92
unbd-sage16.smt2.10 sat 80.42
unbd-sage16.smt2.2 sat 1.71
unbd-sage16.smt2.3 sat 3.73
unbd-sage16.smt2.4 sat 0.3
unbd-sage16.smt2.5 sat 81.35
unbd-sage16.smt2.6 sat 77.03
unbd-sage16.smt2.7 sat 0.55
unbd-sage16.smt2.8 sat 0.81
unbd-sage16.smt2.9 sat 0.23
unbd-sage17.smt2.1 sat 114.54
unbd-sage17.smt2.10 sat 0.31
unbd-sage17.smt2.2 sat 0.03
unbd-sage17.smt2.3 sat 15.68
unbd-sage17.smt2.4 sat 67.55
unbd-sage17.smt2.5 sat 0.47
unbd-sage17.smt2.6 sat 4.41
unbd-sage17.smt2.7 sat 0.05
unbd-sage17.smt2.8 sat 276.17
unbd-sage17.smt2.9 sat 1.01
unbd-sage18.smt2.1 sat 30.76
unbd-sage18.smt2.2 sat 1.86
unbd-sage18.smt2.3 sat 391.13
unbd-sage18.smt2.4 sat 1.83
unbd-sage18.smt2.5 sat 317.68
unbd-sage18.smt2.6 sat 7.86
unbd-sage18.smt2.7 sat 6.11
unbd-sage18.smt2.8 sat 292.4
unbd-sage18.smt2.9 sat 59.05
unbd-sage19.smt2.1 sat 186.25
unbd-sage19.smt2.10 sat 2.43
unbd-sage19.smt2.2 sat 19.98
unbd-sage19.smt2.3 sat 83.45
unbd-sage19.smt2.4 sat 8.2
unbd-sage19.smt2.6 sat 0.24
unbd-sage19.smt2.7 sat 0.06
unbd-sage19.smt2.8 sat 595.74
unbd-sage19.smt2.9 sat 2.43
unbd-sage2.smt2.2 sat 21.47
unbd-sage2.smt2.5 sat 0.51
unbd-sage2.smt2.6 sat 84.52
unbd-sage2.smt2.9 sat 25.47
unbd-sage20.smt2.1 sat 661.06
unbd-sage20.smt2.10 sat 4.31
unbd-sage20.smt2.2 sat 11.37
unbd-sage20.smt2.3 sat 27.83
unbd-sage20.smt2.4 sat 0.15
unbd-sage20.smt2.5 sat 1.07
unbd-sage20.smt2.6 sat 6.26
unbd-sage20.smt2.7 sat 8.01
unbd-sage20.smt2.8 sat 1.47
unbd-sage20.smt2.9 sat 0.07
unbd-sage21.smt2.1 sat 0.57
unbd-sage21.smt2.10 sat 2.25
unbd-sage21.smt2.2 sat 103.3
unbd-sage21.smt2.3 sat 3.19
unbd-sage21.smt2.5 sat 0.13
unbd-sage21.smt2.6 sat 18.87
unbd-sage21.smt2.7 sat 0.31
unbd-sage21.smt2.8 sat 61.27
unbd-sage21.smt2.9 sat 2.83
unbd-sage22.smt2.1 sat 10.79
unbd-sage22.smt2.10 sat 152.42
unbd-sage22.smt2.2 sat 2.01
unbd-sage22.smt2.3 sat 0.99
unbd-sage22.smt2.4 sat 3.52
unbd-sage22.smt2.5 sat 19.98
unbd-sage22.smt2.6 sat 0.12
unbd-sage22.smt2.7 sat 1.25
unbd-sage22.smt2.8 sat 2.83
unbd-sage22.smt2.9 sat 19.24
unbd-sage23.smt2.1 sat 197.67
unbd-sage23.smt2.10 sat 16.24
unbd-sage23.smt2.2 sat 6.14
unbd-sage23.smt2.3 sat 0.33
unbd-sage23.smt2.4 sat 0.08
unbd-sage23.smt2.5 sat 0.15
unbd-sage23.smt2.6 sat 6.56
unbd-sage23.smt2.7 sat 7.75
unbd-sage23.smt2.8 sat 0.94
unbd-sage23.smt2.9 sat 14.31
unbd-sage24.smt2.1 sat 0.99
unbd-sage24.smt2.10 sat 0.14
unbd-sage24.smt2.2 sat 0.28
unbd-sage24.smt2.3 sat 0.15
unbd-sage24.smt2.5 sat 13.34
unbd-sage24.smt2.6 sat 14.73
unbd-sage24.smt2.7 sat 2.19
unbd-sage24.smt2.8 sat 0.31
unbd-sage24.smt2.9 sat 24.35
unbd-sage3.smt2.1 sat 51.5
unbd-sage3.smt2.10 sat 0.16
unbd-sage3.smt2.2 sat 0.71
unbd-sage3.smt2.3 sat 0.1
unbd-sage3.smt2.4 sat 0.84
unbd-sage3.smt2.5 sat 5.4
unbd-sage3.smt2.6 sat 0.47
unbd-sage3.smt2.7 sat 391.52
unbd-sage3.smt2.8 sat 9.97
unbd-sage3.smt2.9 sat 365.6
unbd-sage4.smt2.1 sat 0.04
unbd-sage4.smt2.10 sat 23.76
unbd-sage4.smt2.2 sat 4.1
unbd-sage4.smt2.3 sat 11.73
unbd-sage4.smt2.4 sat 0.51
unbd-sage4.smt2.5 sat 0.09
unbd-sage4.smt2.6 sat 4.67
unbd-sage4.smt2.7 sat 0.04
unbd-sage4.smt2.8 sat 0.95
unbd-sage4.smt2.9 sat 262.32
unbd-sage5.smt2.1 sat 0.88
unbd-sage5.smt2.10 sat 0.75
unbd-sage5.smt2.2 sat 0.11
unbd-sage5.smt2.3 sat 25.11
unbd-sage5.smt2.4 sat 147.04
unbd-sage5.smt2.5 sat 0.15
unbd-sage5.smt2.6 sat 111.98
unbd-sage5.smt2.7 sat 0.07
unbd-sage5.smt2.8 sat 4.82
unbd-sage5.smt2.9 sat 0.1
unbd-sage6.smt2.10 sat 311.14
unbd-sage6.smt2.2 sat 26.2
unbd-sage6.smt2.3 sat 97.78
unbd-sage6.smt2.4 sat 2.85
unbd-sage6.smt2.5 sat 0.07
unbd-sage6.smt2.6 sat 0.25
unbd-sage6.smt2.7 sat 4.9
unbd-sage6.smt2.8 sat 0.14
unbd-sage6.smt2.9 sat 0.34
unbd-sage7.smt2.1 sat 0.92
unbd-sage7.smt2.10 sat 0.72
unbd-sage7.smt2.2 sat 0.08
unbd-sage7.smt2.3 sat 78.71
unbd-sage7.smt2.4 sat 7.88
unbd-sage7.smt2.5 sat 3.54
unbd-sage7.smt2.6 sat 0.09
unbd-sage7.smt2.7 sat 13.79
unbd-sage7.smt2.8 sat 0.07
unbd-sage7.smt2.9 sat 2.44
unbd-sage8.smt2.1 sat 0.08
unbd-sage8.smt2.10 sat 25.96
unbd-sage8.smt2.2 sat 0.03
unbd-sage8.smt2.3 sat 2.16
unbd-sage8.smt2.4 sat 13.07
unbd-sage8.smt2.5 sat 6.54
unbd-sage8.smt2.6 sat 3.23
unbd-sage8.smt2.7 sat 0.04
unbd-sage8.smt2.8 sat 26.59
unbd-sage8.smt2.9 sat 13.71
unbd-sage9.smt2.1 sat 33.2
unbd-sage9.smt2.10 sat 2.52
unbd-sage9.smt2.2 sat 28.1
unbd-sage9.smt2.3 sat 109.05
unbd-sage9.smt2.4 sat 26.4
unbd-sage9.smt2.5 sat 0.23
unbd-sage9.smt2.6 sat 0.04
unbd-sage9.smt2.7 sat 1.47
unbd-sage9.smt2.8 sat 0.32
unbd-sage9.smt2.9 sat 136.38