detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_reg_max.smt2 (content) unsat unknown 0.008s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.030s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.141s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.135s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2 (content) sat unknown 0.087s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2 (content) sat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2 (content) sat unknown 0.119s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2 (content) sat unknown 4.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2 (content) sat unknown 6.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2 (content) sat unknown 6.6s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2 (content) sat unknown 0.065s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2 (content) sat unknown 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2 (content) sat unknown 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2 (content) sat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.077s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2 (content) sat unknown 0.013s