detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn068.smt2 (content) sat sat 0.570s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn068.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn067.smt2 (content) sat sat 0.483s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn067.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn066.smt2 (content) sat sat 0.562s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn066.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn065.smt2 (content) unsat unsat 0.547s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn065.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn064.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn064.smt2 (content) unsat unsat 0.266s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn063.smt2 (content) sat sat 0.797s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn063.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn062.smt2 (content) sat sat 0.719s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn062.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn061.smt2 (content) sat sat 0.611s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn061.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn060.smt2 (content) sat sat 0.526s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn060.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn059.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn059.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn058.smt2 (content) sat sat 0.419s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn058.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn057.smt2 (content) sat sat 0.709s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn057.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn056.smt2 (content) sat sat 0.312s