10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.pb/src/test/testfiles/normalized-opb/submitted/aloul/FPGA_SAT05
svn://svn.forge.objectweb.org/svnroot/sat4j



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














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

normalized-fpga45_45_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.356378Z
da4cd22fd601b0d838453ba86be8f9aa
2008-07-24T20:07:26.310090Z
99
leberre





















485973

normalized-fpga11_10_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.356378Z
e95696bbb09fe4b39809de76f67becbf
2008-07-24T20:07:26.310090Z
99
leberre





















8258

normalized-chnl10_20_pb.cnf.cr.opb
file




2010-03-26T11:42:46.357378Z
f6063d1ff7b0ba7c7cab7a438daedff8
2008-07-24T20:07:26.310090Z
99
leberre





















6714

normalized-fpga11_11_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.357378Z
c8e6fe6db41022cd334d76fea54bd93c
2008-07-24T20:07:26.310090Z
99
leberre





















9629

normalized-fpga20_20_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.358378Z
4313884ec3fa396c713faf5f812fe6b8
2008-07-24T20:07:26.310090Z
99
leberre





















46211

normalized-chnl20_21_pb.cnf.cr.opb
file




2010-03-26T11:42:46.358378Z
112c693a7a90a8dc93ad23dc136d9b75
2008-07-24T20:07:26.310090Z
99
leberre





















13908

normalized-fpga13_11_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.359379Z
32e3ba70c369e104da40b8d0cd94d02f
2008-07-24T20:07:26.310090Z
99
leberre





















11381

normalized-fpga13_12_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.359379Z
b895465c3a135658947941250991e4de
2008-07-24T20:07:26.310090Z
99
leberre





















12998

normalized-chnl30_40_pb.cnf.cr.opb
file




2010-03-26T11:42:46.359379Z
6a0000bd3257094a387dbf208b4df8cf
2008-07-24T20:07:26.310090Z
99
leberre





















42078

normalized-fpga13_13_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.360380Z
477af24fc30fd084c6281beb06bd14f4
2008-07-24T20:07:26.310090Z
99
leberre





















14823

normalized-fpga40_40_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.361380Z
f9a3a990ebca4aa5457d0675d3f1fe27
2008-07-24T20:07:26.310090Z
99
leberre





















347236

normalized-chnl20_25_pb.cnf.cr.opb
file




2010-03-26T11:42:46.362379Z
6c328ef6f9d8d5a179eec9bf3550b7fd
2008-07-24T20:07:26.310090Z
99
leberre





















16527

normalized-chnl40_41_pb.cnf.cr.opb
file




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





















58072

normalized-fpga15_13_sat_pb.cnf.cr.opb
file




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





















17099

normalized-fpga15_14_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.365379Z
6fc7fbb8e05218938564d50faef1e68f
2008-07-24T20:07:26.310090Z
99
leberre





















19202

normalized-chnl50_60_pb.cnf.cr.opb
file




2010-03-26T11:42:46.364379Z
6968a43b42bba7df68b13fdfd3b616a1
2008-07-24T20:07:26.310090Z
99
leberre





















107438

normalized-fpga15_15_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.365379Z
5845da453401bb95aae2b4a79f2952fc
2008-07-24T20:07:26.310090Z
99
leberre





















21545

normalized-chnl40_45_pb.cnf.cr.opb
file




2010-03-26T11:42:46.367379Z
df5f31774bab40070962f7d0b16d093c
2008-07-24T20:07:26.310090Z
99
leberre





















63888

normalized-chnl15_16_pb.cnf.cr.opb
file




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





















8008

normalized-fpga30_28_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.366380Z
888577ab8fe81abf9fdd366d65e4c3b7
2008-07-24T20:07:26.310090Z
99
leberre





















131443

normalized-fpga30_29_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.369379Z
99cab377899feaa32c19b4b5cf94d7d4
2008-07-24T20:07:26.310090Z
99
leberre





















140958

normalized-fpga35_33_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.368381Z
d4fd8917eebbcee2e1b2df9714e1fab8
2008-07-24T20:07:26.310090Z
99
leberre





















213641

normalized-fpga35_34_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.370378Z
f49e527e8d063bcfa5508a2b00211475
2008-07-24T20:07:26.310090Z
99
leberre





















225402

normalized-fpga35_35_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.372378Z
022f43a9cfc62e9c9c77f51c14f8e5bf
2008-07-24T20:07:26.310090Z
99
leberre





















237793

normalized-chnl35_36_pb.cnf.cr.opb
file




2010-03-26T11:42:46.372378Z
c779424bd1795a1e1adf6f4e7f38e307
2008-07-24T20:07:26.310090Z
99
leberre





















44252

normalized-fpga10_8_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.373378Z
159220fb0573bb17ad11cefe6a440cec
2008-07-24T20:07:26.310090Z
99
leberre





















5218

normalized-fpga10_9_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.373378Z
a3e65ef4bc3d480c50e2ac64ae7f7509
2008-07-24T20:07:26.310090Z
99
leberre





















6313

normalized-fpga11_9_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.374378Z
489d094bb23422a6c4624d745553a200
2008-07-24T20:07:26.310090Z
99
leberre





















7062

normalized-fpga10_10_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.374378Z
5a251e27b2dc8cbc7d3f3836a6772e10
2008-07-24T20:07:26.310090Z
99
leberre





















7501

normalized-chnl10_11_pb.cnf.cr.opb
file




