read_aiger: Fix incorrect read of binary Aiger without outputs #16
Job | Run time |
---|---|
11m 59s | |
12m 33s | |
12m 34s | |
15m 6s | |
24m 47s | |
10m 36s | |
10m 58s | |
11m 38s | |
12m 4s | |
10m 1s | |
2h 12m 16s |
Job | Run time |
---|---|
11m 59s | |
12m 33s | |
12m 34s | |
15m 6s | |
24m 47s | |
10m 36s | |
10m 58s | |
11m 38s | |
12m 4s | |
10m 1s | |
2h 12m 16s |