detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl721.smt2 (content) unsat unknown 0.119s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl720.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl719.smt2 (content) unsat unknown 0.062s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl718.smt2 (content) unsat unknown 0.111s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl717.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl716.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl715.smt2 (content) unsat unknown 0.112s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl714.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl713.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl712.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl711.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl710.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl709.smt2 (content) unsat unknown 0.051s