detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408246/gensys_brn025.smt2 (content) unsat unsat 0.297s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408245/gensys_brn024.smt2 (content) sat sat 0.186s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408245/gensys_brn024.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408244/gensys_brn023.smt2 (content) sat sat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408244/gensys_brn023.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408243/gensys_brn022.smt2 (content) sat sat 0.159s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408243/gensys_brn022.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408242/gensys_brn021.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408242/gensys_brn021.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408241/gensys_brn020.smt2 (content) sat sat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408241/gensys_brn020.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.129s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408240/gensys_brn019.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408239/gensys_brn018.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408239/gensys_brn018.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408238/gensys_brn017.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408238/gensys_brn017.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408237/gensys_brn016.smt2 (content) sat sat 0.167s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408237/gensys_brn016.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 0.430s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408236/gensys_brn015.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408235/gensys_brn014.smt2 (content) sat sat 0.281s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408235/gensys_brn014.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408234/gensys_brn013.smt2 (content) sat sat 0.149s