

MaxCore parameters: [sabu=yes,dropoutputvars=yes]

Selected extra parameters: [cost_model=termination,enable_sabu=yes,output_vars_crs_file=no]

Generated TS from C program in 3352 ms

*** ERROR: veryMaxRA finished with code 3***
@@@ crs_time = 3.3520000000000003
@@@ cofloco_time = 0
@@@ cofloco_ub = inf-verymax
