Changes between Version 9 and Version 10 of assign+
- Timestamp:
- Aug 7, 2013 11:08:26 AM (11 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
assign+
v9 v10 57 57 || ''assign'' succeeded, ''assign+'' failed || 150 || 0.1% || || 58 58 || Both ''assign'' and ''assign+'' failed || 6,341 || 5.8% || || 59 || ''assign'' failed, ''assign+'' succeeded, ''assign'' succeeded with fixed nodes from ''assign+'' || 666 || 0.6% || ||60 || ''assign'' failed, ''assign+'' succeeded, ''assign'' failed with fixed nodes from ''assign+'' || 3,580 || 3.2% || ||59 || ''assign'' failed, ''assign+'' succeeded, ''assign'' succeeded with fixed nodes from ''assign+'' || 666 || 0.6% || || 60 || ''assign'' failed, ''assign+'' succeeded, ''assign'' failed with fixed nodes from ''assign+'' || 3,580 || 3.2% || ||
