detailed results (4680 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408310/gensys_brn089.smt2 (content) unsat unsat 1.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408308/gensys_brn087.smt2 (content) unsat unsat 2.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408306/gensys_brn085.smt2 (content) unsat unsat 3.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408305/gensys_brn084.smt2 (content) unsat unsat 2.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 1.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 3.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 2.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408286/gensys_brn065.smt2 (content) unsat unsat 0.715s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408285/gensys_brn064.smt2 (content) unsat unsat 2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408273/gensys_brn052.smt2 (content) unsat unsat 1.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408272/gensys_brn051.smt2 (content) unsat unsat 2.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408261/gensys_brn040.smt2 (content) unsat unsat 0.570s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2 (content) unsat unsat 2.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2 (content) unsat unsat 2.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 1.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 2.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.269s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408229/gensys_brn008.smt2 (content) unsat unsat 0.167s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408225/gensys_brn004.smt2 (content) unsat unsat 0.226s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408221/dead_dnd018.smt2 (content) unsat unsat 2.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408220/dead_dnd017.smt2 (content) unsat unsat 0.379s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408219/dead_dnd016.smt2 (content) unsat unsat 3.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408218/dead_dnd015.smt2 (content) unsat unsat 6.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408217/dead_dnd014.smt2 (content) unsat unsat 4.4s