Table
runs with operator  change and five Invari to Average cpu time  in seconds  over ance properties  This table is a duplication of some of the material in Table Table

| 1   |
|-----|
| 2   |
| 3   |
| 4   |
| s   |
| 6   |
| 7   |
| 8   |
| 9   |

| 25-state FSAs  45-state FSAs   |           |
|--------------------------------|-----------|
| 1                              | prod P    |
| 2                              | prod-NI P |
| 3                              | prod P    |
| 4                              | AT V      |
| s                              | AT-NI V   |
| 6                              | AT V      |
| -                              | AT b      |
| 8                              | AT-NI b   |
| 9                              | AT b      |

Average cpu time  in seconds  over     runs with operator  change and five Response properties This table is a duplication of some of the material in Table Table

| 25-state FSAs  45-state FSAs   |           |
|--------------------------------|-----------|
| 1                              | gen - R P |
| 2                              | prod P    |
| 3                              | prod P    |
| 4                              | gen - R V |
| 5                              | AT V      |
| 6                              | AT V      |
| 7                              | gen - R b |
| 8                              | AT b      |
| 9                              | AT B      |

A Average cpu time  in seconds  over

| 25-state FSAs  45-state FSAs   |
|--------------------------------|
| prod P                         |
| prod-NI P                      |
| prod P                         |
| I V                            |
| I - NI V                       |
| I V                            |
| I b                            |
| I-NI_b                         |
| 1 b                            |

runs with operator  gen and five Response properties This table is a duplication of some of the material in Table