2010-03-26T11:42:46.375378Z
49b1c3edd36dd2ed7e6daee563a7bd24
2008-07-24T20:07:26.310090Z
99
leberre





















3708

normalized-fpga12_10_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.375378Z
943ed21b69a083554f0cd43700c9a371
2008-07-24T20:07:26.310090Z
99
leberre





















9015

normalized-fpga12_11_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.375378Z
2acc4f964e1e6f176bb0ec9705d398d2
2008-07-24T20:07:26.310090Z
99
leberre





















10457

normalized-chnl20_30_pb.cnf.cr.opb
file




2010-03-26T11:42:46.376377Z
afcc4289aafaea265ed2d465965a3342
2008-07-24T20:07:26.310090Z
99
leberre





















20198

normalized-fpga12_12_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.376377Z
6137fb5f5f5e9a4f9b09d34c8e843809
2008-07-24T20:07:26.310090Z
99
leberre





















11995

normalized-fpga30_30_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.377378Z
511f20f1868f397c99d8a26ca62146c0
2008-07-24T20:07:26.310090Z
99
leberre





















150803

normalized-chnl10_15_pb.cnf.cr.opb
file




2010-03-26T11:42:46.378383Z
ba9cd165dfff9daff67f98334a7b589e
2008-07-24T20:07:26.310090Z
99
leberre





















5044

normalized-chnl30_31_pb.cnf.cr.opb
file




2010-03-26T11:42:46.378383Z
79bafd08ddd684356ab9abc8fabf88a7
2008-07-24T20:07:26.310090Z
99
leberre





















32232

normalized-chnl15_20_pb.cnf.cr.opb
file




2010-03-26T11:42:46.378383Z
ce39bf71367df072c91f9b7587480c93
2008-07-24T20:07:26.310090Z
99
leberre





















9984

normalized-fpga14_12_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.379381Z
a8b77e93664627ad0410220dcaf11219
2008-07-24T20:07:26.310090Z
99
leberre





















14001

normalized-chnl40_50_pb.cnf.cr.opb
file




2010-03-26T11:42:46.380382Z
2cb05b3a6451c60276a625949666f14e
2008-07-24T20:07:26.310090Z
99
leberre





















71158

normalized-fpga14_13_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.380382Z
6c5be32f385b6b14a9d33e85ff7013ea
2008-07-24T20:07:26.310090Z
99
leberre





















15905

normalized-fpga14_14_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.381380Z
fe97068efc5fde8cbd48a084444e76d6
2008-07-24T20:07:26.310090Z
99
leberre





















17921

normalized-chnl50_51_pb.cnf.cr.opb
file




2010-03-26T11:42:46.381380Z
00bdc6bb9bafd4b1100d8bfa4f886626
2008-07-24T20:07:26.310090Z
99
leberre





















91112

normalized-chnl30_35_pb.cnf.cr.opb
file




2010-03-26T11:42:46.382380Z
b1c5adb5438ceaf1c654cfedb79b695e
2008-07-24T20:07:26.310090Z
99
leberre





















36608

normalized-fpga20_18_sat_pb.cnf.cr.opb
file




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





















38703

normalized-chnl35_40_pb.cnf.cr.opb
file




2010-03-26T11:42:46.383379Z
85d4e2fa5fd7a61a85d3ecb1e311bddb
2008-07-24T20:07:26.310090Z
99
leberre





















49348

normalized-fpga20_19_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.384379Z
421f138371e66f1365608f6ff657e450
2008-07-24T20:07:26.310090Z
99
leberre





















42377

normalized-fpga25_23_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.384379Z
002d92124dd96ccf471b7e05fe08f2d6
2008-07-24T20:07:26.310090Z
99
leberre





















73409

normalized-chnl15_25_pb.cnf.cr.opb
file




2010-03-26T11:42:46.385378Z
808390b13d2d87ec4e78f628ed3af9ba
2008-07-24T20:07:26.310090Z
99
leberre





















12454

normalized-fpga25_24_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.385378Z
c84a64f67029a09ef823a1b3017b5713
2008-07-24T20:07:26.310090Z
99
leberre





















78902

normalized-fpga25_25_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.386378Z
54139ff5e28c6041ec6c692b0d10f866
2008-07-24T20:07:26.310090Z
99
leberre





















84795

normalized-chnl50_55_pb.cnf.cr.opb
file




2010-03-26T11:42:46.387378Z
88aaed929c30a489c8806c3852596de3
2008-07-24T20:07:26.310090Z
99
leberre





















98368

normalized-fpga40_38_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.388377Z
69d239b72e8d1a72f9c55329043493e1
2008-07-24T20:07:26.310090Z
99
leberre





















316048

normalized-fpga40_39_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.390378Z
b0b9c98556325dcf5a5811fc2d17a816
2008-07-24T20:07:26.310090Z
99
leberre





















331462

normalized-fpga45_43_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.392378Z
f711bed5ebfe5c735a8c12d953afb97c
2008-07-24T20:07:26.310090Z
99
leberre





















446831

normalized-chnl35_45_pb.cnf.cr.opb
file




2010-03-26T11:42:46.393379Z
1f5fb3c191c2c77719f10f35e4f5f992
2008-07-24T20:07:26.310090Z
99
leberre





















55718

normalized-fpga45_44_sat_pb.cnf.cr.opb
file




2010-03-26T11:42:46.395380Z
c501a04dd091dbe678ec2743021adc30
2008-07-24T20:07:26.310090Z
99
leberre





















465997

