detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn018.smt2 (content) sat sat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn018.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn017.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn017.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn016.smt2 (content) sat sat 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn016.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn015.smt2 (content) unsat unsat 0.647s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn015.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn014.smt2 (content) sat sat 0.350s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn014.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn013.smt2 (content) sat sat 0.219s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn013.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn012.smt2 (content) sat sat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn012.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn011.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn011.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn010.smt2 (content) sat sat 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn010.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn009.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn009.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn008.smt2 (content) unsat unsat 0.310s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn008.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn007.smt2 (content) sat sat 0.298s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn007.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn006.smt2 (content) sat sat 0.132s