detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl188.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl187.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl186.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl185.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl184.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl183.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl182.smt2 (content) unsat unknown 0.094s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl181.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl180.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl179.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl178.smt2 (content) unsat unknown 0.048s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl177.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl176.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl175.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl174.smt2 (content) unsat unknown 0.065s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl173.smt2 (content) unsat unknown 0.101s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl172.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl171.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl170.smt2 (content) unsat unknown 0.188s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.343s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.113s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.229s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.083s