detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.4.prop1_ab_cti_max.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.4.prop1_ab_cti_max.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.015s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.2.prop1_ab_cti_max.smt2 (content) sat sat 0.113s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.2.prop1_ab_cti_max.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.1.prop1_ab_cti_max.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_brp.1.prop1_ab_cti_max.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.010s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.3.prop1_ab_cti_max.smt2 (content) sat sat 0.177s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.3.prop1_ab_cti_max.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_reg_max.smt2 (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_reg_max.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_cti_max.smt2 (content) sat sat 0.123s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.2.prop1_ab_cti_max.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.011s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_reg_max.smt2 (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_cti_max.smt2 (content) sat sat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_bridge.1.prop1_ab_cti_max.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_blocks.4.prop1_ab_cti_max.smt2 (content) sat sat 0.123s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_blocks.4.prop1_ab_cti_max.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.082s