detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412444/iso_brn789.smt2 (content) unsat unsat 0.251s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412443/iso_brn788.smt2 (content) unsat unsat 0.188s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412442/iso_brn787.smt2 (content) unsat unsat 0.128s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412438/iso_brn783.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412437/iso_brn782.smt2 (content) unsat unsat 0.118s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412431/iso_brn776.smt2 (content) unsat unsat 0.047s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412429/iso_brn774.smt2 (content) unsat unsat 0.055s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412422/iso_brn767.smt2 (content) unsat unsat 0.136s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412420/iso_brn765.smt2 (content) unsat unsat 0.114s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412419/iso_brn764.smt2 (content) unsat unsat 0.273s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412418/iso_brn763.smt2 (content) unsat unsat 0.150s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412417/iso_brn762.smt2 (content) unsat unsat 0.103s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412406/iso_brn751.smt2 (content) unsat unsat 0.153s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412405/iso_brn750.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412404/iso_brn749.smt2 (content) unsat unsat 0.141s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412401/iso_brn746.smt2 (content) unsat unsat 0.120s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412400/iso_brn745.smt2 (content) unsat unsat 0.137s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412398/iso_brn743.smt2 (content) unsat unsat 0.184s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412395/iso_brn740.smt2 (content) unsat unsat 0.277s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412394/iso_brn739.smt2 (content) unsat unsat 0.115s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412388/iso_brn733.smt2 (content) unsat unsat 0.196s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412381/iso_brn726.smt2 (content) unsat unsat 0.128s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412380/iso_brn725.smt2 (content) unsat unsat 0.087s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412372/iso_brn717.smt2 (content) unsat unsat 0.189s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.195s