detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409481/gensys_brn436.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409457/gensys_brn412.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409423/gensys_brn378.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409387/gensys_brn342.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409371/gensys_brn326.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409370/gensys_brn325.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409283/gensys_brn238.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409251/gensys_brn206.smt2 (content) timeout unsat 10s