detailed results (4670 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.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 3.4s
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.664s
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.2s
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.579s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2 (content) unsat unsat 2.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2 (content) unsat unsat 2.9s
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.251s
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.206s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408225/gensys_brn004.smt2 (content) unsat unsat 0.247s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408221/dead_dnd018.smt2 (content) unsat unsat 2.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408220/dead_dnd017.smt2 (content) unsat unsat 0.313s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408219/dead_dnd016.smt2 (content) unsat unsat 3.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408218/dead_dnd015.smt2 (content) unsat unsat 5.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408217/dead_dnd014.smt2 (content) unsat unsat 4.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408216/dead_dnd013.smt2 (content) unsat unsat 2s
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.3s