Specific Results

• Ran all tests on 200Mhz Pentium Pro with 256Mb of memory
• Tests range from 41MB to 4GB of “state” exploring up to 10 million states
• Two real bugs found
  • SMP or pre-emptive kernel only