detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl483.smt2 (content) unsat unknown 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl483.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl482.smt2 (content) unsat unknown 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl482.smt2 (content) unsat unknown 0.050s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl481.smt2 (content) unsat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl481.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl480.smt2 (content) unsat unknown 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl480.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl479.smt2 (content) unsat unknown 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl479.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl478.smt2 (content) unsat unknown 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl478.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl477.smt2 (content) unsat unknown 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl477.smt2 (content) unsat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl476.smt2 (content) unsat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl476.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl475.smt2 (content) unsat unknown 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl475.smt2 (content) unsat unknown 0.076s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl474.smt2 (content) unsat unknown 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl474.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl473.smt2 (content) unsat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl473.smt2 (content) unsat unknown 0.048s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl472.smt2 (content) unsat unknown 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl472.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl471.smt2 (content) unsat unknown 0.043s