detailed results (4695 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.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408306/gensys_brn085.smt2 (content) unsat unsat 3.5s
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.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408294/gensys_brn073.smt2 (content) unsat unsat 2.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408286/gensys_brn065.smt2 (content) unsat unsat 0.586s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408285/gensys_brn064.smt2 (content) unsat unsat 2.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408273/gensys_brn052.smt2 (content) unsat unsat 1.2s
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.535s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2 (content) unsat unsat 2.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2 (content) unsat unsat 2.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 1.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 2.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.219s
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.166s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408225/gensys_brn004.smt2 (content) unsat unsat 0.197s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408221/dead_dnd018.smt2 (content) unsat unsat 2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408220/dead_dnd017.smt2 (content) unsat unsat 0.314s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408219/dead_dnd016.smt2 (content) unsat unsat 3.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408218/dead_dnd015.smt2 (content) unsat unsat 5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408217/dead_dnd014.smt2 (content) unsat unsat 4.2s