detailed results (3102 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn486.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn485.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn484.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn483.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn482.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn481.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn480.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn479.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn477.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn474.smt2 (content) sat sat 0.103s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn473.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn472.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn471.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn468.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn467.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn466.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn465.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn463.smt2 (content) sat sat 0.036s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn461.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn460.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn459.smt2 (content) sat sat 0.033s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn458.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn457.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn456.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn455.smt2 (content) sat sat 0.049s