detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl264.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl263.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl262.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl261.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl260.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl259.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl258.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl257.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl256.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl255.smt2 (content) unsat unknown 0.091s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl254.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl253.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl252.smt2 (content) unsat unknown 0.104s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl251.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl250.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl249.smt2 (content) unsat unknown 0.073s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl248.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl247.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl246.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl245.smt2 (content) unsat unknown 0.064s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl244.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl243.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl242.smt2 (content) unsat unknown 0.029s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl241.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl240.smt2 (content) unsat unknown 0.033s