detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unknown 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unknown 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unknown 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unknown 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unknown 0.105s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unknown 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unknown 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unknown 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unknown 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unknown 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unknown 0.096s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unknown 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unknown 0.035s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unknown 0.064s