-------------------------------------------- computing state space with marcie -------------------------------------------- () using IDD engine (default) marcie --net-file=phil.candl --const=N=15 multi-line option: marcie \ --net-file=phil.candl \ --const=N=15 () using BDD engine WITH_BDD=1 marcie --net-file=phil.candl --const=N=15 multi-line option: WITH_BDD=1 marcie \ --net-file=phil.candl \ --const=N=15 to check for dead states, add --dead-check or --Dead-states= writes all dead states to a file as (interval) logic expressions. WITH_BDD=1 marcie \ --net-file=phil.candl \ --const=N=15 \ --dead-check WITH_BDD=1 marcie \ --net-file=phil.candl \ --const=N=15 \ --Dead-states=phil15-dead.txt hints: + varying N allows to scale the model; marcie first unfolds the model, and then computes the corresponding state space. + For more options, see Marcie manual, specifically 3.2 Qualitative Symbolic Engine. -------------------------------------------- some figures (purcell, 29.11.17): #phils #states #idd nodes #bdd nodes 5 392 106 48 10 154,450 (5) 231 108 15 60,699,635 (7) 356 168 20 23,855,111,398 (10) 481 228 25 9,375,119,479,442 (12) 606 30 3 ,684,445,810,532,497 (15) 731 348 35 1,447,996,578,658,751,156 (18) 856 40 569,066,339,858,699,737,198 (20) 981 468 45 223,644,519,561,047,655,470,363 (23) 1106 50 87,892,865,253,831,587,299,590,250 (25) 1231 588 60 13,575,140,930,750,476,150,150,314,120,001 (31) bdd 708 70 2,096,694,091,807,448,926,613,034,578,848,838,650 (36) bdd 828 80 323,836,499,160,177,153,233,559,327,587,631,664,365,598 (41) bdd 948 <1sec 90 50,016,871,129,691,827,402,269,022,778,624,263,614,082,292,497 (46) bdd 1068 >1sec 100 7,725,155,762,528,195,934,947,675,683,947,736,811,870,992,494,242,998 (51) bdd 1188 1.394sec N=1000 #states 756,959,160,001,116,281,302,968,233,672,688,929,569,168,086,684,978,388,317,604,294,856,650,130,248,928,004,022,658,550,430,598,096,099,021,617,160,213,236,191,116,161,567,423,506,153,284,235,027,141,320,849,332,151,510,636,456,487,119,309,929,240,521,207,286,272,203,148,571,110,317,909,017,532,742,375,595,289,092,303,582,490,906,465,576,009,278,427,515,666,684,657,931,659,886,807,496,328,842,902,631,676,652,753,151,501,638,496,496,040,655,513,192,547,171,187,403,225,172,938,626,892,232,339,465,395,115,014,646,229,275,050,696,784,328,371,991,073,176,708,402,172,230,777,171,279,137,574,226,294,785,654,729,540,460,300,830,273,992,355,964,671,497,316,843,742,082,344,502,650,677,429,998 (518) #bdd nodes 11988 (1.2e+04) 77m30.122sec ---mh, 02.12.2017, updated 29.11.2018---