detailed results (7457 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.009s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.6.prop1_ab_cti_max.smt2 (content) sat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.5.prop1_ab_reg_max.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.5.prop1_ab_cti_max.smt2 (content) sat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_reg_max.smt2 (content) unsat unknown 0.014s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.4.prop1_ab_cti_max.smt2 (content) sat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.3.prop1_ab_reg_max.smt2 (content) unsat unknown 0.020s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.3.prop1_ab_cti_max.smt2 (content) sat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.2.prop1_ab_reg_max.smt2 (content) unsat unknown 0.010s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.2.prop1_ab_cti_max.smt2 (content) sat unknown 0.054s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.1.prop1_ab_reg_max.smt2 (content) unsat unknown 0.019s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_collision.1.prop1_ab_cti_max.smt2 (content) sat unknown 0.040s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cav14_example_v_ab_reg_max.smt2 (content) sat unknown 0.007s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cav14_example_v_ab_cti_max.smt2 (content) sat unknown 0.008s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop2_ab_reg_max.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop2_ab_fp_max.smt2 (content) sat unknown 0.644s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop2_ab_cti_max.smt2 (content) sat unknown 0.288s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop1_ab_reg_max.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop1_ab_fp_max.smt2 (content) sat unknown 0.467s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.7.prop1_ab_cti_max.smt2 (content) sat unknown 0.153s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_reg_max.smt2 (content) unsat unknown 0.011s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop2_ab_cti_max.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop1_ab_reg_max.smt2 (content) unsat unknown 0.015s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.6.prop1_ab_cti_max.smt2 (content) sat unknown 0.140s
sidekick /home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_cambridge.5.prop2_ab_reg_max.smt2 (content) unsat unknown 0.024s