detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop2_ab_reg_max.smt2 (content) sat sat 1.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop2_ab_reg_max.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop2_ab_cti_max.smt2 (content) sat sat 2.8s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop2_ab_cti_max.smt2 (content) sat sat 0.152s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop1_ab_reg_max.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop1_ab_reg_max.smt2 (content) sat sat 0.182s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop6_ab_reg_max.smt2 (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop6_ab_reg_max.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop6_ab_cti_max.smt2 (content) sat sat 5.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop6_ab_cti_max.smt2 (content) sat sat 0.256s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop5_ab_reg_max.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop5_ab_reg_max.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop5_ab_cti_max.smt2 (content) sat sat 6s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop5_ab_cti_max.smt2 (content) sat sat 0.197s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop2_ab_reg_max.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop2_ab_reg_max.smt2 (content) sat sat 0.106s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop2_ab_cti_max.smt2 (content) sat sat 10.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop2_ab_cti_max.smt2 (content) sat sat 0.305s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop1_ab_reg_max.smt2 (content) sat sat 0.955s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.5.prop1_ab_reg_max.smt2 (content) sat sat 0.158s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.4.prop6_ab_reg_max.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.4.prop6_ab_reg_max.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.4.prop6_ab_cti_max.smt2 (content) sat sat 5s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.4.prop6_ab_cti_max.smt2 (content) sat sat 0.184s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.4.prop5_ab_reg_max.smt2 (content) unsat unsat 0.511s