detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_cti_max.smt2 (content) sat unknown 0.338s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_reg_max.smt2 (content) unsat unknown 0.127s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_reg_max.smt2 (content) unsat unknown 0.348s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_reg_max.smt2 (content) unsat unknown 0.344s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_reg_max.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2 (content) sat unknown 0.731s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2 (content) sat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2 (content) sat unknown 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2 (content) sat unknown 0.374s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.129s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.329s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.328s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2 (content) sat unknown 0.340s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2 (content) sat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2 (content) sat unknown 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2 (content) sat unknown 0.340s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_reg_max.smt2 (content) unsat unknown 0.097s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_reg_max.smt2 (content) unsat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_reg_max.smt2 (content) unsat unknown 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_reg_max.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2 (content) sat unknown 0.241s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2 (content) sat unknown 0.551s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2 (content) sat unknown 0.547s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2 (content) sat unknown 0.198s