detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.035s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.059s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.035s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.043s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.015s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.085s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.106s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.110s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.364s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.292s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.091s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.105s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.131s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.087s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.068s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.068s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unknown 0.099s