detailed results (6058 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn965.smt2 (content) sat unknown 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn965.smt2 (content) sat unknown 0.120s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn964.smt2 (content) sat unknown 0.099s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn963.smt2 (content) sat unknown 0.124s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.289s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn960.smt2 (content) sat unknown 0.291s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn958.smt2 (content) sat unknown 0.056s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn955.smt2 (content) sat unknown 0.132s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn953.smt2 (content) sat unknown 0.261s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn952.smt2 (content) sat unknown 0.081s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn951.smt2 (content) sat unknown 0.253s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn950.smt2 (content) sat unknown 0.222s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn950.smt2 (content) sat unknown 0.226s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn948.smt2 (content) sat unknown 0.449s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn948.smt2 (content) sat unknown 0.462s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn947.smt2 (content) sat unknown 0.293s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn947.smt2 (content) sat unknown 0.305s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn946.smt2 (content) sat unknown 0.150s