detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop2_ab_cti_max.smt2 (content) sat sat 0.853s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop2_ab_cti_max.smt2 (content) sat sat 0.254s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop1_ab_cti_max.smt2 (content) sat sat 0.467s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.4.prop1_ab_cti_max.smt2 (content) sat sat 0.257s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop4_ab_reg_max.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop4_ab_reg_max.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop4_ab_cti_max.smt2 (content) sat sat 0.230s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop4_ab_cti_max.smt2 (content) sat sat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop3_ab_reg_max.smt2 (content) unsat unsat 0.255s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop3_ab_reg_max.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop3_ab_cti_max.smt2 (content) sat sat 2s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop3_ab_cti_max.smt2 (content) sat sat 0.692s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop2_ab_reg_max.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop2_ab_reg_max.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop2_ab_cti_max.smt2 (content) sat sat 0.527s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop2_ab_cti_max.smt2 (content) sat sat 0.195s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop1_ab_cti_max.smt2 (content) sat sat 0.533s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.3.prop1_ab_cti_max.smt2 (content) sat sat 0.349s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.2.prop4_ab_reg_max.smt2 (content) unsat unsat 0.220s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.2.prop4_ab_reg_max.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_needham.2.prop4_ab_cti_max.smt2 (content) sat sat 0.492s