detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2 (content) unsat unknown 0.623s
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_brn076.smt2 (content) unsat unknown 2.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn076.smt2 (content) unsat unknown 2.4s
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn074.smt2 (content) sat unknown 0.903s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn074.smt2 (content) sat unknown 0.899s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn073.smt2 (content) unsat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn073.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn072.smt2 (content) sat unknown 0.203s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn072.smt2 (content) sat unknown 0.207s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn071.smt2 (content) sat unknown 0.171s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn071.smt2 (content) sat unknown 0.175s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn070.smt2 (content) sat unknown 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn070.smt2 (content) sat unknown 0.167s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn069.smt2 (content) sat unknown 0.206s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_brn069.smt2 (content) sat unknown 0.185s