problem result overall_time
unbd-sage0.smt2.2 sat 0.04
unbd-sage0.smt2.3 sat 0
unbd-sage0.smt2.4 sat 0
unbd-sage0.smt2.5 sat 0.06
unbd-sage0.smt2.6 sat 0.04
unbd-sage1.smt2.1 sat 1.4
unbd-sage1.smt2.10 sat 0.16
unbd-sage1.smt2.2 sat 2.07
unbd-sage1.smt2.3 sat 0.05
unbd-sage1.smt2.4 sat 0.23
unbd-sage1.smt2.5 sat 0.81
unbd-sage1.smt2.6 sat 3.48
unbd-sage1.smt2.7 sat 0.24
unbd-sage1.smt2.9 sat 0.15
unbd-sage10.smt2.10 sat 0.09
unbd-sage10.smt2.7 sat 0.17
unbd-sage10.smt2.8 sat 0.17
unbd-sage11.smt2.1 sat 1.87
unbd-sage11.smt2.10 sat 9.69
unbd-sage11.smt2.2 sat 2.91
unbd-sage11.smt2.3 sat 0.53
unbd-sage11.smt2.4 sat 4.52
unbd-sage11.smt2.5 sat 1.24
unbd-sage11.smt2.6 sat 0.1
unbd-sage11.smt2.7 sat 13.17
unbd-sage11.smt2.8 sat 0.26
unbd-sage11.smt2.9 sat 7.83
unbd-sage12.smt2.1 sat 0.63
unbd-sage12.smt2.10 sat 0.16
unbd-sage12.smt2.2 sat 0.77
unbd-sage12.smt2.3 sat 0.54
unbd-sage12.smt2.4 sat 0.17
unbd-sage12.smt2.5 sat 0.66
unbd-sage12.smt2.6 sat 0.15
unbd-sage12.smt2.7 sat 0.16
unbd-sage12.smt2.8 sat 0.34
unbd-sage12.smt2.9 sat 0.02
unbd-sage13.smt2.1 sat 0.2
unbd-sage13.smt2.10 sat 4.43
unbd-sage13.smt2.2 sat 1.17
unbd-sage13.smt2.3 sat 4.73
unbd-sage13.smt2.4 sat 2.84
unbd-sage13.smt2.5 sat 0.14
unbd-sage13.smt2.6 sat 0.43
unbd-sage13.smt2.7 sat 0.66
unbd-sage13.smt2.8 sat 1.02
unbd-sage13.smt2.9 sat 0.03
unbd-sage14.smt2.10 sat 0.08
unbd-sage14.smt2.2 sat 1.53
unbd-sage14.smt2.3 sat 1.85
unbd-sage14.smt2.4 sat 0.43
unbd-sage14.smt2.5 sat 0.24
unbd-sage14.smt2.7 sat 3.61
unbd-sage14.smt2.8 sat 2.18
unbd-sage14.smt2.9 sat 2.23
unbd-sage15.smt2.1 sat 11.97
unbd-sage15.smt2.10 sat 1.02
unbd-sage15.smt2.2 sat 1.26
unbd-sage15.smt2.4 sat 2.22
unbd-sage15.smt2.5 sat 0.55
unbd-sage15.smt2.6 sat 12.66
unbd-sage15.smt2.8 sat 6.14
unbd-sage16.smt2.1 sat 0.14
unbd-sage16.smt2.10 sat 0.03
unbd-sage16.smt2.2 sat 0.11
unbd-sage16.smt2.3 sat 0.02
unbd-sage16.smt2.4 sat 0.06
unbd-sage16.smt2.6 sat 0.11
unbd-sage16.smt2.7 sat 0.05
unbd-sage16.smt2.9 sat 0.01
unbd-sage17.smt2.1 sat 0.36
unbd-sage17.smt2.2 sat 0.14
unbd-sage17.smt2.5 sat 0.51
unbd-sage17.smt2.7 sat 0.37
unbd-sage17.smt2.8 sat 0
unbd-sage17.smt2.9 sat 0.69
unbd-sage18.smt2.1 sat 0.07
unbd-sage18.smt2.10 sat 0.03
unbd-sage18.smt2.2 sat 0.08
unbd-sage18.smt2.3 sat 0.12
unbd-sage18.smt2.4 sat 17.98
unbd-sage18.smt2.5 sat 0.06
unbd-sage18.smt2.6 sat 0.08
unbd-sage18.smt2.7 sat 0.02
unbd-sage18.smt2.8 sat 0.1
unbd-sage18.smt2.9 sat 0.08
unbd-sage19.smt2.1 sat 1.38
unbd-sage19.smt2.2 sat 1.54
unbd-sage19.smt2.5 sat 1.22
unbd-sage19.smt2.6 sat 5.99
unbd-sage19.smt2.7 sat 0.31
unbd-sage19.smt2.8 sat 0.04
unbd-sage19.smt2.9 sat 1.04
unbd-sage2.smt2.1 sat 1.71
unbd-sage2.smt2.10 sat 0.38
unbd-sage2.smt2.2 sat 0.59
unbd-sage2.smt2.3 sat 0.35
unbd-sage2.smt2.4 sat 2.73
unbd-sage2.smt2.5 sat 1.35
unbd-sage2.smt2.6 sat 0.2
unbd-sage2.smt2.7 sat 1.05
unbd-sage2.smt2.8 sat 0.39
unbd-sage20.smt2.10 sat 0.44
unbd-sage20.smt2.3 sat 0.65
unbd-sage20.smt2.4 sat 0
unbd-sage20.smt2.6 sat 0.08
unbd-sage20.smt2.9 sat 0.01
unbd-sage21.smt2.1 sat 0.85
unbd-sage21.smt2.10 sat 0.25
unbd-sage21.smt2.2 sat 0.19
unbd-sage21.smt2.3 sat 0.53
unbd-sage21.smt2.4 sat 0.14
unbd-sage21.smt2.5 sat 0.12
unbd-sage21.smt2.6 sat 0.06
unbd-sage21.smt2.7 sat 0.07
unbd-sage22.smt2.9 sat 0.03
unbd-sage23.smt2.1 sat 0.56
unbd-sage23.smt2.10 sat 0.39
unbd-sage23.smt2.2 sat 2.51
unbd-sage23.smt2.3 sat 0.31
unbd-sage23.smt2.5 sat 3.17
unbd-sage23.smt2.6 sat 0.08
unbd-sage23.smt2.7 sat 2.38
unbd-sage23.smt2.9 sat 0.85
unbd-sage24.smt2.1 sat 13.85
unbd-sage24.smt2.2 sat 5.06
unbd-sage24.smt2.3 sat 0.19
unbd-sage24.smt2.4 sat 0.16
unbd-sage24.smt2.6 sat 11.03
unbd-sage24.smt2.7 sat 12.1
unbd-sage24.smt2.8 sat 1.82
unbd-sage3.smt2.1 sat 0.08
unbd-sage3.smt2.10 sat 0.51
unbd-sage3.smt2.2 sat 0.5
unbd-sage3.smt2.3 sat 0.01
unbd-sage3.smt2.4 sat 0.78
unbd-sage3.smt2.5 sat 0.01
unbd-sage3.smt2.6 sat 0.03
unbd-sage3.smt2.7 sat 0.02
unbd-sage3.smt2.8 sat 0.18
unbd-sage3.smt2.9 sat 0.17
unbd-sage4.smt2.1 sat 0.28
unbd-sage4.smt2.10 sat 0.26
unbd-sage4.smt2.2 sat 0.27
unbd-sage4.smt2.3 sat 0.21
unbd-sage4.smt2.4 sat 0.13
unbd-sage4.smt2.5 sat 0.09
unbd-sage4.smt2.6 sat 0.18
unbd-sage4.smt2.7 sat 0.45
unbd-sage4.smt2.8 sat 0.25
unbd-sage4.smt2.9 sat 0.16
unbd-sage5.smt2.1 sat 0.02
unbd-sage5.smt2.10 sat 0.15
unbd-sage5.smt2.2 sat 1.68
unbd-sage5.smt2.3 sat 0.01
unbd-sage5.smt2.4 sat 0.03
unbd-sage5.smt2.5 sat 0.04
unbd-sage5.smt2.6 sat 0.05
unbd-sage5.smt2.7 sat 0.01
unbd-sage5.smt2.8 sat 1.61
unbd-sage5.smt2.9 sat 0.04
unbd-sage6.smt2.1 sat 0.44
unbd-sage6.smt2.2 sat 0.33
unbd-sage6.smt2.3 sat 0.43
unbd-sage6.smt2.8 sat 0.29
unbd-sage7.smt2.1 sat 5.17
unbd-sage7.smt2.10 sat 0.25
unbd-sage7.smt2.2 sat 6.95
unbd-sage7.smt2.3 sat 5.75
unbd-sage7.smt2.4 sat 0.02
unbd-sage7.smt2.5 sat 0.4
unbd-sage7.smt2.6 sat 1.4
unbd-sage7.smt2.7 sat 1.53
unbd-sage7.smt2.8 sat 5
unbd-sage7.smt2.9 sat 5.13
unbd-sage8.smt2.1 sat 0.03
unbd-sage8.smt2.10 sat 0.09
unbd-sage8.smt2.2 sat 0.09
unbd-sage8.smt2.3 sat 0.04
unbd-sage8.smt2.5 sat 0.06
unbd-sage8.smt2.6 sat 0.1
unbd-sage8.smt2.7 sat 0.08
unbd-sage9.smt2.10 sat 3.67
unbd-sage9.smt2.3 sat 1
unbd-sage9.smt2.4 sat 0.23