detailed results (432 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413946/gensys_brn005.smt2 (content) unknown sat 30.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) unknown sat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) unknown sat 30.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) unknown unsat 30.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) unknown unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411177/gensys_icl849.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411174/gensys_icl846.smt2 (content) unknown unsat 30.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411171/gensys_icl843.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411162/gensys_icl834.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411161/gensys_icl833.smt2 (content) unknown unsat 30.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411156/gensys_icl828.smt2 (content) unknown unsat 30.0s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411146/gensys_icl818.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411145/gensys_icl817.smt2 (content) unknown unsat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411135/gensys_icl807.smt2 (content) unknown unsat 30.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411133/gensys_icl805.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411122/gensys_icl794.smt2 (content) unknown unsat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) unknown unsat 30.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411085/gensys_icl757.smt2 (content) unknown unsat 30.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410987/gensys_icl659.smt2 (content) unknown unsat 30s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410986/gensys_icl658.smt2 (content) unknown unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unknown unsat 30.8s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) unknown unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) unknown unsat 30.4s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410960/gensys_icl632.smt2 (content) unknown unsat 30.5s