input branch and bound incremental branch and bound CVC4 Z3
v20_problem__011.smt2.slack (converted) 22.282s sat 0.595s sat - timeout 0.409s sat
v25_problem_2__015.smt2.slack (converted) - timeout 4.092s sat 2.186s sat - timeout
v25_problem_2__030.smt2.slack (converted) - timeout 15.226s sat - timeout 25.590s sat
v25_problem__011.smt2.slack (converted) - timeout 2.148s sat - timeout 0.246s sat
v30_problem_2__009.smt2.slack (converted) 31.742s sat 3.138s sat - timeout 5.896s sat
v30_problem_2__018.smt2.slack (converted) - timeout 9.358s sat 40.857s sat - timeout
v30_problem_2__019.smt2.slack (converted) - timeout 3.487s sat 10.017s sat - timeout
v30_problem__014.smt2.slack (converted) - timeout 3.598s sat - timeout 8.393s sat
v30_problem__023.smt2.slack (converted) - timeout 12.994s sat - timeout 0.348s sat
v35_problem_2__011.smt2.slack (converted) - timeout 6.472s sat 4.625s sat - timeout
v35_problem__014.smt2.slack (converted) - timeout 14.233s sat - timeout 0.069s sat
v40_problem_2__013.smt2.slack (converted) - timeout 9.229s sat - timeout - timeout
v40_problem__014.smt2.slack (converted) - timeout 10.474s sat 16.730s sat - timeout
v40_problem__019.smt2.slack (converted) - timeout 18.158s sat - timeout 0.285s sat
v40_problem__020.smt2.slack (converted) - timeout 22.389s sat 39.244s sat - timeout
v45_problem_2__011.smt2.slack (converted) - timeout 10.436s sat - timeout 7.101s sat
v45_problem_2__012.smt2.slack (converted) - timeout 9.881s sat - timeout 9.539s sat
v45_problem_2__018.smt2.slack (converted) - timeout 17.005s sat 35.893s sat - timeout
v45_problem_2__020.smt2.slack (converted) - timeout 18.062s sat - timeout - timeout
v45_problem_2__022.smt2.slack (converted) - timeout 31.898s sat 46.255s sat - timeout
v45_problem__012.smt2.slack (converted) - timeout 32.189s sat 0.085s sat - timeout
v45_problem__016.smt2.slack (converted) - timeout 24.553s sat - timeout - timeout
v45_problem__018.smt2.slack (converted) - timeout 29.466s sat - timeout 22.827s sat
v45_problem__019.smt2.slack (converted) - timeout 23.478s sat 48.825s sat - timeout
v45_problem__020.smt2.slack (converted) - timeout 18.073s sat - timeout - timeout
unbd-sage12 (converted) 6.702s sat 0.202s sat - timeout 0.460s sat
unbd-sage13 (converted) 36.067s sat - timeout - timeout 1.089s sat
unbd-sage14 (converted) 1.129s sat 0.221s sat - timeout 0.206s sat
unbd-sage21 (converted) 8.905s sat 1.355s sat - timeout 0.082s sat
unbd-sage22 (converted) 33.121s sat - timeout - timeout 0.040s sat
unbd-sage7 (converted) 4.121s sat 0.849s sat - timeout 0.501s sat
pigeon-hole-12 (converted) 0.241s unsat 0.252s unsat 0.086s unsat - timeout
pigeon-hole-13 (converted) 0.352s unsat 0.349s unsat 0.097s unsat - timeout
pigeon-hole-14 (converted) 0.468s unsat 0.477s unsat 0.108s unsat - timeout
pigeon-hole-15 (converted) 0.642s unsat 0.643s unsat 0.124s unsat - timeout
pigeon-hole-16 (converted) 0.826s unsat 0.851s unsat 0.142s unsat - timeout
pigeon-hole-17 (converted) 1.082s unsat 1.099s unsat 0.164s unsat - timeout
pigeon-hole-18 (converted) 1.395s unsat 1.408s unsat 0.183s unsat - timeout
pigeon-hole-19 (converted) 1.806s unsat 1.787s unsat 0.206s unsat - timeout
pigeon-hole-20 (converted) 2.309s unsat 2.368s unsat 0.233s unsat - timeout
prime_cone_sat_15 (converted) 0.405s sat 0.031s sat - timeout 0.012s sat
25-14.slack (converted) - timeout 2.136s sat - timeout 0.169s sat
30-14.slack (converted) - timeout 3.921s sat - timeout 7.436s sat
30-16.slack (converted) - timeout 5.936s sat - timeout - timeout
35-18.slack (converted) - timeout 12.753s sat - timeout 8.930s sat
35-23.slack (converted) - timeout 21.280s sat - timeout - timeout
40-14.slack (converted) - timeout 15.802s sat - timeout 0.016s sat
40-16.slack (converted) - timeout 18.731s sat - timeout - timeout
40-19.slack (converted) - timeout 18.758s sat - timeout - timeout
45-13.slack (converted) - timeout 13.350s sat - timeout 7.059s sat
45-20.slack (converted) - timeout 22.443s sat 31.486s sat - timeout