detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 2.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408286/gensys_brn065.smt2 (content) unsat unsat 0.592s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408285/gensys_brn064.smt2 (content) unsat unsat 1.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408273/gensys_brn052.smt2 (content) unsat unsat 1.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408272/gensys_brn051.smt2 (content) unsat unsat 2.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408261/gensys_brn040.smt2 (content) unsat unsat 0.556s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2 (content) unsat unsat 2.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2 (content) unsat unsat 2.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 1.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 2.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.249s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 1.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408229/gensys_brn008.smt2 (content) unsat unsat 0.198s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408225/gensys_brn004.smt2 (content) unsat unsat 0.199s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408221/dead_dnd018.smt2 (content) unsat unsat 2.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408220/dead_dnd017.smt2 (content) unsat unsat 0.320s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408219/dead_dnd016.smt2 (content) unsat unsat 3.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408218/dead_dnd015.smt2 (content) unsat unsat 6.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408217/dead_dnd014.smt2 (content) unsat unsat 4.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408216/dead_dnd013.smt2 (content) unsat unsat 2.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408215/dead_dnd012.smt2 (content) unsat unsat 2.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408214/dead_dnd011.smt2 (content) unsat unsat 1.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408213/dead_dnd010.smt2 (content) unsat unsat 2.6s