detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_reg_max.smt2 (content) sat sat 0.019s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_reg_max.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_cti_max.smt2 (content) sat sat 0.338s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_cti_max.smt2 (content) sat sat 0.136s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_reg_max.smt2 (content) unsat unsat 0.374s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_reg_max.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_cti_max.smt2 (content) sat sat 2.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.7.prop1_ab_cti_max.smt2 (content) sat sat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_reg_max.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_reg_max.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_cti_max.smt2 (content) sat sat 2s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.6.prop1_ab_cti_max.smt2 (content) sat sat 0.131s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_reg_max.smt2 (content) unsat unsat 0.445s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_reg_max.smt2 (content) unsat unsat 0.149s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_cti_max.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.5.prop1_ab_cti_max.smt2 (content) sat sat 0.125s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_reg_max.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_cti_max.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.4.prop1_ab_cti_max.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_reg_max.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_cti_max.smt2 (content) sat sat 0.822s
z3 /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.3.prop1_ab_cti_max.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_synapse.2.prop1_ab_reg_max.smt2 (content) unsat unsat 0.556s