detailed results (14914 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
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
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
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
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
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn087.smt2 (content) unsat unknown 1.3s
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
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
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
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
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.613s