detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl458.smt2 (content) unsat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl458.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl457.smt2 (content) unsat unknown 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl457.smt2 (content) unsat unknown 0.090s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl456.smt2 (content) unsat unknown 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl456.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl455.smt2 (content) unsat unknown 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl455.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl454.smt2 (content) unsat unknown 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl454.smt2 (content) unsat unknown 0.055s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl453.smt2 (content) unsat unknown 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl453.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl452.smt2 (content) unsat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl452.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl451.smt2 (content) unsat unknown 0.096s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl451.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl450.smt2 (content) unsat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl450.smt2 (content) unsat unknown 0.100s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl449.smt2 (content) unsat unknown 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl449.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl448.smt2 (content) unsat unknown 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl448.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl447.smt2 (content) unsat unknown 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl447.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl446.smt2 (content) unsat unknown 0.049s