10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.pb/src/test/testfiles/normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits
svn://svn.forge.objectweb.org/svnroot/sat4j



2008-07-24T20:07:26.310090Z
99
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

normalized-cmb.opb
file




2010-03-26T11:42:45.385630Z
a8596c98551f801a6658f1ce91b33278
2008-07-24T20:07:26.310090Z
99
leberre





















33269

normalized-b1.opb
file




2010-03-26T11:42:45.385630Z
36b626a2866033d54ab226ba7c2cf010
2008-07-24T20:07:26.310090Z
99
leberre





















1583

normalized-my_adder.opb
file




2010-03-26T11:42:45.386628Z
fe8f615a95a6852516985b8e3e78bd85
2008-07-24T20:07:26.310090Z
99
leberre





















53656

normalized-cc.opb
file




2010-03-26T11:42:45.386628Z
0493ba9e257fafbb54efa7af2eeb7bf2
2008-07-24T20:07:26.310090Z
99
leberre





















8848

normalized-cm42a.opb
file




2010-03-26T11:42:45.387630Z
62b75258091a8b1382fa8b1c633d9511
2008-07-24T20:07:26.310090Z
99
leberre





















6531

normalized-mux.opb
file




2010-03-26T11:42:45.387630Z
fa7153262db792d01bec14f5a651af5b
2008-07-24T20:07:26.310090Z
99
leberre





















23517

normalized-9symml.opb
file




2010-03-26T11:42:45.388630Z
48809ba02390b1184dab90aed89aff8e
2008-07-24T20:07:26.310090Z
99
leberre





















71169

normalized-C17.opb
file




2010-03-26T11:42:45.388630Z
4b3ab32e1f00bf5464220d8082457829
2008-07-24T20:07:26.310090Z
99
leberre





















785

normalized-c8.opb
file




2010-03-26T11:42:45.388630Z
9b291040ec2b77d0bffb739c0db80d53
2008-07-24T20:07:26.310090Z
99
leberre





















23207

normalized-C432.opb
file




2010-03-26T11:42:45.389629Z
6292e63147fb202dc159fbf5a9ff5c77
2008-07-24T20:07:26.310090Z
99
leberre





















94716

