detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn094.smt2 (content) sat unknown 0.274s
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_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_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_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_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_brn080.smt2 (content) sat unknown 0.214s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn080.smt2 (content) sat unknown 0.213s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn079.smt2 (content) sat unknown 0.197s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn079.smt2 (content) sat unknown 0.215s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn078.smt2 (content) sat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn078.smt2 (content) sat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn077.smt2 (content) sat unknown 0.957s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn077.smt2 (content) sat unknown 0.989s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn075.smt2 (content) sat unknown 0.514s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn075.smt2 (content) sat unknown 0.510s