detailed results (6058 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn852.smt2 (content) sat unknown 0.232s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.213s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn850.smt2 (content) sat unknown 0.212s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.383s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn848.smt2 (content) sat unknown 0.384s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.193s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn847.smt2 (content) sat unknown 0.194s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn846.smt2 (content) sat unknown 0.148s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.243s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn845.smt2 (content) sat unknown 0.237s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn844.smt2 (content) sat unknown 0.434s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn844.smt2 (content) sat unknown 0.440s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn843.smt2 (content) sat unknown 0.215s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn843.smt2 (content) sat unknown 0.215s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn842.smt2 (content) sat unknown 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn842.smt2 (content) sat unknown 0.316s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn841.smt2 (content) sat unknown 0.179s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn841.smt2 (content) sat unknown 0.183s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn840.smt2 (content) sat unknown 0.130s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn840.smt2 (content) sat unknown 0.123s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn839.smt2 (content) sat unknown 0.165s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn839.smt2 (content) sat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat unknown 0.131s