detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl889.smt2 (content) unsat unknown 0.114s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unknown 0.070s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unknown 0.086s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unknown 0.097s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unknown 0.247s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unknown 0.240s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unknown 0.102s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unknown 0.095s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unknown 0.180s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unknown 0.093s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unknown 0.158s