detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen002.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen002.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen002.smt2 (content) unsat unknown 0.323s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen001.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen001.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_nogen001.smt2 (content) unsat unknown 1.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl013.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl013.smt2 (content) unsat unknown 0.372s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl013.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl012.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl012.smt2 (content) unsat unknown 0.387s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl012.smt2 (content) unsat unknown 0.080s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl011.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl011.smt2 (content) unsat unknown 0.572s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl011.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl010.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl010.smt2 (content) unsat unknown 0.274s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl010.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl009.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl009.smt2 (content) unsat unknown 0.564s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl009.smt2 (content) unsat unknown 0.093s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl008.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl008.smt2 (content) unsat unknown 0.898s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl008.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl007.smt2 (content) unsat unknown 1.7s