detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn313.smt2 (content) unsat unknown 0.112s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn313.smt2 (content) unsat unknown 0.107s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn313.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn312.smt2 (content) sat unknown 0.119s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn312.smt2 (content) sat unknown 0.127s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn312.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn311.smt2 (content) sat unknown 0.195s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn311.smt2 (content) sat unknown 0.129s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn311.smt2 (content) sat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn310.smt2 (content) sat unknown 0.194s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn310.smt2 (content) sat unknown 0.222s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn310.smt2 (content) sat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn309.smt2 (content) unsat unknown 0.149s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn309.smt2 (content) unsat unknown 0.172s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn309.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn308.smt2 (content) sat unknown 0.380s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn308.smt2 (content) sat unknown 0.246s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn308.smt2 (content) sat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn307.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn307.smt2 (content) unsat unknown 0.117s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn307.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn306.smt2 (content) sat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn306.smt2 (content) sat unknown 0.117s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn306.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn305.smt2 (content) unsat unknown 0.258s