detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 0.297s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.352s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.280s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.272s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn086.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 3.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn085.smt2 (content) unsat unknown 0.350s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn084.smt2 (content) unsat unknown 0.245s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.302s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.188s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn083.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.280s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.194s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.186s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn082.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.963s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.613s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.623s