detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl814.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl813.smt2 (content) unsat unknown 0.164s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl813.smt2 (content) unsat unknown 0.209s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl813.smt2 (content) unsat unknown 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl813.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl812.smt2 (content) unsat unknown 0.149s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl812.smt2 (content) unsat unknown 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl812.smt2 (content) unsat unknown 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl812.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl811.smt2 (content) unsat unknown 0.127s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl811.smt2 (content) unsat unknown 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl811.smt2 (content) unsat unknown 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl811.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl810.smt2 (content) unsat unknown 0.106s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl810.smt2 (content) unsat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl810.smt2 (content) unsat unknown 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl810.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl809.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl809.smt2 (content) unsat unknown 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl809.smt2 (content) unsat unknown 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl809.smt2 (content) unsat unknown 0.013s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl808.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl808.smt2 (content) unsat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl808.smt2 (content) unsat unknown 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl808.smt2 (content) unsat unknown 0.015s