detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410850/gensys_icl522.smt2 (content) unsat unsat 4.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410849/gensys_icl521.smt2 (content) unsat unsat 6.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410848/gensys_icl520.smt2 (content) unsat unsat 15.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410847/gensys_icl519.smt2 (content) unsat unsat 3.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410846/gensys_icl518.smt2 (content) unsat unsat 16.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410845/gensys_icl517.smt2 (content) unsat unsat 9.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410844/gensys_icl516.smt2 (content) unsat unsat 2.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410843/gensys_icl515.smt2 (content) unsat unsat 11.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410842/gensys_icl514.smt2 (content) unsat unsat 7.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410841/gensys_icl513.smt2 (content) unsat unsat 2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410840/gensys_icl512.smt2 (content) unsat unsat 16.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410839/gensys_icl511.smt2 (content) unsat unsat 26.0s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410838/gensys_icl510.smt2 (content) unsat unsat 27.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410836/gensys_icl508.smt2 (content) unsat unsat 10.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410835/gensys_icl507.smt2 (content) unsat unsat 12.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410834/gensys_icl506.smt2 (content) unsat unsat 27.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410833/gensys_icl505.smt2 (content) unsat unsat 4.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410832/gensys_icl504.smt2 (content) unsat unsat 3.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410831/gensys_icl503.smt2 (content) unsat unsat 3.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410830/gensys_icl502.smt2 (content) unsat unsat 2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410829/gensys_icl501.smt2 (content) unsat unsat 3.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410828/gensys_icl500.smt2 (content) unsat unsat 2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410827/gensys_icl499.smt2 (content) unsat unsat 0.499s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410826/gensys_icl498.smt2 (content) unsat unsat 0.471s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410825/gensys_icl497.smt2 (content) unsat unsat 1.6s