Add the String theory to the ALL
logic of SMT-LIB
#537
Job | Run time |
---|---|
10m 17s | |
10m 23s | |
12m 26s | |
13m 9s | |
10m 23s | |
13m 30s | |
10m 51s | |
16m 50s | |
18m 50s | |
17m 1s | |
16m 52s | |
20m 30s | |
20m 50s | |
17m 40s | |
21m 55s | |
19m 15s | |
19m 24s | |
18m 49s | |
18m 55s | |
15m 56s | |
5h 23m 46s |