detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn006.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn005.smt2 (content) sat sat 0.218s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn005.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn004.smt2 (content) unsat unsat 0.168s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn004.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn003.smt2 (content) sat sat 0.126s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn003.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn002.smt2 (content) sat sat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn002.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn001.smt2 (content) sat sat 0.054s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn001.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd018.smt2 (content) unsat unsat 3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd018.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd017.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd017.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd016.smt2 (content) unsat unsat 5.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd016.smt2 (content) unsat unsat 0.426s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd015.smt2 (content) unsat unsat 5.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd015.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd014.smt2 (content) unsat unsat 3.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd014.smt2 (content) unsat unsat 0.403s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd013.smt2 (content) unsat unsat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd013.smt2 (content) unsat unsat 0.174s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd012.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/dead_dnd012.smt2 (content) unsat unsat 0.287s