search

VeriFIT / z3-noodler

The Z3-Noodler String Solver
Other
9 stars 5 forks source link

Optimizations of `full_str_int` #118

Closed vhavlena closed 8 months ago

vhavlena commented 9 months ago

This PR contains:

vhavlena commented 8 months ago

On full_str_int:

# of formulae: 16968
###################################################################################
####                                   Table 1                                 ####
###################################################################################
| method                     |    max |      mean |   median |   std. dev |   TO+MO+ERR |   unknowns |
|----------------------------|--------|-----------|----------|------------|-------------|------------|
| z3-noodler-bdb7f83-2cddb2f |  84.32 | 0.225197  |     0.01 |   1.77001  |         715 |        895 |
| cvc5-1.0.8                 |  82.08 | 0.309905  |     0.03 |   1.18924  |           0 |          0 |
| z3-4.12.2                  | 118.32 | 1.44806   |     0.04 |   7.81162  |         234 |          0 |
| z3-noodler-1174fd1-2cddb2f |  96.78 | 0.130747  |     0.01 |   1.59691  |        1212 |       1199 |
vhavlena commented 8 months ago

Can I merge it?

jurajsic commented 8 months ago

You can merge it.