detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1257.smt2 (content) sat unknown 0.120s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1257.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1256.smt2 (content) sat unknown 0.316s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1256.smt2 (content) sat unknown 0.143s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1256.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1255.smt2 (content) sat unknown 0.086s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1255.smt2 (content) sat unknown 0.055s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1255.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1254.smt2 (content) sat unknown 0.187s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1254.smt2 (content) sat unknown 0.218s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1254.smt2 (content) sat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1253.smt2 (content) unsat unknown 0.224s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1253.smt2 (content) unsat unknown 0.159s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1253.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1252.smt2 (content) sat unknown 0.184s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1252.smt2 (content) sat unknown 0.153s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1252.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1251.smt2 (content) unsat unknown 0.124s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1251.smt2 (content) unsat unknown 0.113s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1251.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1250.smt2 (content) sat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1250.smt2 (content) sat unknown 0.088s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1250.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn125.smt2 (content) sat unknown 0.067s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn125.smt2 (content) sat unknown 0.082s