detailed results (2991 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.4.prop1_ab_reg_max.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.3.prop1_ab_reg_max.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.3.prop1_ab_cti_max.smt2 (content) sat sat 0.301s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.2.prop1_ab_cti_max.smt2 (content) sat sat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_mcs.1.prop1_ab_cti_max.smt2 (content) sat sat 0.208s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.4.prop1_ab_cti_max.smt2 (content) sat sat 0.486s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.3.prop1_ab_cti_max.smt2 (content) sat sat 0.335s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.2.prop1_ab_cti_max.smt2 (content) sat sat 0.619s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lup.1.prop1_ab_cti_max.smt2 (content) sat sat 0.277s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_loyd.3.prop1_ab_cti_max.smt2 (content) sat sat 0.371s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_cti_max.smt2 (content) sat sat 2.9s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.7.prop1_ab_cti_max.smt2 (content) sat sat 4s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.6.prop1_ab_cti_max.smt2 (content) sat sat 4.8s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.5.prop1_ab_cti_max.smt2 (content) sat sat 1.5s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.4.prop1_ab_cti_max.smt2 (content) sat sat 1s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.3.prop1_ab_cti_max.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.2.prop1_ab_cti_max.smt2 (content) sat sat 0.272s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_cti_max.smt2 (content) sat sat 0.446s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_reg_max.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_cti_max.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_reg_max.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_cti_max.smt2 (content) sat sat 0.600s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_reg_max.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_cti_max.smt2 (content) sat sat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_reg_max.smt2 (content) sat sat 0.024s