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/logic-synthesis
svn://svn.forge.objectweb.org/svnroot/sat4j



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














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




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





















622675

normalized-exam.pi.opb
file




2010-03-26T11:42:43.833630Z
3e917561f3935db250fdeb1759fbe81d
2008-07-24T20:07:26.310090Z
99
leberre





















266482

normalized-max1024.pi.opb
file




2010-03-26T11:42:43.834632Z
6604a6c0d979e1f2b09762e6e4f70f84
2008-07-24T20:07:26.310090Z
99
leberre





















74773

normalized-prom2.pi.opb
file




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





















170548

normalized-clip.b.opb
file




2010-03-26T11:42:43.837631Z
cddae768b283c2db142f16fe9d163db1
2008-07-24T20:07:26.310090Z
99
leberre





















122609

normalized-bench1.pi.opb
file




2010-03-26T11:42:43.836631Z
773129c71f80eff294fafd0a8a5769cd
2008-07-24T20:07:26.310090Z
99
leberre





















127434

normalized-ex5.pi.opb
file




2010-03-26T11:42:43.840631Z
ebc55cfc194a279163f52418008eccf2
2008-07-24T20:07:26.310090Z
99
leberre





















375936

normalized-count.b.opb
file




2010-03-26T11:42:43.837631Z
f13ba9c997276002b5bd6db1f679a6f5
2008-07-24T20:07:26.310090Z
99
leberre





















142162

normalized-test4.pi.opb
file




2010-03-26T11:42:43.844629Z
09c7b63b87fdc5a38ccb26d9b87fe2d9
2008-07-24T20:07:26.310090Z
99
leberre





















1025755

normalized-5xp1.b.opb
file




2010-03-26T11:42:43.845630Z
24a8f38e94b07e6ca192a34c96c24c6e
2008-07-24T20:07:26.310090Z
99
leberre





















250850

normalized-e64.b.opb
file




2010-03-26T11:42:43.846629Z
bf7f8537c6faa135d25c67c53576abb5
2008-07-24T20:07:26.310090Z
99
leberre





















77275

normalized-jac3.opb
file




2010-03-26T11:42:43.847630Z
43952ea8e0659c6ffd861c99c0b605de
2008-07-24T20:07:26.310090Z
99
leberre





















227331

normalized-9sym.b.opb
file




2010-03-26T11:42:43.849630Z
1457dc2646bff5e87c0f4b32dfb926ba
2008-07-24T20:07:26.310090Z
99
leberre





















185417

normalized-sao2.b.opb
file




2010-03-26T11:42:43.851630Z
3e273bcee52631aeea0b7b1138e7d68d
2008-07-24T20:07:26.310090Z
99
leberre





















108050

normalized-rot.b.opb
file




2010-03-26T11:42:43.851630Z
c5ca4962151c0e84eeae44e16faee495
2008-07-24T20:07:26.310090Z
99
leberre





















372020

normalized-alu4.b.opb
file




2010-03-26T11:42:43.853632Z
db06e7fbd4f70a4af68f8f196fdb3636
2008-07-24T20:07:26.310090Z
99
leberre





















306020

normalized-f51m.b.opb
file




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





















113967

