Run the following line to check timed verification:
source tt filename
dff - cannot solve CSC problems
mmu - works ok
mr0 - error in solving CSC problem
mr1 - works ok
tsend-bm - core dump. Is this an acceptable .g file?
vme - 6 csc violations, I ran out of patience
Run the following line to check untimed verification:
source uu filename
dff - cannot solve CSC problems
mmu - 52 csc violations
mr0 - 108 csc violations
mr1 - 51 csc violations
tsend-bm - cannot solve 5 csc violations
vme - 6 csc violations, I ran out of patience again
Curt's files could not be solved:
Run the following line to check timed verification: source tt filename
dff - cannot solve CSC problems mmu - works ok mr0 - error in solving CSC problem mr1 - works ok tsend-bm - core dump. Is this an acceptable .g file? vme - 6 csc violations, I ran out of patience
Run the following line to check untimed verification: source uu filename
dff - cannot solve CSC problems mmu - 52 csc violations mr0 - 108 csc violations mr1 - 51 csc violations tsend-bm - cannot solve 5 csc violations vme - 6 csc violations, I ran out of patience again