detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.313s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.334s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.233s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.509s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.345s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.516s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.474s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.170s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat sat 0.263s