detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl673.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl672.smt2 (content) unsat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl671.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl670.smt2 (content) unsat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl669.smt2 (content) unsat unknown 0.171s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl668.smt2 (content) unsat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl667.smt2 (content) unsat unknown 0.231s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl666.smt2 (content) unsat unknown 0.228s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl665.smt2 (content) unsat unknown 0.165s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl664.smt2 (content) unsat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl663.smt2 (content) unsat unknown 0.140s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl662.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl661.smt2 (content) unsat unknown 0.215s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl660.smt2 (content) unsat unknown 0.092s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl659.smt2 (content) unsat unknown 0.555s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl658.smt2 (content) unsat unknown 0.168s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl657.smt2 (content) unsat unknown 0.331s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl656.smt2 (content) unsat unknown 0.182s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl655.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl654.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl653.smt2 (content) unsat unknown 0.151s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl652.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl651.smt2 (content) unsat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl650.smt2 (content) unsat unknown 0.311s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl649.smt2 (content) unsat unknown 0.115s