Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2016-02-29 11:33:42 →
Size: 105
Editor: JohnWeirich
Comment:
← Revision 2 as of 2016-02-29 11:33:56 → ⇥
Size: 112
Editor: JohnWeirich
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:

}}}

1. Get stats

/usr/local/bin/bigmap < support/EVAL20.in
/usr/local/altwg/bin/CompareOBJ

F3H-Stats (last edited 2016-03-16 15:48:13 by JohnWeirich)