detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl026.smt2 (content) unsat unknown 0.969s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl025.smt2 (content) unsat unknown 0.927s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl025.smt2 (content) unsat unknown 0.927s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.603s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.604s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.821s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.821s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.873s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.833s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.813s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.807s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.178s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.175s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl018.smt2 (content) unsat unknown 0.187s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl018.smt2 (content) unsat unknown 0.188s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl017.smt2 (content) unsat unknown 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl017.smt2 (content) unsat unknown 0.041s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl016.smt2 (content) unsat unknown 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl016.smt2 (content) unsat unknown 0.042s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl015.smt2 (content) unsat unknown 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl015.smt2 (content) unsat unknown 0.072s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl014.smt2 (content) unsat unknown 0.251s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl014.smt2 (content) unsat unknown 0.243s