detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.8.prop1_ab_reg_max.smt2 (content) sat sat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop6_ab_reg_max.smt2 (content) unsat unsat 0.305s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop6_ab_reg_max.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop6_ab_cti_max.smt2 (content) sat sat 0.511s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop6_ab_cti_max.smt2 (content) sat sat 0.212s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_reg_max.smt2 (content) sat sat 0.029s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_reg_max.smt2 (content) sat sat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_cti_max.smt2 (content) sat sat 0.338s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop5_ab_cti_max.smt2 (content) sat sat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop2_ab_reg_max.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop2_ab_reg_max.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop2_ab_cti_max.smt2 (content) sat sat 0.468s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop2_ab_cti_max.smt2 (content) sat sat 0.228s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop1_ab_reg_max.smt2 (content) sat sat 0.815s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop1_ab_reg_max.smt2 (content) sat sat 0.117s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop1_ab_cti_max.smt2 (content) sat sat 0.584s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.7.prop1_ab_cti_max.smt2 (content) sat sat 0.190s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop6_ab_reg_max.smt2 (content) unsat unsat 0.313s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop6_ab_reg_max.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop6_ab_cti_max.smt2 (content) sat sat 0.513s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop6_ab_cti_max.smt2 (content) sat sat 0.227s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop5_ab_reg_max.smt2 (content) unsat unsat 0.455s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop5_ab_reg_max.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop5_ab_cti_max.smt2 (content) sat sat 0.449s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_pgm_protocol.6.prop5_ab_cti_max.smt2 (content) sat sat 0.180s