detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unknown 0.176s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unknown 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl626.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unknown 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl625.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unknown 0.136s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unknown 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unknown 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl624.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unknown 0.265s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unknown 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl623.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unknown 0.278s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unknown 0.275s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unknown 0.271s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl622.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unknown 0.253s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unknown 0.233s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unknown 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl621.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unknown 0.268s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl620.smt2 (content) unsat unknown 0.175s