detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.140s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.168s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.164s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl707.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.204s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.234s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.234s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl706.smt2 (content) unsat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl705.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.186s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl704.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.125s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.142s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.146s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl703.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.120s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl702.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unknown 0.176s