detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn182.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn181.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unsat 0.551s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn179.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn178.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn177.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn176.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn175.smt2 (content) sat sat 0.031s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn174.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn173.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn172.smt2 (content) sat sat 0.137s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn171.smt2 (content) sat sat 0.219s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn170.smt2 (content) sat sat 0.098s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.864s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.138s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.790s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.884s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.036s