Enrich ReducedToFalse prover/verifier error with pretty printed ErgoTree and evaluation environment #2290
Job | Run time |
---|---|
5m 36s | |
15m 11s | |
15m 18s | |
15m 15s | |
8m 38s | |
5m 34s | |
27m 46s | |
36m 28s | |
22m 44s | |
6m 52s | |
19s | |
2h 39m 41s |
Job | Run time |
---|---|
5m 36s | |
15m 11s | |
15m 18s | |
15m 15s | |
8m 38s | |
5m 34s | |
27m 46s | |
36m 28s | |
22m 44s | |
6m 52s | |
19s | |
2h 39m 41s |