detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410042/gensys_brn997.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410018/gensys_brn973.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410014/gensys_brn969.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409978/gensys_brn933.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409977/gensys_brn932.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409950/gensys_brn905.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409948/gensys_brn903.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409925/gensys_brn880.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409896/gensys_brn851.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409851/gensys_brn806.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409850/gensys_brn805.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409800/gensys_brn755.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409797/gensys_brn752.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409768/gensys_brn723.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409741/gensys_brn696.smt2 (content) timeout unsat 10s