problem result overall_time
unbd-sage0.smt2.1 sat 0.04
unbd-sage0.smt2.10 sat 7.79
unbd-sage0.smt2.3 sat 0
unbd-sage0.smt2.4 sat 0
unbd-sage0.smt2.5 sat 15.76
unbd-sage0.smt2.6 sat 3.17
unbd-sage0.smt2.8 sat 3.29
unbd-sage1.smt2.1 sat 0.61
unbd-sage1.smt2.10 sat 0.03
unbd-sage1.smt2.3 sat 1.09
unbd-sage1.smt2.4 sat 0
unbd-sage1.smt2.7 sat 0.03
unbd-sage1.smt2.8 sat 0.23
unbd-sage1.smt2.9 sat 0.05
unbd-sage10.smt2.1 sat 13.86
unbd-sage10.smt2.10 sat 187.53
unbd-sage10.smt2.2 sat 44.46
unbd-sage10.smt2.3 sat 13.72
unbd-sage10.smt2.4 sat 52.45
unbd-sage10.smt2.5 sat 0.23
unbd-sage10.smt2.6 sat 22.82
unbd-sage10.smt2.7 sat 0
unbd-sage10.smt2.8 sat 0
unbd-sage10.smt2.9 sat 52.77
unbd-sage11.smt2.10 sat 12.11
unbd-sage11.smt2.2 sat 1.05
unbd-sage11.smt2.3 sat 0.63
unbd-sage11.smt2.4 sat 2.2
unbd-sage11.smt2.5 sat 0.12
unbd-sage11.smt2.6 sat 0.03
unbd-sage11.smt2.7 sat 0.56
unbd-sage11.smt2.8 sat 0.17
unbd-sage11.smt2.9 sat 37
unbd-sage12.smt2.1 sat 0.16
unbd-sage12.smt2.10 sat 0
unbd-sage12.smt2.2 sat 2.85
unbd-sage12.smt2.4 sat 0
unbd-sage12.smt2.5 sat 0.16
unbd-sage12.smt2.7 sat 0.14
unbd-sage12.smt2.8 sat 0.16
unbd-sage12.smt2.9 sat 0
unbd-sage13.smt2.1 sat 0.47
unbd-sage13.smt2.2 sat 3.1
unbd-sage13.smt2.4 sat 3.07
unbd-sage13.smt2.5 sat 0.19
unbd-sage13.smt2.6 sat 0
unbd-sage13.smt2.7 sat 3.45
unbd-sage13.smt2.8 sat 1.56
unbd-sage13.smt2.9 sat 0.04
unbd-sage14.smt2.1 sat 0.96
unbd-sage14.smt2.2 sat 0.95
unbd-sage14.smt2.4 sat 1.46
unbd-sage14.smt2.5 sat 0
unbd-sage15.smt2.1 sat 0.34
unbd-sage15.smt2.10 sat 1.38
unbd-sage15.smt2.2 sat 1.09
unbd-sage15.smt2.3 sat 0
unbd-sage15.smt2.4 sat 2.14
unbd-sage15.smt2.5 sat 0.86
unbd-sage15.smt2.6 sat 0.83
unbd-sage15.smt2.7 sat 1.76
unbd-sage15.smt2.8 sat 6.12
unbd-sage15.smt2.9 sat 0.04
unbd-sage16.smt2.1 sat 0.14
unbd-sage16.smt2.2 sat 1.41
unbd-sage16.smt2.3 sat 0.03
unbd-sage16.smt2.5 sat 12.99
unbd-sage16.smt2.6 sat 0.15
unbd-sage16.smt2.7 sat 0.06
unbd-sage16.smt2.8 sat 0.92
unbd-sage16.smt2.9 sat 0.03
unbd-sage17.smt2.1 sat 7.53
unbd-sage17.smt2.2 sat 0
unbd-sage17.smt2.3 sat 12.05
unbd-sage17.smt2.4 sat 12.26
unbd-sage17.smt2.6 sat 22.03
unbd-sage17.smt2.7 sat 0.33
unbd-sage17.smt2.8 sat 0
unbd-sage17.smt2.9 sat 0.4
unbd-sage18.smt2.1 sat 0.21
unbd-sage18.smt2.10 sat 0.03
unbd-sage18.smt2.2 sat 25.83
unbd-sage18.smt2.3 sat 1.53
unbd-sage18.smt2.4 sat 1.68
unbd-sage18.smt2.6 sat 0.45
unbd-sage18.smt2.7 sat 0
unbd-sage18.smt2.8 sat 6.3
unbd-sage18.smt2.9 sat 0.87
unbd-sage19.smt2.1 sat 0.01
unbd-sage19.smt2.10 sat 0.02
unbd-sage19.smt2.2 sat 0.45
unbd-sage19.smt2.3 sat 0.01
unbd-sage19.smt2.4 sat 1.77
unbd-sage19.smt2.5 sat 1.06
unbd-sage19.smt2.6 sat 0.06
unbd-sage19.smt2.7 sat 0.87
unbd-sage19.smt2.8 sat 0.65
unbd-sage19.smt2.9 sat 6.45
unbd-sage2.smt2.2 sat 0.91
unbd-sage2.smt2.3 sat 2
unbd-sage2.smt2.4 sat 0.24
unbd-sage2.smt2.6 sat 0.18
unbd-sage2.smt2.9 sat 0.64
unbd-sage20.smt2.1 sat 3.42
unbd-sage20.smt2.10 sat 0.02
unbd-sage20.smt2.2 sat 5.19
unbd-sage20.smt2.3 sat 0
unbd-sage20.smt2.4 sat 0.03
unbd-sage20.smt2.5 sat 0
unbd-sage20.smt2.6 sat 0
unbd-sage20.smt2.7 sat 0.62
unbd-sage20.smt2.9 sat 0.01
unbd-sage21.smt2.1 sat 0.16
unbd-sage21.smt2.10 sat 0.58
unbd-sage21.smt2.2 sat 0.14
unbd-sage21.smt2.4 sat 0.09
unbd-sage21.smt2.5 sat 0
unbd-sage21.smt2.6 sat 0.1
unbd-sage21.smt2.7 sat 0
unbd-sage21.smt2.8 sat 0.37
unbd-sage21.smt2.9 sat 1.71
unbd-sage22.smt2.1 sat 0
unbd-sage22.smt2.10 sat 6.18
unbd-sage22.smt2.2 sat 2.48
unbd-sage22.smt2.4 sat 0
unbd-sage22.smt2.5 sat 0
unbd-sage22.smt2.7 sat 4.81
unbd-sage22.smt2.8 sat 5.38
unbd-sage22.smt2.9 sat 3.51
unbd-sage23.smt2.1 sat 0.67
unbd-sage23.smt2.10 sat 0.37
unbd-sage23.smt2.2 sat 4.53
unbd-sage23.smt2.3 sat 0.6
unbd-sage23.smt2.4 sat 0.73
unbd-sage23.smt2.7 sat 1.73
unbd-sage23.smt2.8 sat 0.02
unbd-sage23.smt2.9 sat 0.44
unbd-sage24.smt2.1 sat 15.69
unbd-sage24.smt2.10 sat 1.61
unbd-sage24.smt2.2 sat 7.42
unbd-sage24.smt2.3 sat 0.37
unbd-sage24.smt2.4 sat 23.78
unbd-sage24.smt2.5 sat 0.83
unbd-sage24.smt2.7 sat 5.74
unbd-sage24.smt2.8 sat 1.92
unbd-sage24.smt2.9 sat 33.53
unbd-sage3.smt2.1 sat 0.21
unbd-sage3.smt2.10 sat 0.55
unbd-sage3.smt2.2 sat 0.68
unbd-sage3.smt2.3 sat 0
unbd-sage3.smt2.4 sat 0.42
unbd-sage3.smt2.5 sat 0
unbd-sage3.smt2.6 sat 0
unbd-sage3.smt2.7 sat 0
unbd-sage4.smt2.1 sat 0.6
unbd-sage4.smt2.10 sat 0
unbd-sage4.smt2.2 sat 4.27
unbd-sage4.smt2.3 sat 0.81
unbd-sage4.smt2.4 sat 0.9
unbd-sage4.smt2.5 sat 0.02
unbd-sage4.smt2.6 sat 0.63
unbd-sage4.smt2.7 sat 0.06
unbd-sage4.smt2.8 sat 0.63
unbd-sage5.smt2.1 sat 0.63
unbd-sage5.smt2.10 sat 0.51
unbd-sage5.smt2.2 sat 0.16
unbd-sage5.smt2.3 sat 3.95
unbd-sage5.smt2.4 sat 0
unbd-sage5.smt2.5 sat 2.55
unbd-sage5.smt2.6 sat 2.91
unbd-sage5.smt2.7 sat 0
unbd-sage5.smt2.8 sat 2.26
unbd-sage6.smt2.2 sat 2.09
unbd-sage6.smt2.4 sat 0.04
unbd-sage6.smt2.5 sat 0.04
unbd-sage6.smt2.6 sat 0.51
unbd-sage6.smt2.7 sat 0.56
unbd-sage7.smt2.10 sat 1.4
unbd-sage7.smt2.2 sat 0.63
unbd-sage7.smt2.3 sat 0.39
unbd-sage7.smt2.4 sat 0.01
unbd-sage7.smt2.5 sat 0.18
unbd-sage7.smt2.6 sat 1.13
unbd-sage7.smt2.7 sat 3.39
unbd-sage7.smt2.8 sat 1.06
unbd-sage8.smt2.1 sat 4.33
unbd-sage8.smt2.10 sat 0.03
unbd-sage8.smt2.2 sat 1.48
unbd-sage8.smt2.3 sat 0
unbd-sage8.smt2.4 sat 2.96
unbd-sage8.smt2.5 sat 5.03
unbd-sage8.smt2.6 sat 25.44
unbd-sage8.smt2.7 sat 0.02
unbd-sage8.smt2.8 sat 3.83
unbd-sage9.smt2.2 sat 0.02
unbd-sage9.smt2.3 sat 0.01
unbd-sage9.smt2.4 sat 0.75
unbd-sage9.smt2.5 sat 0.03
unbd-sage9.smt2.6 sat 7.64
unbd-sage9.smt2.7 sat 4.31
unbd-sage9.smt2.8 sat 7.57