detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410985/gensys_icl657.smt2 (content) unsat unsat 14s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410984/gensys_icl656.smt2 (content) unsat unsat 30.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410983/gensys_icl655.smt2 (content) unsat unsat 3.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410982/gensys_icl654.smt2 (content) unsat unsat 6.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2 (content) unsat unsat 10.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2 (content) unsat unsat 19.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2 (content) unsat unsat 12.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2 (content) unsat unsat 22.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410976/gensys_icl648.smt2 (content) unsat unsat 13.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410975/gensys_icl647.smt2 (content) unsat unsat 18s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410974/gensys_icl646.smt2 (content) unsat unsat 13.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2 (content) unsat unsat 6.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2 (content) unsat unsat 8.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410971/gensys_icl643.smt2 (content) unsat unsat 20s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2 (content) unsat unsat 6.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410969/gensys_icl641.smt2 (content) unsat unsat 27.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410968/gensys_icl640.smt2 (content) unsat unsat 27.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410967/gensys_icl639.smt2 (content) unsat unsat 7.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410966/gensys_icl638.smt2 (content) unknown unsat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410964/gensys_icl636.smt2 (content) unsat unsat 3.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410963/gensys_icl635.smt2 (content) unsat unsat 13.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) unknown unsat 30.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410961/gensys_icl633.smt2 (content) unsat unsat 11.4s