detailed results (14914 total)

prover file res expected time
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.216s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.123s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.235s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.220s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.109s