Z3 Optimize: add assert_and_track
and get_unsat_core
(#300)
#501
Job | Run time |
---|---|
4s | |
36s | |
28m 41s | |
13m 14s | |
37s | |
22m 59s | |
10m 44s | |
10m 52s | |
30s | |
17m 21s | |
33m 1s | |
2h 18m 39s |