detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn865.smt2 (content) sat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn864.smt2 (content) sat unknown 0.152s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.244s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn862.smt2 (content) sat unknown 0.243s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.216s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn861.smt2 (content) sat unknown 0.203s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn860.smt2 (content) sat unknown 0.154s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.568s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn859.smt2 (content) sat unknown 0.594s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn858.smt2 (content) sat unknown 0.168s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.268s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn857.smt2 (content) sat unknown 0.256s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn856.smt2 (content) sat unknown 0.273s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn856.smt2 (content) sat unknown 0.271s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn855.smt2 (content) sat unknown 0.484s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn855.smt2 (content) sat unknown 0.483s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn854.smt2 (content) sat unknown 0.184s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn854.smt2 (content) sat unknown 0.183s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn853.smt2 (content) sat unknown 0.366s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn853.smt2 (content) sat unknown 0.365s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn852.smt2 (content) sat unknown 0.243s