problem result overall_time
unbd-sage0.smt2.1 sat 2.08
unbd-sage0.smt2.2 sat 9.25
unbd-sage0.smt2.5 sat 126.87
unbd-sage0.smt2.6 sat 0.06
unbd-sage0.smt2.7 sat 2.62
unbd-sage0.smt2.8 sat 11.62
unbd-sage0.smt2.9 sat 2.6
unbd-sage1.smt2.1 sat 4.07
unbd-sage1.smt2.2 sat 3.47
unbd-sage1.smt2.3 sat 0.77
unbd-sage1.smt2.4 sat 0.16
unbd-sage1.smt2.5 sat 1.26
unbd-sage1.smt2.6 sat 1.5
unbd-sage1.smt2.8 sat 0.31
unbd-sage10.smt2.1 sat 99.81
unbd-sage10.smt2.10 sat 6.02
unbd-sage10.smt2.2 sat 6.9
unbd-sage10.smt2.3 sat 96.95
unbd-sage10.smt2.4 sat 13.19
unbd-sage10.smt2.5 sat 0.02
unbd-sage10.smt2.6 sat 0.12
unbd-sage10.smt2.9 sat 13.34
unbd-sage11.smt2.1 sat 3.49
unbd-sage11.smt2.10 sat 2.59
unbd-sage11.smt2.2 sat 0.85
unbd-sage11.smt2.3 sat 0.86
unbd-sage11.smt2.4 sat 0.66
unbd-sage11.smt2.5 sat 4.42
unbd-sage11.smt2.6 sat 0.19
unbd-sage11.smt2.7 sat 6.3
unbd-sage11.smt2.8 sat 0.22
unbd-sage11.smt2.9 sat 1.04
unbd-sage12.smt2.1 sat 0.46
unbd-sage12.smt2.10 sat 0.69
unbd-sage12.smt2.2 sat 0.08
unbd-sage12.smt2.3 sat 1.01
unbd-sage12.smt2.4 sat 0.67
unbd-sage12.smt2.5 sat 0.48
unbd-sage12.smt2.6 sat 1.37
unbd-sage12.smt2.7 sat 0.41
unbd-sage12.smt2.8 sat 0.78
unbd-sage12.smt2.9 sat 14.57
unbd-sage13.smt2.1 sat 0.21
unbd-sage13.smt2.10 sat 2.08
unbd-sage13.smt2.2 sat 0.17
unbd-sage13.smt2.3 sat 2.06
unbd-sage13.smt2.4 sat 47.28
unbd-sage13.smt2.5 sat 0.23
unbd-sage13.smt2.6 sat 29.07
unbd-sage13.smt2.7 sat 0.84
unbd-sage13.smt2.8 sat 16.55
unbd-sage13.smt2.9 sat 0.04
unbd-sage14.smt2.1 sat 0.86
unbd-sage14.smt2.10 sat 19.46
unbd-sage14.smt2.2 sat 3.26
unbd-sage14.smt2.3 sat 14.99
unbd-sage14.smt2.4 sat 0.86
unbd-sage14.smt2.6 sat 7.99
unbd-sage14.smt2.7 sat 18.04
unbd-sage14.smt2.8 sat 1.52
unbd-sage14.smt2.9 sat 0.52
unbd-sage15.smt2.1 sat 23.22
unbd-sage15.smt2.10 sat 1.06
unbd-sage15.smt2.2 sat 0.42
unbd-sage15.smt2.4 sat 1.8
unbd-sage15.smt2.5 sat 1.09
unbd-sage15.smt2.6 sat 4.49
unbd-sage15.smt2.7 sat 0.37
unbd-sage15.smt2.8 sat 0.07
unbd-sage15.smt2.9 sat 1.63
unbd-sage16.smt2.1 sat 0.09
unbd-sage16.smt2.10 sat 8.38
unbd-sage16.smt2.2 sat 0.04
unbd-sage16.smt2.4 sat 6.2
unbd-sage16.smt2.5 sat 13.47
unbd-sage16.smt2.6 sat 0.71
unbd-sage16.smt2.7 sat 0.28
unbd-sage16.smt2.8 sat 7.88
unbd-sage17.smt2.1 sat 27.04
unbd-sage17.smt2.10 sat 0.82
unbd-sage17.smt2.2 sat 118.39
unbd-sage17.smt2.3 sat 15.07
unbd-sage17.smt2.4 sat 7.22
unbd-sage17.smt2.5 sat 0.08
unbd-sage17.smt2.6 sat 0.7
unbd-sage17.smt2.7 sat 1.49
unbd-sage17.smt2.8 sat 0.63
unbd-sage17.smt2.9 sat 15.99
unbd-sage18.smt2.1 sat 23.13
unbd-sage18.smt2.10 sat 26.39
unbd-sage18.smt2.2 sat 2.38
unbd-sage18.smt2.3 sat 7.4
unbd-sage18.smt2.4 sat 9.89
unbd-sage18.smt2.5 sat 0.04
unbd-sage18.smt2.6 sat 100.24
unbd-sage18.smt2.7 sat 0.55
unbd-sage18.smt2.8 sat 0.2
unbd-sage18.smt2.9 sat 2.19
unbd-sage19.smt2.1 sat 1.18
unbd-sage19.smt2.4 sat 0.1
unbd-sage19.smt2.5 sat 0.05
unbd-sage19.smt2.6 sat 0.15
unbd-sage19.smt2.7 sat 0.7
unbd-sage19.smt2.8 sat 173.84
unbd-sage19.smt2.9 sat 6.78
unbd-sage2.smt2.1 sat 0.22
unbd-sage2.smt2.10 sat 0.73
unbd-sage2.smt2.2 sat 0.1
unbd-sage2.smt2.3 sat 0.73
unbd-sage2.smt2.4 sat 1.4
unbd-sage2.smt2.5 sat 0.97
unbd-sage2.smt2.6 sat 1.71
unbd-sage2.smt2.7 sat 0.28
unbd-sage2.smt2.8 sat 0.68
unbd-sage2.smt2.9 sat 0.48
unbd-sage20.smt2.1 sat 317.809984
unbd-sage20.smt2.10 sat 10.68
unbd-sage20.smt2.2 sat 2.72
unbd-sage20.smt2.3 sat 7.26
unbd-sage20.smt2.5 sat 0.86
unbd-sage20.smt2.6 sat 2.32
unbd-sage20.smt2.7 sat 184.9
unbd-sage20.smt2.8 sat 0.61
unbd-sage21.smt2.1 sat 0.74
unbd-sage21.smt2.10 sat 0.12
unbd-sage21.smt2.2 sat 1.03
unbd-sage21.smt2.3 sat 0.32
unbd-sage21.smt2.4 sat 0.2
unbd-sage21.smt2.5 sat 0.27
unbd-sage21.smt2.6 sat 0.1
unbd-sage21.smt2.7 sat 0.29
unbd-sage21.smt2.8 sat 5.44
unbd-sage21.smt2.9 sat 7.65
unbd-sage22.smt2.1 sat 1.3
unbd-sage22.smt2.10 sat 15.55
unbd-sage22.smt2.2 sat 2.96
unbd-sage22.smt2.3 sat 1.56
unbd-sage22.smt2.4 sat 2.8
unbd-sage22.smt2.5 sat 1.28
unbd-sage22.smt2.6 sat 218.34
unbd-sage22.smt2.7 sat 1.44
unbd-sage22.smt2.8 sat 4.33
unbd-sage22.smt2.9 sat 0.02
unbd-sage23.smt2.1 sat 0.7
unbd-sage23.smt2.10 sat 0.64
unbd-sage23.smt2.2 sat 4.77
unbd-sage23.smt2.3 sat 0.05
unbd-sage23.smt2.4 sat 0.39
unbd-sage23.smt2.5 sat 7.85
unbd-sage23.smt2.6 sat 10.11
unbd-sage23.smt2.7 sat 0.99
unbd-sage23.smt2.9 sat 1.1
unbd-sage24.smt2.10 sat 57.17
unbd-sage24.smt2.2 sat 69.03
unbd-sage24.smt2.4 sat 0.16
unbd-sage24.smt2.5 sat 74.59
unbd-sage24.smt2.6 sat 1.26
unbd-sage24.smt2.7 sat 75.24
unbd-sage24.smt2.8 sat 1.35
unbd-sage24.smt2.9 sat 8.18
unbd-sage3.smt2.1 sat 1.77
unbd-sage3.smt2.10 sat 0.13
unbd-sage3.smt2.2 sat 0.16
unbd-sage3.smt2.3 sat 0.09
unbd-sage3.smt2.4 sat 0.08
unbd-sage3.smt2.5 sat 0.11
unbd-sage3.smt2.6 sat 0.1
unbd-sage3.smt2.7 sat 0.16
unbd-sage3.smt2.8 sat 0.47
unbd-sage3.smt2.9 sat 1.48
unbd-sage4.smt2.1 sat 1.65
unbd-sage4.smt2.10 sat 0.08
unbd-sage4.smt2.2 sat 2.15
unbd-sage4.smt2.3 sat 3.18
unbd-sage4.smt2.4 sat 6.28
unbd-sage4.smt2.5 sat 0.2
unbd-sage4.smt2.6 sat 0.13
unbd-sage4.smt2.7 sat 0.75
unbd-sage4.smt2.8 sat 0.09
unbd-sage4.smt2.9 sat 2.12
unbd-sage5.smt2.2 sat 5.92
unbd-sage5.smt2.4 sat 11.98
unbd-sage5.smt2.5 sat 2.69
unbd-sage5.smt2.6 sat 0.02
unbd-sage5.smt2.8 sat 2.06
unbd-sage5.smt2.9 sat 0.07
unbd-sage6.smt2.1 sat 0.16
unbd-sage6.smt2.10 sat 1.82
unbd-sage6.smt2.2 sat 2.24
unbd-sage6.smt2.3 sat 0.15
unbd-sage6.smt2.6 sat 0.21
unbd-sage6.smt2.7 sat 0.17
unbd-sage6.smt2.8 sat 0.15
unbd-sage6.smt2.9 sat 0.11
unbd-sage7.smt2.1 sat 1.34
unbd-sage7.smt2.10 sat 0.24
unbd-sage7.smt2.2 sat 4.22
unbd-sage7.smt2.3 sat 23.29
unbd-sage7.smt2.4 sat 0.17
unbd-sage7.smt2.5 sat 0.62
unbd-sage7.smt2.6 sat 1.64
unbd-sage7.smt2.7 sat 15.62
unbd-sage7.smt2.8 sat 1.77
unbd-sage7.smt2.9 sat 1.31
unbd-sage8.smt2.1 sat 6.21
unbd-sage8.smt2.2 sat 7.15
unbd-sage8.smt2.4 sat 1.01
unbd-sage8.smt2.5 sat 7.62
unbd-sage8.smt2.6 sat 7.41
unbd-sage8.smt2.7 sat 7.33
unbd-sage8.smt2.8 sat 1.05
unbd-sage8.smt2.9 sat 913.750016
unbd-sage9.smt2.1 sat 15.89
unbd-sage9.smt2.10 sat 17.93
unbd-sage9.smt2.2 sat 0.05
unbd-sage9.smt2.4 sat 0.08
unbd-sage9.smt2.5 sat 7.09
unbd-sage9.smt2.6 sat 9.25
unbd-sage9.smt2.7 sat 13.54
unbd-sage9.smt2.8 sat 9.17