detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.251s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.119s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn024.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.172s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn023.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn022.smt2 (content) sat unknown 0.089s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn022.smt2 (content) sat unknown 0.083s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn022.smt2 (content) sat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn022.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn021.smt2 (content) sat unknown 0.114s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn021.smt2 (content) sat unknown 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn021.smt2 (content) sat unknown 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn021.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn020.smt2 (content) sat unknown 0.159s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn020.smt2 (content) sat unknown 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn020.smt2 (content) sat unknown 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn020.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn019.smt2 (content) unsat unknown 0.139s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn019.smt2 (content) unsat unknown 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn019.smt2 (content) unsat unknown 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn019.smt2 (content) unsat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn018.smt2 (content) sat unknown 0.136s