detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.159s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn669.smt2 (content) sat unknown 0.163s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn668.smt2 (content) sat unknown 0.217s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.355s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn667.smt2 (content) sat unknown 0.349s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.311s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn666.smt2 (content) sat unknown 0.292s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.572s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn665.smt2 (content) sat unknown 0.552s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn664.smt2 (content) sat unknown 0.201s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat unknown 0.341s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn663.smt2 (content) sat unknown 0.340s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat unknown 0.227s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn662.smt2 (content) sat unknown 0.223s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat unknown 0.258s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn661.smt2 (content) sat unknown 0.250s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat unknown 0.512s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn660.smt2 (content) sat unknown 0.514s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat unknown 0.693s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn659.smt2 (content) sat unknown 0.697s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat unknown 0.369s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn658.smt2 (content) sat unknown 0.364s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn657.smt2 (content) sat unknown 0.244s