detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn106.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn105.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn105.smt2 (content) unsat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn105.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn105.smt2 (content) unsat unknown 0.119s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn104.smt2 (content) sat unknown 0.585s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn104.smt2 (content) sat unknown 0.365s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn104.smt2 (content) sat unknown 0.363s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn104.smt2 (content) sat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn103.smt2 (content) sat unknown 0.402s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn103.smt2 (content) sat unknown 0.185s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn103.smt2 (content) sat unknown 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn103.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn102.smt2 (content) sat unknown 0.425s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn102.smt2 (content) sat unknown 0.187s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn102.smt2 (content) sat unknown 0.177s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn102.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn101.smt2 (content) sat unknown 0.308s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn101.smt2 (content) sat unknown 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn101.smt2 (content) sat unknown 0.152s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn101.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn100.smt2 (content) sat unknown 0.244s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn100.smt2 (content) sat unknown 0.163s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn100.smt2 (content) sat unknown 0.164s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn100.smt2 (content) sat unknown 0.022s