detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn783.smt2 (content) unsat unknown 0.079s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn782.smt2 (content) unsat unknown 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn782.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn776.smt2 (content) unsat unknown 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn776.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn774.smt2 (content) unsat unknown 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn774.smt2 (content) unsat unknown 0.047s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn767.smt2 (content) unsat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn767.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn765.smt2 (content) unsat unknown 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn765.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn764.smt2 (content) unsat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn764.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn763.smt2 (content) unsat unknown 0.111s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn763.smt2 (content) unsat unknown 0.111s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn762.smt2 (content) unsat unknown 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn762.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn751.smt2 (content) unsat unknown 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn751.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn750.smt2 (content) unsat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn750.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn749.smt2 (content) unsat unknown 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn749.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn746.smt2 (content) unsat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn746.smt2 (content) unsat unknown 0.058s