detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn532.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn531.smt2 (content) sat sat 0.522s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn531.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn530.smt2 (content) sat sat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn530.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn529.smt2 (content) sat sat 0.206s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn529.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn528.smt2 (content) sat sat 0.449s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn528.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 0.799s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn527.smt2 (content) unsat unsat 0.174s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) unsat unsat 9.4s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn526.smt2 (content) unsat unsat 0.465s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn525.smt2 (content) sat sat 0.562s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn525.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn524.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn524.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn523.smt2 (content) sat sat 0.386s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn523.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn522.smt2 (content) sat sat 0.183s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn522.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn521.smt2 (content) unsat unsat 0.768s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn520.smt2 (content) sat sat 0.746s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn520.smt2 (content) sat sat 0.036s