detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn569.smt2 (content) unsat unknown 0.222s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn568.smt2 (content) unsat unknown 0.177s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn566.smt2 (content) unsat unknown 0.157s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn563.smt2 (content) unsat unknown 0.205s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn559.smt2 (content) unsat unknown 0.196s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn556.smt2 (content) unsat unknown 0.154s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn554.smt2 (content) unsat unknown 0.569s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn551.smt2 (content) unsat unknown 0.604s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn550.smt2 (content) unsat unknown 0.270s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn546.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn542.smt2 (content) unsat unknown 0.151s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn541.smt2 (content) unsat unknown 0.148s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn539.smt2 (content) unsat unknown 0.205s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn532.smt2 (content) unsat unknown 0.178s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn528.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn524.smt2 (content) unsat unknown 0.291s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn520.smt2 (content) unsat unknown 0.154s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn518.smt2 (content) unsat unknown 0.136s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn507.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn505.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn504.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn502.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn500.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn493.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn492.smt2 (content) unsat unknown 0.053s