detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl050.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unsat 1.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unsat 0.361s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unsat 4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unsat 0.456s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unsat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unsat 0.229s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unsat 0.853s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unsat 0.545s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unsat 0.205s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unsat 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unsat 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unsat 0.668s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unsat 0.789s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unsat 0.850s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unsat 0.070s