detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410973/gensys_icl645.smt2 (content) unsat unsat 6.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410972/gensys_icl644.smt2 (content) unsat unsat 7.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410970/gensys_icl642.smt2 (content) unsat unsat 5.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410967/gensys_icl639.smt2 (content) unsat unsat 6.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410964/gensys_icl636.smt2 (content) unsat unsat 3.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410952/gensys_icl624.smt2 (content) unsat unsat 2.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410943/gensys_icl615.smt2 (content) unsat unsat 4s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410928/gensys_icl600.smt2 (content) unsat unsat 9.2s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410927/gensys_icl599.smt2 (content) unsat unsat 2.7s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410926/gensys_icl598.smt2 (content) unsat unsat 2.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410925/gensys_icl597.smt2 (content) unsat unsat 7.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410924/gensys_icl596.smt2 (content) unsat unsat 8.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410920/gensys_icl592.smt2 (content) unsat unsat 5.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410910/gensys_icl582.smt2 (content) unsat unsat 6.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410895/gensys_icl567.smt2 (content) unsat unsat 2.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410884/gensys_icl556.smt2 (content) unsat unsat 2.8s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410883/gensys_icl555.smt2 (content) unsat unsat 3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410878/gensys_icl550.smt2 (content) unsat unsat 3.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410877/gensys_icl549.smt2 (content) unsat unsat 7.6s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410872/gensys_icl544.smt2 (content) unsat unsat 5.1s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410870/gensys_icl542.smt2 (content) unsat unsat 9.3s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410860/gensys_icl532.smt2 (content) unsat unsat 1.9s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410859/gensys_icl531.smt2 (content) unsat unsat 3.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410858/gensys_icl530.smt2 (content) unsat unsat 1.5s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410857/gensys_icl529.smt2 (content) unsat unsat 6.6s