Experiment result
Verification of Table 1 using MAX-PLUS II and via experimental work.