Test Name	Output	No. of Rounds	Status	Run Time
/bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/c4b_print_hull							EXCEPTION