Ramon benchmark for Z3
-
Job description: 
Job tag: dtsat-string-hash-opt
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: 7652d5a3e48d31707395d06a4fe0941a604f2435
Z3 branch: perf/xxhash-optimization-8cab442e0c080529
Z3 options: "-T:30"
Z3 inputs: inputs/QF_DT_SAT
Z3 commit message: Merge branch 'master' of https://github.com/Z3Prover/z3 into perf/xxhash-optimization-8cab442e0c080529
