We learned strategies on five different benchmarks
Sage2. These contain formulas of varying complexity across 3 logics QF_NRA, QF_BV and QF_NIA.
Below we provide runtime comparison of our learned strategies against the handcrafted strategy used by Z3 version 4.6.2. We provide more experiments in our paper.
Speed-up of learned strategy vs Z3 v4.6.2
Additional materials that describe the FastSMT tool in more detail