detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn597.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn596.smt2 (content) unsat unknown 0.111s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn596.smt2 (content) unsat unknown 0.110s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn596.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn595.smt2 (content) unsat unknown 0.142s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn595.smt2 (content) unsat unknown 0.080s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn595.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn594.smt2 (content) unsat unknown 0.496s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn594.smt2 (content) unsat unknown 0.419s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn594.smt2 (content) unsat unknown 0.087s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn593.smt2 (content) sat unknown 0.175s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn593.smt2 (content) sat unknown 0.140s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn593.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn592.smt2 (content) sat unknown 0.190s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn592.smt2 (content) sat unknown 0.092s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn592.smt2 (content) sat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn591.smt2 (content) sat unknown 0.180s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn591.smt2 (content) sat unknown 0.186s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn591.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn590.smt2 (content) unsat unknown 0.293s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn590.smt2 (content) unsat unknown 0.218s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn590.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn589.smt2 (content) sat unknown 0.190s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn589.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn589.smt2 (content) sat unknown 0.040s