detailed results (565 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411162/gensys_icl834.smt2 (content) unknown unsat 30.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411161/gensys_icl833.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411159/gensys_icl831.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411146/gensys_icl818.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411145/gensys_icl817.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411135/gensys_icl807.smt2 (content) unknown unsat 30.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411134/gensys_icl806.smt2 (content) unknown unsat 30.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411132/gensys_icl804.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411130/gensys_icl802.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411128/gensys_icl800.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411111/gensys_icl783.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411085/gensys_icl757.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411081/gensys_icl753.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411008/gensys_icl680.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410991/gensys_icl663.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410988/gensys_icl660.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410987/gensys_icl659.smt2 (content) unknown unsat 30.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410966/gensys_icl638.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410965/gensys_icl637.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410960/gensys_icl632.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410959/gensys_icl631.smt2 (content) unknown unsat 30.7s