detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412226/iso_brn571.smt2 (content) unsat unsat 0.230s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412224/iso_brn569.smt2 (content) unsat unsat 0.393s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412223/iso_brn568.smt2 (content) unsat unsat 0.335s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412221/iso_brn566.smt2 (content) unsat unsat 0.447s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412218/iso_brn563.smt2 (content) unsat unsat 0.255s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412214/iso_brn559.smt2 (content) unsat unsat 0.333s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412211/iso_brn556.smt2 (content) unsat unsat 0.273s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.402s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.297s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.198s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.306s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412197/iso_brn542.smt2 (content) unsat unsat 0.213s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412196/iso_brn541.smt2 (content) unsat unsat 0.240s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412194/iso_brn539.smt2 (content) unsat unsat 0.281s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412187/iso_brn532.smt2 (content) unsat unsat 0.232s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412183/iso_brn528.smt2 (content) unsat unsat 0.219s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412179/iso_brn524.smt2 (content) unsat unsat 0.257s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412175/iso_brn520.smt2 (content) unsat unsat 0.250s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412173/iso_brn518.smt2 (content) unsat unsat 0.277s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412162/iso_brn507.smt2 (content) unsat unsat 0.081s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412160/iso_brn505.smt2 (content) unsat unsat 0.033s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412159/iso_brn504.smt2 (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412157/iso_brn502.smt2 (content) unsat unsat 0.072s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412155/iso_brn500.smt2 (content) unsat unsat 0.140s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412148/iso_brn493.smt2 (content) unsat unsat 0.076s