Use claripy ops from claripy instead of solver (#73) #83
Job | Run time |
---|---|
3m 11s | |
1m 59s | |
1m 20s | |
1m 30s | |
1m 19s | |
57s | |
1m 46s | |
54s | |
59s | |
1m 0s | |
1m 11s | |
2m 0s | |
1s | |
18m 7s |
Job | Run time |
---|---|
3m 11s | |
1m 59s | |
1m 20s | |
1m 30s | |
1m 19s | |
57s | |
1m 46s | |
54s | |
59s | |
1m 0s | |
1m 11s | |
2m 0s | |
1s | |
18m 7s |