detailed results (395 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411148/gensys_icl820.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411122/gensys_icl794.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411081/gensys_icl753.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410998/gensys_icl670.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410989/gensys_icl661.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410960/gensys_icl632.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410957/gensys_icl629.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410953/gensys_icl625.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410937/gensys_icl609.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410922/gensys_icl594.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410907/gensys_icl579.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410902/gensys_icl574.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410897/gensys_icl569.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410896/gensys_icl568.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410889/gensys_icl561.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410866/gensys_icl538.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410475/gensys_icl147.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410128/gensys_icl084.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410120/gensys_icl076.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410115/gensys_icl071.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) timeout unsat 31s