detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411012/gensys_icl684.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411010/gensys_icl682.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411009/gensys_icl681.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411008/gensys_icl680.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411007/gensys_icl679.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411002/gensys_icl674.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410999/gensys_icl671.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410998/gensys_icl670.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410993/gensys_icl665.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410992/gensys_icl664.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410991/gensys_icl663.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410989/gensys_icl661.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410988/gensys_icl660.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410987/gensys_icl659.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410986/gensys_icl658.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410985/gensys_icl657.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410984/gensys_icl656.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410980/gensys_icl652.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410979/gensys_icl651.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410978/gensys_icl650.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410977/gensys_icl649.smt2 (content) timeout unsat 10s