detailed results (3885 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-dev /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_icl063.smt2 (content) unsat unknown 0.426s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.369s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.404s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.423s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.425s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.501s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.560s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.284s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.285s
sidekick-dev /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_icl053.smt2 (content) unsat unknown 0.165s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.216s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.130s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.220s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.141s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.178s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.156s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unknown 0.155s