detailed results (545 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411132/gensys_icl804.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411130/gensys_icl802.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411128/gensys_icl800.smt2 (content) unknown unsat 30.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411111/gensys_icl783.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411085/gensys_icl757.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411050/gensys_icl722.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411008/gensys_icl680.smt2 (content) unknown unsat 30.3s
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.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410987/gensys_icl659.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410986/gensys_icl658.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410981/gensys_icl653.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410966/gensys_icl638.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410962/gensys_icl634.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410951/gensys_icl623.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410949/gensys_icl621.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410948/gensys_icl620.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410939/gensys_icl611.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410938/gensys_icl610.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410935/gensys_icl607.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410933/gensys_icl605.smt2 (content) unknown unsat 30.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410919/gensys_icl591.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410913/gensys_icl585.smt2 (content) unknown unsat 30.6s