detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk041.smt2 (content) sat unknown 0.324s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk041.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk041.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk040.smt2 (content) unsat unknown 0.805s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk040.smt2 (content) unsat unknown 0.205s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk040.smt2 (content) unsat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk039.smt2 (content) unsat unknown 3.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk039.smt2 (content) unsat unknown 0.273s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk039.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk038.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk038.smt2 (content) unsat unknown 0.304s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk038.smt2 (content) unsat unknown 0.068s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unknown 0.205s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unknown 0.119s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unknown 0.215s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unknown 7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unknown 0.221s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unknown 0.113s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_sk033.smt2 (content) unsat unknown 0.172s