detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1090.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn109.smt2 (content) unsat unknown 0.128s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1089.smt2 (content) sat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1088.smt2 (content) sat unknown 0.012s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1087.smt2 (content) sat unknown 0.091s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1086.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1085.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1084.smt2 (content) unsat unknown 0.585s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1083.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.114s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.364s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.087s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unknown 0.099s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat unknown 0.104s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat unknown 0.679s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unknown 0.212s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unknown 0.153s