detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.602s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.487s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.487s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.444s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.426s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.392s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.369s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.416s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.404s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.444s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.423s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.408s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.425s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.498s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.501s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.565s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.560s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.288s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.284s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.283s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.285s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.182s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.165s