detailed results (468 total)

prover file res expected time
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/410886/gensys_icl558.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410876/gensys_icl548.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/410834/gensys_icl506.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410499/gensys_icl171.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/410479/gensys_icl151.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.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/409936/gensys_brn891.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409851/gensys_brn806.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408845/gensys_brn1025.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408808/gensys_brn091.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408686/dead_dnd035.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408202/PEQ020_size6.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408190/PEQ016_size5.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408185/PEQ014_size10.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408184/PEQ013_size8.smt2 (content) timeout unknown 31s