rename dummy_var into negated_conjecture #30
Job | Run time |
---|---|
1m 30s | |
1m 32s | |
1m 20s | |
1m 36s | |
1m 23s | |
1m 21s | |
1m 23s | |
1m 34s | |
1m 32s | |
1m 34s | |
14m 45s |
Job | Run time |
---|---|
1m 30s | |
1m 32s | |
1m 20s | |
1m 36s | |
1m 23s | |
1m 21s | |
1m 23s | |
1m 34s | |
1m 32s | |
1m 34s | |
14m 45s |