Fix syntax errors in Kissat checking script #165
Job | Run time |
---|---|
38m 0s | |
29m 25s | |
43m 28s | |
8m 30s | |
32m 26s | |
23m 12s | |
32m 29s | |
28m 59s | |
9m 47s | |
4h 6m 16s |
Job | Run time |
---|---|
38m 0s | |
29m 25s | |
43m 28s | |
8m 30s | |
32m 26s | |
23m 12s | |
32m 29s | |
28m 59s | |
9m 47s | |
4h 6m 16s |