detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl283.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl282.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl281.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl280.smt2 (content) unsat unknown 0.090s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl279.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl278.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl277.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl276.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl275.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl274.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl273.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl272.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl271.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl270.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl269.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl268.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl267.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl266.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl265.smt2 (content) unsat unknown 0.119s