detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk030.smt2 (content) sat sat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk030.smt2 (content) sat sat 0.207s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk029.smt2 (content) sat sat 6.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk029.smt2 (content) sat sat 0.900s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk028.smt2 (content) timeout sat 12.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk028.smt2 (content) sat sat 0.993s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk027.smt2 (content) sat sat 4.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk027.smt2 (content) sat sat 0.348s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk026.smt2 (content) sat sat 4.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk026.smt2 (content) sat sat 0.364s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk025.smt2 (content) sat sat 4.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk025.smt2 (content) sat sat 0.425s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk024.smt2 (content) sat sat 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk024.smt2 (content) sat sat 0.341s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk023.smt2 (content) sat sat 5.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk023.smt2 (content) sat sat 0.396s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk022.smt2 (content) sat sat 4.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk022.smt2 (content) sat sat 0.564s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk021.smt2 (content) sat sat 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk021.smt2 (content) sat sat 0.332s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk020.smt2 (content) sat sat 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk020.smt2 (content) sat sat 0.223s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk019.smt2 (content) sat sat 3.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk019.smt2 (content) sat sat 0.334s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn_sk018.smt2 (content) sat sat 4.1s