detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn957.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.978s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn956.smt2 (content) unsat unknown 0.999s
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_brn954.smt2 (content) unsat unknown 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn954.smt2 (content) unsat unknown 3.8s
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_brn949.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn949.smt2 (content) unsat unknown 5.1s
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
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn946.smt2 (content) sat unknown 0.145s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn945.smt2 (content) unsat unknown 1.2s