detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn093.smt2 (content) sat unknown 0.477s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn093.smt2 (content) sat unknown 0.469s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn093.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn092.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn092.smt2 (content) unsat unknown 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn092.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn092.smt2 (content) unsat unknown 0.110s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn091.smt2 (content) sat unknown 0.568s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn091.smt2 (content) sat unknown 0.129s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn091.smt2 (content) sat unknown 0.129s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn091.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn090.smt2 (content) sat unknown 0.492s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn090.smt2 (content) sat unknown 0.199s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn090.smt2 (content) sat unknown 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn090.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.880s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.645s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.636s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn089.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.166s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.127s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn088.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.4s