problem result overall_time
unbd-sage0.smt2.1 sat 0.13
unbd-sage0.smt2.10 sat 0.05
unbd-sage0.smt2.2 sat 43.07
unbd-sage0.smt2.3 sat 0.03
unbd-sage0.smt2.4 sat 0.02
unbd-sage0.smt2.5 sat 153.63
unbd-sage0.smt2.6 sat 12.18
unbd-sage0.smt2.7 sat 16.64
unbd-sage0.smt2.8 sat 16.71
unbd-sage0.smt2.9 sat 16.45
unbd-sage1.smt2.1 sat 3.34
unbd-sage1.smt2.10 sat 1.99
unbd-sage1.smt2.2 sat 0.11
unbd-sage1.smt2.3 sat 0.11
unbd-sage1.smt2.4 sat 0.04
unbd-sage1.smt2.5 sat 0.2
unbd-sage1.smt2.6 sat 0.16
unbd-sage1.smt2.7 sat 1.96
unbd-sage1.smt2.8 sat 1
unbd-sage1.smt2.9 sat 1.97
unbd-sage10.smt2.1 sat 0.17
unbd-sage10.smt2.10 sat 830.150016
unbd-sage10.smt2.2 sat 0.15
unbd-sage10.smt2.3 sat 0.16
unbd-sage10.smt2.4 sat 0.06
unbd-sage10.smt2.5 sat 0.05
unbd-sage10.smt2.6 sat 705.190016
unbd-sage10.smt2.7 sat 571.889984
unbd-sage10.smt2.8 sat 559.790016
unbd-sage10.smt2.9 sat 0.06
unbd-sage11.smt2.1 sat 1.68
unbd-sage11.smt2.10 sat 0.14
unbd-sage11.smt2.2 sat 0.11
unbd-sage11.smt2.3 sat 0.12
unbd-sage11.smt2.4 sat 5.41
unbd-sage11.smt2.5 sat 1.82
unbd-sage11.smt2.6 sat 0.1
unbd-sage11.smt2.7 sat 21.84
unbd-sage11.smt2.8 sat 0.11
unbd-sage11.smt2.9 sat 7.87
unbd-sage12.smt2.1 sat 0.05
unbd-sage12.smt2.10 sat 3.57
unbd-sage12.smt2.2 sat 1.67
unbd-sage12.smt2.3 sat 0.09
unbd-sage12.smt2.4 sat 3.89
unbd-sage12.smt2.5 sat 0.04
unbd-sage12.smt2.6 sat 1.45
unbd-sage12.smt2.7 sat 0.21
unbd-sage12.smt2.8 sat 1.71
unbd-sage12.smt2.9 sat 0.22
unbd-sage13.smt2.1 sat 0.03
unbd-sage13.smt2.10 sat 0.63
unbd-sage13.smt2.2 sat 0.3
unbd-sage13.smt2.3 sat 0.63
unbd-sage13.smt2.4 sat 3.52
unbd-sage13.smt2.5 sat 0.03
unbd-sage13.smt2.6 sat 3.18
unbd-sage13.smt2.7 sat 0.47
unbd-sage13.smt2.8 sat 4.03
unbd-sage13.smt2.9 sat 0.02
unbd-sage14.smt2.1 sat 1.32
unbd-sage14.smt2.10 sat 4.37
unbd-sage14.smt2.2 sat 2.48
unbd-sage14.smt2.3 sat 2.72
unbd-sage14.smt2.4 sat 5.73
unbd-sage14.smt2.5 sat 0.71
unbd-sage14.smt2.6 sat 6.28
unbd-sage14.smt2.7 sat 0.41
unbd-sage14.smt2.8 sat 4.62
unbd-sage14.smt2.9 sat 6.16
unbd-sage15.smt2.1 sat 6.68
unbd-sage15.smt2.10 sat 0.87
unbd-sage15.smt2.2 sat 3.09
unbd-sage15.smt2.3 sat 1.83
unbd-sage15.smt2.4 sat 5.51
unbd-sage15.smt2.5 sat 5.59
unbd-sage15.smt2.6 sat 0.28
unbd-sage15.smt2.7 sat 0.48
unbd-sage15.smt2.8 sat 0.31
unbd-sage15.smt2.9 sat 1.74
unbd-sage16.smt2.1 sat 0.14
unbd-sage16.smt2.10 sat 2.75
unbd-sage16.smt2.2 sat 2.58
unbd-sage16.smt2.3 sat 0.14
unbd-sage16.smt2.4 sat 3.57
unbd-sage16.smt2.5 sat 0.19
unbd-sage16.smt2.6 sat 0.22
unbd-sage16.smt2.7 sat 0.12
unbd-sage16.smt2.8 sat 18.43
unbd-sage16.smt2.9 sat 0.15
unbd-sage17.smt2.1 sat 0.26
unbd-sage17.smt2.10 sat 0.07
unbd-sage17.smt2.2 sat 0.03
unbd-sage17.smt2.3 sat 1.81
unbd-sage17.smt2.4 sat 11.35
unbd-sage17.smt2.5 sat 34.77
unbd-sage17.smt2.6 sat 5.68
unbd-sage17.smt2.7 sat 0.31
unbd-sage17.smt2.8 sat 0.98
unbd-sage17.smt2.9 sat 40.2
unbd-sage18.smt2.1 sat 0.02
unbd-sage18.smt2.10 sat 3.64
unbd-sage18.smt2.2 sat 13.17
unbd-sage18.smt2.3 sat 0.3
unbd-sage18.smt2.4 sat 0.12
unbd-sage18.smt2.5 sat 3.12
unbd-sage18.smt2.6 sat 6.49
unbd-sage18.smt2.7 sat 1.31
unbd-sage18.smt2.8 sat 5.45
unbd-sage18.smt2.9 sat 1.66
unbd-sage19.smt2.1 sat 0.25
unbd-sage19.smt2.10 sat 0.05
unbd-sage19.smt2.2 sat 2.54
unbd-sage19.smt2.3 sat 0.06
unbd-sage19.smt2.4 sat 0.71
unbd-sage19.smt2.5 sat 0.05
unbd-sage19.smt2.6 sat 0.19
unbd-sage19.smt2.7 sat 0.11
unbd-sage19.smt2.8 sat 0.23
unbd-sage19.smt2.9 sat 2.2
unbd-sage2.smt2.1 sat 1.64
unbd-sage2.smt2.10 sat 2.83
unbd-sage2.smt2.2 sat 0.27
unbd-sage2.smt2.3 sat 0.8
unbd-sage2.smt2.4 sat 1.01
unbd-sage2.smt2.5 sat 0.94
unbd-sage2.smt2.6 sat 0.26
unbd-sage2.smt2.7 sat 0.54
unbd-sage2.smt2.8 sat 2.99
unbd-sage2.smt2.9 sat 1.23
unbd-sage20.smt2.1 sat 7.13
unbd-sage20.smt2.10 sat 32.09
unbd-sage20.smt2.2 sat 0.13
unbd-sage20.smt2.3 sat 46.88
unbd-sage20.smt2.4 sat 5.88
unbd-sage20.smt2.5 sat 6.78
unbd-sage20.smt2.6 sat 15.74
unbd-sage20.smt2.7 sat 0.09
unbd-sage20.smt2.8 sat 7.53
unbd-sage20.smt2.9 sat 5.93
unbd-sage21.smt2.1 sat 1.62
unbd-sage21.smt2.10 sat 0.21
unbd-sage21.smt2.2 sat 1.7
unbd-sage21.smt2.3 sat 5.23
unbd-sage21.smt2.4 sat 0.65
unbd-sage21.smt2.5 sat 0.84
unbd-sage21.smt2.6 sat 0.01
unbd-sage21.smt2.7 sat 0.32
unbd-sage21.smt2.8 sat 0.43
unbd-sage21.smt2.9 sat 0.9
unbd-sage22.smt2.1 sat 17.34
unbd-sage22.smt2.10 sat 20.28
unbd-sage22.smt2.2 sat 26.66
unbd-sage22.smt2.3 sat 0.12
unbd-sage22.smt2.4 sat 15.01
unbd-sage22.smt2.5 sat 17.47
unbd-sage22.smt2.6 sat 14.1
unbd-sage22.smt2.7 sat 14.64
unbd-sage22.smt2.8 sat 0.09
unbd-sage22.smt2.9 sat 11.81
unbd-sage23.smt2.1 sat 0.14
unbd-sage23.smt2.10 sat 0.48
unbd-sage23.smt2.2 sat 3.2
unbd-sage23.smt2.3 sat 0.11
unbd-sage23.smt2.4 sat 0.12
unbd-sage23.smt2.5 sat 6.78
unbd-sage23.smt2.6 sat 0.22
unbd-sage23.smt2.7 sat 1.5
unbd-sage23.smt2.8 sat 3.36
unbd-sage23.smt2.9 sat 1.01
unbd-sage24.smt2.1 sat 11.5
unbd-sage24.smt2.10 sat 28.69
unbd-sage24.smt2.2 sat 0.12
unbd-sage24.smt2.3 sat 0.04
unbd-sage24.smt2.4 sat 7.72
unbd-sage24.smt2.5 sat 9.88
unbd-sage24.smt2.6 sat 0.33
unbd-sage24.smt2.7 sat 0.17
unbd-sage24.smt2.8 sat 3.54
unbd-sage24.smt2.9 sat 53.7
unbd-sage3.smt2.1 sat 0.25
unbd-sage3.smt2.10 sat 0.03
unbd-sage3.smt2.2 sat 1.44
unbd-sage3.smt2.3 sat 0.03
unbd-sage3.smt2.4 sat 1.84
unbd-sage3.smt2.5 sat 0.03
unbd-sage3.smt2.6 sat 0.04
unbd-sage3.smt2.7 sat 0.05
unbd-sage3.smt2.8 sat 1.03
unbd-sage3.smt2.9 sat 0.05
unbd-sage4.smt2.1 sat 0.09
unbd-sage4.smt2.10 sat 0.28
unbd-sage4.smt2.2 sat 1.64
unbd-sage4.smt2.3 sat 0.13
unbd-sage4.smt2.4 sat 0.21
unbd-sage4.smt2.5 sat 0.05
unbd-sage4.smt2.6 sat 0.04
unbd-sage4.smt2.7 sat 0.07
unbd-sage4.smt2.8 sat 0.06
unbd-sage4.smt2.9 sat 0.03
unbd-sage5.smt2.1 sat 0.06
unbd-sage5.smt2.10 sat 0.1
unbd-sage5.smt2.2 sat 5.35
unbd-sage5.smt2.3 sat 0.15
unbd-sage5.smt2.4 sat 12.16
unbd-sage5.smt2.5 sat 5
unbd-sage5.smt2.6 sat 33.34
unbd-sage5.smt2.7 sat 4.83
unbd-sage5.smt2.8 sat 6.18
unbd-sage5.smt2.9 sat 1.71
unbd-sage6.smt2.1 sat 2.23
unbd-sage6.smt2.10 sat 5.95
unbd-sage6.smt2.2 sat 0.51
unbd-sage6.smt2.3 sat 0.05
unbd-sage6.smt2.4 sat 0.73
unbd-sage6.smt2.5 sat 0.71
unbd-sage6.smt2.6 sat 0.02
unbd-sage6.smt2.7 sat 0.04
unbd-sage6.smt2.8 sat 0.13
unbd-sage6.smt2.9 sat 1.96
unbd-sage7.smt2.1 sat 0.19
unbd-sage7.smt2.10 sat 0.21
unbd-sage7.smt2.2 sat 1.69
unbd-sage7.smt2.3 sat 4.18
unbd-sage7.smt2.4 sat 0.01
unbd-sage7.smt2.5 sat 0.99
unbd-sage7.smt2.6 sat 1.69
unbd-sage7.smt2.7 sat 2.8
unbd-sage7.smt2.8 sat 0.12
unbd-sage7.smt2.9 sat 0.2
unbd-sage8.smt2.1 sat 0.07
unbd-sage8.smt2.10 sat 0.09
unbd-sage8.smt2.2 sat 1.27
unbd-sage8.smt2.3 sat 102.42
unbd-sage8.smt2.4 sat 0.16
unbd-sage8.smt2.5 sat 40.4
unbd-sage8.smt2.6 sat 38.74
unbd-sage8.smt2.7 sat 0.09
unbd-sage8.smt2.8 sat 0.05
unbd-sage8.smt2.9 sat 0.27
unbd-sage9.smt2.1 sat 42.71
unbd-sage9.smt2.10 sat 11.07
unbd-sage9.smt2.2 sat 0.12
unbd-sage9.smt2.3 sat 9.39
unbd-sage9.smt2.4 sat 0.32
unbd-sage9.smt2.5 sat 28.56
unbd-sage9.smt2.6 sat 14.09
unbd-sage9.smt2.7 sat 22.78
unbd-sage9.smt2.8 sat 13.32
unbd-sage9.smt2.9 sat 52.74