detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn682.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn681.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat sat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn680.smt2 (content) sat sat 0.220s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat sat 0.534s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn679.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat sat 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn678.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat sat 0.291s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn677.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat sat 0.335s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn676.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn675.smt2 (content) sat sat 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn675.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn674.smt2 (content) sat sat 0.658s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn674.smt2 (content) sat sat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn673.smt2 (content) sat sat 0.676s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn673.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn672.smt2 (content) sat sat 0.400s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn672.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn671.smt2 (content) sat sat 0.384s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn671.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn670.smt2 (content) sat sat 0.261s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn670.smt2 (content) sat sat 0.064s