detailed results (3102 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_reg_max.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_fp_max.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_cti_max.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_br_max.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_usb_phy_ab_cti_max.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.7.prop1_ab_cti_max.smt2 (content) sat sat 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_cti_max.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.3.prop1_ab_cti_max.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.2.prop1_ab_cti_max.smt2 (content) sat sat 0.082s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_cti_max.smt2 (content) sat sat 0.196s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_cti_max.smt2 (content) sat sat 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_cti_max.smt2 (content) sat sat 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_cti_max.smt2 (content) sat sat 0.249s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_cti_max.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_cti_max.smt2 (content) sat sat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_cti_max.smt2 (content) sat sat 0.127s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_cti_max.smt2 (content) sat sat 0.088s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_reg_max.smt2 (content) sat sat 0.036s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_cti_max.smt2 (content) sat sat 0.208s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.4.prop1_ab_reg_max.smt2 (content) sat sat 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_reg_max.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_cti_max.smt2 (content) sat sat 0.085s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_reg_max.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_cti_max.smt2 (content) sat sat 0.091s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_reg_max.smt2 (content) sat sat 0.045s