read_aiger: Fix incorrect read of binary Aiger without outputs #19
Job | Run time |
---|---|
10m 43s | |
10m 30s | |
10m 34s | |
11m 42s | |
24m 34s | |
10m 8s | |
10m 18s | |
10m 50s | |
10m 7s | |
8m 43s | |
1h 58m 9s |
Job | Run time |
---|---|
10m 43s | |
10m 30s | |
10m 34s | |
11m 42s | |
24m 34s | |
10m 8s | |
10m 18s | |
10m 50s | |
10m 7s | |
8m 43s | |
1h 58m 9s |