detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unknown 0.111s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl938.smt2 (content) unsat unknown 0.108s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl937.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl936.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl935.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl934.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl933.smt2 (content) unsat unknown 0.079s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl932.smt2 (content) unsat unknown 0.079s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl931.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl930.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl929.smt2 (content) unsat unknown 0.084s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl928.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl927.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl926.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl925.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl924.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl923.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl922.smt2 (content) unsat unknown 0.095s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl921.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl920.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl919.smt2 (content) unsat unknown 0.102s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl918.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl917.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl916.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl915.smt2 (content) unsat unknown 0.066s