detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl012.smt2 (content) unsat unsat 0.545s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl012.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl011.smt2 (content) unsat unsat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl011.smt2 (content) unsat unsat 0.083s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl010.smt2 (content) unsat unsat 0.769s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl010.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl009.smt2 (content) unsat unsat 0.957s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl009.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl008.smt2 (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl008.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl007.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl007.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl006.smt2 (content) unsat unsat 0.236s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl006.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl005.smt2 (content) unsat unsat 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl005.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl004.smt2 (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl004.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl003.smt2 (content) unsat unsat 0.359s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl003.smt2 (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl002.smt2 (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl002.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl001.smt2 (content) unsat unsat 0.602s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl001.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn106.smt2 (content) unsat unsat 1.1s