detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat sat 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn531.smt2 (content) sat sat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn531.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn530.smt2 (content) sat sat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn530.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn529.smt2 (content) sat sat 0.210s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn529.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn528.smt2 (content) unknown sat 11.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn528.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 0.216s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) timeout unsat 11.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) unsat unsat 0.544s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn525.smt2 (content) sat sat 7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn525.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn524.smt2 (content) sat sat 9.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn524.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn523.smt2 (content) sat sat 0.821s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn523.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn522.smt2 (content) sat sat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn522.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.731s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.751s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn520.smt2 (content) sat sat 0.868s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn520.smt2 (content) sat sat 0.057s