[Journal]20090903

extra_elev_rename:

執行alltoccs
執行genExport
執行compose輸出至"rename.ccs"
合成一個state 無transition

ModifiedElevator/mdfElev2:
前人result:states=53 transitions=199
直接執行run，states=3600 transitions=7951
接著跑bb:states=53 transitions=199
==>不知在哪個步驟進行了化簡動作

若修改run的script對compose加入-b參數
則出現下列error:







執行run_hi -b2，結果和前人相同

ModifiedElevator/mdfElev3:
執行run_hi -b2，結果和前人相同
執行run_hi 2-b2，結果和前人相同
執行run，state和transition數多很多

ModifiedElevator/mdfElev4:
執行run_hi -b2，結果和前人相同
執行run，似乎未經化簡，state和transition數嚇人的多



ModifiedElevator/mdfElev5:
執行run_hi -b2的時間似乎異常的久
前人沒有跑完就中斷實驗

CHIRON:
執行run
states=478 transitions=736
執行run_hi 的錯誤存在run_hi_err.txt
執行run_hi 的錯誤存在run_hi_b2_err.txt



Q: ./run_hi -b1和-b2的參數定義?
Q: compose中的ratio定義(之前的結果是0.02，我跑出0.98)