File name: (Required)

Examples:

Maximum Memory Usage: 
Maximum Search Depth: 
Hash Table Size:      

Selective State Caching:          
		Save Back Edges
		Save All
	
Enforce XR XS:                    
		Yes
		No
	
Dead Variable Elimination:        
		Yes
		No
	
Verification is:                  
		Never Claim
		Safety Only
	
Send the verification results to: 
		E-mail
		Web Browser
		Both