detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat sat 0.443s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat sat 0.229s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat sat 11.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat sat 0.163s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat sat 0.432s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat sat 0.264s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat sat 0.498s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat sat 0.587s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat sat 0.380s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat sat 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat sat 8.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 7.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 0.394s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 0.611s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1327.smt2 (content) sat sat 0.156s