read_aiger: Fix incorrect read of binary Aiger without outputs #18
Job | Run time |
---|---|
10m 21s | |
10m 20s | |
10m 39s | |
11m 34s | |
25m 16s | |
10m 15s | |
10m 3s | |
10m 34s | |
10m 13s | |
8m 49s | |
1h 58m 4s |
Job | Run time |
---|---|
10m 21s | |
10m 20s | |
10m 39s | |
11m 34s | |
25m 16s | |
10m 15s | |
10m 3s | |
10m 34s | |
10m 13s | |
8m 49s | |
1h 58m 4s |