detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.179s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn194.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.272s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn193.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.111s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn192.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.527s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn191.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.311s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn190.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.223s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn189.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.424s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn188.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.517s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn187.smt2 (content) sat sat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn186.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.263s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn185.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.327s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn184.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.348s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn183.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat sat 0.118s