Ramon benchmark for Z3
-
Job description: 
Job tag: qf-nia-small-master
Runner: rise-runner-1
Z3 repo: Z3Prover/z3
Z3 commit: b0956429fea9796e8561f51d08fc0e49e3efc40e
Z3 branch: master
Z3 options: "-T:30"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: fix regression from nlsat integration

updates to nlsat polynomial simplification introduced checkpoints.
These can throw exceptions (if setting a timeout).
The code that uses this was not properly protected from exceptions to distinguish timeout based tactics from genuine exceptions that should terminate solving altogether.

see updates such as: 117da362f0d2abfe7eaf24ad26d5fffb89b4d169
