detailed results (4684 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.4s
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 4.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408305/gensys_brn084.smt2 (content) unsat unsat 2.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408302/gensys_brn081.smt2 (content) unsat unsat 1.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408297/gensys_brn076.smt2 (content) unsat unsat 3.4s
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.671s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408285/gensys_brn064.smt2 (content) unsat unsat 1.9s
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.643s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408257/gensys_brn036.smt2 (content) unsat unsat 2.0s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408256/gensys_brn035.smt2 (content) unsat unsat 2.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408250/gensys_brn029.smt2 (content) unsat unsat 1.7s
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.251s
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.196s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408225/gensys_brn004.smt2 (content) unsat unsat 0.199s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408221/dead_dnd018.smt2 (content) unsat unsat 2.3s
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 5.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408217/dead_dnd014.smt2 (content) unsat unsat 4.7s