detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl214.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl213.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl212.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl211.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl210.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl209.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl208.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl207.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl206.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl205.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl204.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl203.smt2 (content) unsat unknown 0.097s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl202.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unknown 0.047s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unknown 0.100s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl194.smt2 (content) unsat unknown 0.080s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl193.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl192.smt2 (content) unsat unknown 0.053s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl191.smt2 (content) unsat unknown 0.068s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl190.smt2 (content) unsat unknown 0.068s