# We #-lines are comments
# dir model property
abp4 abp4 p2false f
abp4 abp4 p2true t
abp4 abp4 pold t
abp4 abp4 ptimo f
abp4 abp4 ptimoneg t
brp brp p1 t
brp brp p1neg f
brp brp ptimo t
brp brp ptimoneg f
brp brp ptimonegnv f
counter counter p0 t
counter counter p0neg f
csmacd csmacd p0 f
csmacd csmacd p0neg f
csmacd csmacd p2 ?
csmacd csmacd p2neg f
#dme dme2 ptimo f
#dme dme2 ptimoneg f
#dme dme2 ptimonegnv f
dme dme3 p1 t
dme dme3 p1neg f
dme dme3 ptimo f
dme dme3 ptimoneg f
dme dme3 ptimonegnv f
#dme dme4 p1 t
#dme dme4 p1neg f
#dme dme4 ptimo f
#dme dme4 ptimoneg f
#dme dme4 ptimonegnv f
dme dme5 p1 t
dme dme5 p1neg f
dme dme5 ptimo f
dme dme5 ptimoneg f
dme dme5 ptimonegnv f
#dme dme6 p1 t
#dme dme6 p1neg f
#dme dme6 ptimo f
#dme dme6 ptimoneg f
#dme dme6 ptimonegnv f
mutex mutex p0 t
mutex mutex p0neg f
pci pci p1 ?
pci pci p1neg f
pci pci pFtimo f
pci pci ptimo f
pci pci ptimoneg f
prod-cons prod-cons p0 f
prod-cons prod-cons p0neg f
prod-cons prod-cons p1 t
prod-cons prod-cons p1negnv f
prod-cons prod-cons p5 t
prod-cons prod-cons p5neg f
prod-cons prod-cons pold1 f
prod-cons prod-cons pold3 f
prod-cons prod-cons pold4 t
production-cell production-cell p0 t
production-cell production-cell p0neg f
production-cell production-cell p1 t
production-cell production-cell p1neg f
production-cell production-cell p2 t
production-cell production-cell p2neg f
production-cell production-cell p3 t
production-cell production-cell p3neg f
production-cell production-cell p4 t
production-cell production-cell p4neg f
reactor bc57-sensors p0 t
reactor bc57-sensors p0neg f
reactor bc57-sensors p1 t
reactor bc57-sensors p1neg f
reactor bc57-sensors p2 t
reactor bc57-sensors p2neg f
reactor bc57-sensors p3 f
ring ring p0 t
ring ring p0neg f
short short p0 t
short short p0neg f
srg5 srg5 ptimo t
srg5 srg5 ptimoneg f
srg5 srg5 ptimonegnv f
#1394 1394-3-2 p0 t
#1394 1394-3-2 p0neg f
1394 1394-3-2 p1 t
1394 1394-3-2 p1neg f
1394 1394-3-2 p5 t
1394 1394-3-2 p5neg f
#1394 1394-3-2 p6 t
#1394 1394-3-2 p6neg f
#1394 1394-3-3 p0 ?
#1394 1394-3-3 p0neg ?
#1394 1394-3-3 p1 ?
#1394 1394-3-3 p1neg ?
#1394 1394-3-3 p5 ?
#1394 1394-3-3 p5neg ?
#1394 1394-3-3 p6 ?
#1394 1394-3-3 p6neg ?
#1394 1394-3-4 p0 ?
#1394 1394-3-4 p0neg ?
#1394 1394-3-4 p1 ?
#1394 1394-3-4 p1neg ?
#1394 1394-3-4 p5 ?
#1394 1394-3-4 p5neg ?
#1394 1394-3-4 p6 ?
#1394 1394-3-4 p6neg ?
#1394 1394-4-2 p0 t
#1394 1394-4-2 p0neg f
1394 1394-4-2 p1 t
1394 1394-4-2 p1neg f
1394 1394-4-2 p2-2 t
1394 1394-4-2 p2-3 t
1394 1394-4-2 p2-4 t
1394 1394-4-2 p5 t
1394 1394-4-2 p5neg f
#1394 1394-4-2 p6 t
#1394 1394-4-2 p6neg f
#1394 1394-4-3 p0 ?
#1394 1394-4-3 p0neg ?
#1394 1394-4-3 p1 ?
#1394 1394-4-3 p1neg ?
#1394 1394-4-3 p2-2 ?
#1394 1394-4-3 p2-3 ?
#1394 1394-4-3 p2-4 ?
#1394 1394-4-3 p5 ?
#1394 1394-4-3 p5neg ?
#1394 1394-4-3 p6 ?
#1394 1394-4-3 p6neg ?
#1394 1394-4-4 p0 ?
#1394 1394-4-4 p0neg ?
#1394 1394-4-4 p1 ?
#1394 1394-4-4 p1neg ?
#1394 1394-4-4 p2-2 ?
#1394 1394-4-4 p2-3 ?
#1394 1394-4-4 p2-4 ?
#1394 1394-4-4 p5 ?
#1394 1394-4-4 p5neg ?
#1394 1394-4-4 p6 ?
#1394 1394-4-4 p6neg ?
#1394 1394-5-2 p0 t
#1394 1394-5-2 p0neg f
1394 1394-5-2 p1 ?
1394 1394-5-2 p1neg f
#1394 1394-5-2 p2-2 ?
#1394 1394-5-2 p2-3 ?
#1394 1394-5-2 p2-4 ?
1394 1394-5-2 p5 ?
1394 1394-5-2 p5neg f
#1394 1394-5-2 p6 ?
#1394 1394-5-2 p6neg f
#1394 1394-5-3 p0 ?
#1394 1394-5-3 p0neg ?
#1394 1394-5-3 p1 ?
#1394 1394-5-3 p1neg ?
#1394 1394-5-3 p2-2 ?
#1394 1394-5-3 p2-3 ?
#1394 1394-5-3 p2-4 ?
#1394 1394-5-3 p5 ?
#1394 1394-5-3 p5neg ?
#1394 1394-5-3 p6 ?
#1394 1394-5-3 p6neg ?
#1394 1394-5-4 p0 ?
#1394 1394-5-4 p0neg ?
#1394 1394-5-4 p1 ?
#1394 1394-5-4 p1neg ?
#1394 1394-5-4 p2-2 ?
#1394 1394-5-4 p2-3 ?
#1394 1394-5-4 p2-4 ?
#1394 1394-5-4 p5 ?
#1394 1394-5-4 p5neg ?
#1394 1394-5-4 p6 ?
#1394 1394-5-4 p6neg ?
#1394 1394-6-2 p0 ?
#1394 1394-6-2 p0neg ?
#1394 1394-6-2 p1 ?
#1394 1394-6-2 p1neg ?
#1394 1394-6-2 p2-2 ?
#1394 1394-6-2 p2-3 ?
#1394 1394-6-2 p2-4 ?
#1394 1394-6-2 p5 ?
#1394 1394-6-2 p5neg ?
#1394 1394-6-2 p6 ?
#1394 1394-6-2 p6neg ?
#1394 1394-6-3 p0 ?
#1394 1394-6-3 p0neg ?
#1394 1394-6-3 p1 ?
#1394 1394-6-3 p1neg ?
#1394 1394-6-3 p2-2 ?
#1394 1394-6-3 p2-3 ?
#1394 1394-6-3 p2-4 ?
#1394 1394-6-3 p5 ?
#1394 1394-6-3 p5neg ?
#1394 1394-6-3 p6 ?
#1394 1394-6-3 p6neg ?
#1394 1394-6-4 p0 ?
#1394 1394-6-4 p0neg ?
#1394 1394-6-4 p1 ?
#1394 1394-6-4 p1neg ?
#1394 1394-6-4 p2-2 ?
#1394 1394-6-4 p2-3 ?
#1394 1394-6-4 p2-4 ?
#1394 1394-6-4 p5 ?
#1394 1394-6-4 p5neg ?
#1394 1394-6-4 p6 ?
#1394 1394-6-4 p6neg ?
1394 1394b-4-2 p2-2 f
1394 1394b-4-2 p2-3 f
1394 1394b-4-2 p2-4 f
#1394 1394b-4-3 p2-2 f
#1394 1394b-4-3 p2-3 f
#1394 1394b-4-3 p2-4 f
#1394 1394b-4-4 p2-2 f
#1394 1394b-4-4 p2-3 f
#1394 1394b-4-4 p2-4 f
#1394 1394b-5-2 p2-2 t
#1394 1394b-5-2 p2-3 t
#1394 1394b-5-2 p2-4 t
1394 1394b-5-3 p2-2 f
1394 1394b-5-3 p2-3 f
1394 1394b-5-3 p2-4 f
#1394 1394b-5-4 p2-2 f
#1394 1394b-5-4 p2-3 f
#1394 1394b-5-4 p2-4 f
#1394 1394b-6-2 p2-2 f
#1394 1394b-6-2 p2-3 f
#1394 1394b-6-2 p2-4 f
#1394 1394b-6-3 p2-2 f
#1394 1394b-6-3 p2-3 f
#1394 1394b-6-3 p2-4 f
1394 1394b-6-4 p2-2 f
1394 1394b-6-4 p2-3 f
1394 1394b-6-4 p2-4 f
