detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn353.smt2 (content) unsat unknown 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn353.smt2 (content) unsat unknown 0.104s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn351.smt2 (content) unsat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn351.smt2 (content) unsat unknown 0.079s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn346.smt2 (content) unsat unknown 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn346.smt2 (content) unsat unknown 0.116s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn345.smt2 (content) unsat unknown 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn345.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn344.smt2 (content) unsat unknown 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn344.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn341.smt2 (content) unsat unknown 0.129s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn341.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn333.smt2 (content) unsat unknown 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn333.smt2 (content) unsat unknown 0.082s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn331.smt2 (content) unsat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn331.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn322.smt2 (content) unsat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn322.smt2 (content) unsat unknown 0.087s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn317.smt2 (content) unsat unknown 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn317.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn316.smt2 (content) unsat unknown 0.176s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn316.smt2 (content) unsat unknown 0.186s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn315.smt2 (content) unsat unknown 0.141s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn315.smt2 (content) unsat unknown 0.139s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn314.smt2 (content) unsat unknown 0.113s