detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn031.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.225s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.224s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn030.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 0.739s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 0.740s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn029.smt2 (content) unsat unknown 0.143s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.457s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.324s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.316s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn028.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.299s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.199s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn027.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.303s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.144s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn026.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 0.925s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 0.904s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn025.smt2 (content) unsat unknown 0.194s