detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411314/gensys_icl986.smt2 (content) unsat unsat 2.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411313/gensys_icl985.smt2 (content) unsat unsat 8.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411312/gensys_icl984.smt2 (content) unsat unsat 4.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411310/gensys_icl982.smt2 (content) unsat unsat 8.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411309/gensys_icl981.smt2 (content) unsat unsat 2.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411307/gensys_icl979.smt2 (content) unsat unsat 7.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411305/gensys_icl977.smt2 (content) unsat unsat 2.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411304/gensys_icl976.smt2 (content) unsat unsat 1.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411298/gensys_icl970.smt2 (content) unsat unsat 1.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411295/gensys_icl967.smt2 (content) unsat unsat 2.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411294/gensys_icl966.smt2 (content) unsat unsat 2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411288/gensys_icl960.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411287/gensys_icl959.smt2 (content) unsat unsat 2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411286/gensys_icl958.smt2 (content) unsat unsat 1.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411285/gensys_icl957.smt2 (content) unsat unsat 2.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411284/gensys_icl956.smt2 (content) unsat unsat 1.0s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411283/gensys_icl955.smt2 (content) unsat unsat 2.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411282/gensys_icl954.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411281/gensys_icl953.smt2 (content) unsat unsat 1.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411278/gensys_icl950.smt2 (content) unsat unsat 8.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411275/gensys_icl947.smt2 (content) unsat unsat 8.4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411274/gensys_icl946.smt2 (content) unsat unsat 6.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411269/gensys_icl941.smt2 (content) unsat unsat 2.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411265/gensys_icl937.smt2 (content) unsat unsat 5.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411263/gensys_icl935.smt2 (content) unsat unsat 4.3s