detailed results (481 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410908/gensys_icl580.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410902/gensys_icl574.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410900/gensys_icl572.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410899/gensys_icl571.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410898/gensys_icl570.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410897/gensys_icl569.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410896/gensys_icl568.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410893/gensys_icl565.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410889/gensys_icl561.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410875/gensys_icl547.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410866/gensys_icl538.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410837/gensys_icl509.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410506/gensys_icl178.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410496/gensys_icl168.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410485/gensys_icl157.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410484/gensys_icl156.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410476/gensys_icl148.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410132/gensys_icl088.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410128/gensys_icl084.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410126/gensys_icl082.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410114/gensys_icl070.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 31s