problem result overall_time
unbd-sage0.smt2.1 sat 0.02
unbd-sage0.smt2.10 sat 0.04
unbd-sage0.smt2.2 sat 0.01
unbd-sage0.smt2.3 sat 0.01
unbd-sage0.smt2.4 sat 0.01
unbd-sage0.smt2.5 sat 0.01
unbd-sage0.smt2.6 sat 0.02
unbd-sage0.smt2.7 sat 0.02
unbd-sage0.smt2.8 sat 0.01
unbd-sage0.smt2.9 sat 0.02
unbd-sage1.smt2.1 sat 0.08
unbd-sage1.smt2.10 sat 0.01
unbd-sage1.smt2.2 sat 0.03
unbd-sage1.smt2.3 sat 0.12
unbd-sage1.smt2.4 sat 0.22
unbd-sage1.smt2.5 sat 0.06
unbd-sage1.smt2.6 sat 0.03
unbd-sage1.smt2.7 sat 0.02
unbd-sage1.smt2.8 sat 0.19
unbd-sage1.smt2.9 sat 0.01
unbd-sage10.smt2.1 sat 0.01
unbd-sage10.smt2.10 sat 0.02
unbd-sage10.smt2.2 sat 0.01
unbd-sage10.smt2.3 sat 0.01
unbd-sage10.smt2.4 sat 0.02
unbd-sage10.smt2.5 sat 0.01
unbd-sage10.smt2.6 sat 0.01
unbd-sage10.smt2.7 sat 0
unbd-sage10.smt2.8 sat 0
unbd-sage10.smt2.9 sat 0.01
unbd-sage11.smt2.1 sat 0.02
unbd-sage11.smt2.10 sat 0.02
unbd-sage11.smt2.2 sat 0.01
unbd-sage11.smt2.3 sat 0.01
unbd-sage11.smt2.4 sat 0.07
unbd-sage11.smt2.5 sat 0.02
unbd-sage11.smt2.6 sat 0.24
unbd-sage11.smt2.7 sat 0.29
unbd-sage11.smt2.8 sat 0.01
unbd-sage11.smt2.9 sat 0.02
unbd-sage12.smt2.1 sat 0.16
unbd-sage12.smt2.10 sat 0.04
unbd-sage12.smt2.2 sat 3.07
unbd-sage12.smt2.3 sat 0.01
unbd-sage12.smt2.4 sat 0.04
unbd-sage12.smt2.5 sat 0.19
unbd-sage12.smt2.6 sat 0.09
unbd-sage12.smt2.7 sat 0.02
unbd-sage12.smt2.8 sat 0.02
unbd-sage12.smt2.9 sat 0.01
unbd-sage13.smt2.1 sat 0.01
unbd-sage13.smt2.10 sat 0.03
unbd-sage13.smt2.2 sat 0.01
unbd-sage13.smt2.3 sat 0.03
unbd-sage13.smt2.4 sat 0.02
unbd-sage13.smt2.5 sat 0.01
unbd-sage13.smt2.6 sat 0.01
unbd-sage13.smt2.7 sat 0.01
unbd-sage13.smt2.8 sat 0.02
unbd-sage13.smt2.9 sat 0.01
unbd-sage14.smt2.1 sat 0.05
unbd-sage14.smt2.10 sat 0.02
unbd-sage14.smt2.2 sat 0.07
unbd-sage14.smt2.3 sat 0.01
unbd-sage14.smt2.4 sat 0.01
unbd-sage14.smt2.5 sat 0.01
unbd-sage14.smt2.6 sat 0.01
unbd-sage14.smt2.7 sat 0.01
unbd-sage14.smt2.8 sat 0.05
unbd-sage14.smt2.9 sat 0.01
unbd-sage15.smt2.1 sat 0.01
unbd-sage15.smt2.10 sat 0.02
unbd-sage15.smt2.2 sat 0.11
unbd-sage15.smt2.3 sat 0.01
unbd-sage15.smt2.4 sat 0.02
unbd-sage15.smt2.5 sat 0.18
unbd-sage15.smt2.6 sat 0.03
unbd-sage15.smt2.7 sat 0.01
unbd-sage15.smt2.8 sat 0.02
unbd-sage15.smt2.9 sat 0.01
unbd-sage16.smt2.1 sat 0.02
unbd-sage16.smt2.10 sat 0.01
unbd-sage16.smt2.2 sat 0
unbd-sage16.smt2.3 sat 0
unbd-sage16.smt2.4 sat 0
unbd-sage16.smt2.5 sat 0.01
unbd-sage16.smt2.6 sat 0.02
unbd-sage16.smt2.7 sat 0.01
unbd-sage16.smt2.8 sat 0.01
unbd-sage16.smt2.9 sat 0.01
unbd-sage17.smt2.1 sat 0.01
unbd-sage17.smt2.10 sat 0.02
unbd-sage17.smt2.2 sat 0.01
unbd-sage17.smt2.3 sat 0.04
unbd-sage17.smt2.4 sat 0.11
unbd-sage17.smt2.5 sat 0.03
unbd-sage17.smt2.6 sat 0.02
unbd-sage17.smt2.7 sat 0.03
unbd-sage17.smt2.8 sat 0
unbd-sage17.smt2.9 sat 0.03
unbd-sage18.smt2.1 sat 0.01
unbd-sage18.smt2.10 sat 0.01
unbd-sage18.smt2.2 sat 0.08
unbd-sage18.smt2.3 sat 0.04
unbd-sage18.smt2.4 sat 0.03
unbd-sage18.smt2.5 sat 0.01
unbd-sage18.smt2.6 sat 0.01
unbd-sage18.smt2.7 sat 0.01
unbd-sage18.smt2.8 sat 0.01
unbd-sage18.smt2.9 sat 0.03
unbd-sage19.smt2.1 sat 0.03
unbd-sage19.smt2.10 sat 0.01
unbd-sage19.smt2.2 sat 0.05
unbd-sage19.smt2.3 sat 0.01
unbd-sage19.smt2.4 sat 0.05
unbd-sage19.smt2.5 sat 0.02
unbd-sage19.smt2.6 sat 0.01
unbd-sage19.smt2.7 sat 0.09
unbd-sage19.smt2.8 sat 0.06
unbd-sage19.smt2.9 sat 0.08
unbd-sage2.smt2.1 sat 0.03
unbd-sage2.smt2.10 sat 0.02
unbd-sage2.smt2.2 sat 0.04
unbd-sage2.smt2.3 sat 0.09
unbd-sage2.smt2.4 sat 0.28
unbd-sage2.smt2.5 sat 0.01
unbd-sage2.smt2.6 sat 0.28
unbd-sage2.smt2.7 sat 0.08
unbd-sage2.smt2.8 sat 0.02
unbd-sage2.smt2.9 sat 0.18
unbd-sage20.smt2.1 sat 0.05
unbd-sage20.smt2.10 sat 0.01
unbd-sage20.smt2.2 sat 0.06
unbd-sage20.smt2.3 sat 0.01
unbd-sage20.smt2.4 sat 0.01
unbd-sage20.smt2.5 sat 0.01
unbd-sage20.smt2.6 sat 0
unbd-sage20.smt2.7 sat 0.01
unbd-sage20.smt2.8 sat 0.02
unbd-sage20.smt2.9 sat 0.01
unbd-sage21.smt2.1 sat 0.02
unbd-sage21.smt2.10 sat 0.06
unbd-sage21.smt2.2 sat 0.01
unbd-sage21.smt2.3 sat 0
unbd-sage21.smt2.4 sat 0.01
unbd-sage21.smt2.5 sat 0.01
unbd-sage21.smt2.6 sat 0.05
unbd-sage21.smt2.7 sat 0.04
unbd-sage21.smt2.8 sat 0.01
unbd-sage21.smt2.9 sat 0
unbd-sage22.smt2.1 sat 0.01
unbd-sage22.smt2.10 sat 0.02
unbd-sage22.smt2.2 sat 0.07
unbd-sage22.smt2.3 sat 0.01
unbd-sage22.smt2.4 sat 0.01
unbd-sage22.smt2.5 sat 0.01
unbd-sage22.smt2.6 sat 0.01
unbd-sage22.smt2.7 sat 0.01
unbd-sage22.smt2.8 sat 0.03
unbd-sage22.smt2.9 sat 0.12
unbd-sage23.smt2.1 sat 0.3
unbd-sage23.smt2.10 sat 0.02
unbd-sage23.smt2.2 sat 0.01
unbd-sage23.smt2.3 sat 0.01
unbd-sage23.smt2.4 sat 0.01
unbd-sage23.smt2.5 sat 0.01
unbd-sage23.smt2.6 sat 0.02
unbd-sage23.smt2.7 sat 0.07
unbd-sage23.smt2.8 sat 0.02
unbd-sage23.smt2.9 sat 0.01
unbd-sage24.smt2.1 sat 0.03
unbd-sage24.smt2.10 sat 0.02
unbd-sage24.smt2.2 sat 0.01
unbd-sage24.smt2.3 sat 0.01
unbd-sage24.smt2.4 sat 0.03
unbd-sage24.smt2.5 sat 0.01
unbd-sage24.smt2.6 sat 0
unbd-sage24.smt2.7 sat 0.01
unbd-sage24.smt2.8 sat 0.01
unbd-sage24.smt2.9 sat 0.01
unbd-sage3.smt2.1 sat 0.08
unbd-sage3.smt2.10 sat 0.09
unbd-sage3.smt2.2 sat 0.21
unbd-sage3.smt2.3 sat 0
unbd-sage3.smt2.4 sat 0.01
unbd-sage3.smt2.5 sat 0
unbd-sage3.smt2.6 sat 0.01
unbd-sage3.smt2.7 sat 0.01
unbd-sage3.smt2.8 sat 0.06
unbd-sage3.smt2.9 sat 0.02
unbd-sage4.smt2.1 sat 0.04
unbd-sage4.smt2.10 sat 0.03
unbd-sage4.smt2.2 sat 0.08
unbd-sage4.smt2.3 sat 0.01
unbd-sage4.smt2.4 sat 0.01
unbd-sage4.smt2.5 sat 0.03
unbd-sage4.smt2.6 sat 0.02
unbd-sage4.smt2.7 sat 0.01
unbd-sage4.smt2.8 sat 0.02
unbd-sage4.smt2.9 sat 0.01
unbd-sage5.smt2.1 sat 0.03
unbd-sage5.smt2.10 sat 0
unbd-sage5.smt2.2 sat 0.01
unbd-sage5.smt2.3 sat 0.01
unbd-sage5.smt2.4 sat 0.02
unbd-sage5.smt2.5 sat 0
unbd-sage5.smt2.6 sat 0.01
unbd-sage5.smt2.7 sat 0.01
unbd-sage5.smt2.8 sat 0.05
unbd-sage5.smt2.9 sat 0.01
unbd-sage6.smt2.1 sat 0.03
unbd-sage6.smt2.10 sat 0.33
unbd-sage6.smt2.2 sat 0.23
unbd-sage6.smt2.3 sat 0.01
unbd-sage6.smt2.4 sat 0
unbd-sage6.smt2.5 sat 0.01
unbd-sage6.smt2.6 sat 0.09
unbd-sage6.smt2.7 sat 0.07
unbd-sage6.smt2.8 sat 0.02
unbd-sage6.smt2.9 sat 0.02
unbd-sage7.smt2.1 sat 0.01
unbd-sage7.smt2.10 sat 0.01
unbd-sage7.smt2.2 sat 0.01
unbd-sage7.smt2.3 sat 0
unbd-sage7.smt2.4 sat 0
unbd-sage7.smt2.5 sat 0.01
unbd-sage7.smt2.6 sat 0.01
unbd-sage7.smt2.7 sat 0.05
unbd-sage7.smt2.8 sat 0
unbd-sage7.smt2.9 sat 0.01
unbd-sage8.smt2.1 sat 0.13
unbd-sage8.smt2.10 sat 0.03
unbd-sage8.smt2.2 sat 0.02
unbd-sage8.smt2.3 sat 0.01
unbd-sage8.smt2.4 sat 0.01
unbd-sage8.smt2.5 sat 0.02
unbd-sage8.smt2.6 sat 0.01
unbd-sage8.smt2.7 sat 0.01
unbd-sage8.smt2.8 sat 0.02
unbd-sage8.smt2.9 sat 0.02
unbd-sage9.smt2.1 sat 0.13
unbd-sage9.smt2.10 sat 0.02
unbd-sage9.smt2.2 sat 0.27
unbd-sage9.smt2.3 sat 0.01
unbd-sage9.smt2.4 sat 0.05
unbd-sage9.smt2.5 sat 0.01
unbd-sage9.smt2.6 sat 0.03
unbd-sage9.smt2.7 sat 0.74
unbd-sage9.smt2.8 sat 0.03
unbd-sage9.smt2.9 sat 0.05