Index of /misc-live/20101126/solutions/user2/p2cudf-user-1.10/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4439
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4396
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 24062
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8585
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4809
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4766
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 47290
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16293
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4740
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4697
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 46188
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16291
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4438
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4395
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 31869
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8585
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4833
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4790
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 50318
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16286
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 4124
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 4081
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 36930
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 203
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16295
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 5167
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 5124
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 37702
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 204
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 8447
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 5658
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 5615
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 33716
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 204
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16298
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6115
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6072
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 51726
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16307
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4615
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4572
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 46544
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16318
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4712
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4669
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 51292
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16318
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6114
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6071
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 51228
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16307
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4718
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4675
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 40762
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16318
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4741
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4698
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 51675
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16291
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 6906
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 6863
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 54693
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 11273
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4502
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4459
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 34157
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8632
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4740
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4697
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 49019
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16291
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4440
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 4397
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 35359
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8585
rand0695fb.cudf.impossible.error 11-Dec-2010 17:30 9360
rand0695fb.cudf.impossible.log 11-Dec-2010 17:30 9317
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:30 72601
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:30 3920
rand06f749.cudf.difficult.error 11-Dec-2010 17:30 10152
rand06f749.cudf.difficult.log 11-Dec-2010 17:30 10109
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:30 59380
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:30 4438
rand08759d.cudf.easy.error 11-Dec-2010 17:30 7433
rand08759d.cudf.easy.log 11-Dec-2010 17:30 7390
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:30 32465
rand08759d.cudf.easy.log.time 11-Dec-2010 17:30 203
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:30 9412
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:30 9467
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:30 9424
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:30 38686
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:30 4107
rand13b58e.cudf.easy.error 11-Dec-2010 17:30 12289
rand13b58e.cudf.easy.log 11-Dec-2010 17:30 12246
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:30 28664
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:30 204
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:30 8442
rand14ba69.cudf.difficult.error 11-Dec-2010 17:30 8615
rand14ba69.cudf.difficult.log 11-Dec-2010 17:30 8572
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:30 41986
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:30 4196
rand1bff33.cudf.easy.error 11-Dec-2010 17:30 5460
rand1bff33.cudf.easy.log 11-Dec-2010 17:30 5417
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:30 28328
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:30 204
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:30 9070
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:30 8896
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:30 8853
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:30 45780
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:30 4266
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:30 10105
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:30 10062
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:30 34558
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:30 204
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:30 8964
rand2fe899.cudf.difficult.error 11-Dec-2010 17:30 9689
rand2fe899.cudf.difficult.log 11-Dec-2010 17:30 9646
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:30 51964
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:30 3543
rand332173.cudf.impossible.error 11-Dec-2010 17:30 9744
rand332173.cudf.impossible.log 11-Dec-2010 17:30 9701
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:30 77651
rand332173.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:30 4416
rand359ca0.cudf.easy.error 11-Dec-2010 17:30 6411
rand359ca0.cudf.easy.log 11-Dec-2010 17:30 6368
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:30 35852
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:30 202
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:30 9177
rand394916.cudf.difficult.error 11-Dec-2010 17:30 1834
rand394916.cudf.difficult.log 11-Dec-2010 17:30 1791
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:30 35983
rand394916.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:30 67
rand3dec28.cudf.impossible.error 11-Dec-2010 17:30 7593
rand3dec28.cudf.impossible.log 11-Dec-2010 17:30 7550
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:30 47329
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:30 4155
rand49d73b.cudf.difficult.error 11-Dec-2010 17:30 8907
rand49d73b.cudf.difficult.log 11-Dec-2010 17:30 8864
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 50518
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4074
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:30 8050
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:30 8007
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:30 51940
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:30 4104
rand50a937.cudf.difficult.error 11-Dec-2010 17:30 12974
rand50a937.cudf.difficult.log 11-Dec-2010 17:30 12931
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:30 58777
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:30 4935
rand5619c8.cudf.easy.error 11-Dec-2010 17:30 9569
rand5619c8.cudf.easy.log 11-Dec-2010 17:30 9526
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:30 32068
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:30 204
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:30 9166
rand5c1800.cudf.easy.error 11-Dec-2010 17:30 6202
rand5c1800.cudf.easy.log 11-Dec-2010 17:30 6159
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:30 24212
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:30 204
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:30 8898
rand61b840.cudf.easy.error 11-Dec-2010 17:30 11896
rand61b840.cudf.easy.log 11-Dec-2010 17:30 11853
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:30 28298
rand61b840.cudf.easy.log.time 11-Dec-2010 17:30 203
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:30 8905
rand655e63.cudf.impossible.error 11-Dec-2010 17:30 8319
rand655e63.cudf.impossible.log 11-Dec-2010 17:30 8276
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:30 54768
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:30 3997
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:30 8594
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:30 8551
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:30 69529
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:30 4347
rand6d933e.cudf.easy.error 11-Dec-2010 17:30 7127
rand6d933e.cudf.easy.log 11-Dec-2010 17:30 7084
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:30 37401
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:30 204
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:30 8966
rand7141b1.cudf.impossible.error 11-Dec-2010 17:30 8386
rand7141b1.cudf.impossible.log 11-Dec-2010 17:30 8343
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:30 64738
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:30 3918
rand7902a8.cudf.impossible.error 11-Dec-2010 17:30 8720
rand7902a8.cudf.impossible.log 11-Dec-2010 17:30 8677
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:30 38374
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:30 203
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:30 4260
rand7b4167.cudf.difficult.error 11-Dec-2010 17:30 6588
rand7b4167.cudf.difficult.log 11-Dec-2010 17:30 6545
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:30 37187
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:30 3829
rand7fec8c.cudf.easy.error 11-Dec-2010 17:30 6053
rand7fec8c.cudf.easy.log 11-Dec-2010 17:30 6010
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:30 31737
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:30 204
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:30 9097
rand81406f.cudf.impossible.error 11-Dec-2010 17:30 5957
rand81406f.cudf.impossible.log 11-Dec-2010 17:30 5914
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:30 55789
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:30 4013
rand835640.cudf.impossible.error 11-Dec-2010 17:30 6573
rand835640.cudf.impossible.log 11-Dec-2010 17:30 6530
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:30 50227
rand835640.cudf.impossible.log.time 11-Dec-2010 17:30 203
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:30 4035
rand847939.cudf.difficult.error 11-Dec-2010 17:30 10519
rand847939.cudf.difficult.log 11-Dec-2010 17:30 10476
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:30 64971
rand847939.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:30 4234
rand878003.cudf.impossible.error 11-Dec-2010 17:30 9928
rand878003.cudf.impossible.log 11-Dec-2010 17:30 9885
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:30 81749
rand878003.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:30 4138
rand8cc693.cudf.impossible.error 11-Dec-2010 17:30 14348
rand8cc693.cudf.impossible.log 11-Dec-2010 17:30 14305
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:30 76696
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:30 4090
rand8d117b.cudf.easy.error 11-Dec-2010 17:30 9491
rand8d117b.cudf.easy.log 11-Dec-2010 17:30 9448
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:30 33123
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:30 203
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:30 8907
rand908403.cudf.difficult.error 11-Dec-2010 17:30 8748
rand908403.cudf.difficult.log 11-Dec-2010 17:30 8705
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:30 38290
rand908403.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:30 4040
rand951a14.cudf.easy.error 11-Dec-2010 17:30 8121
rand951a14.cudf.easy.log 11-Dec-2010 17:30 8078
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:30 23923
rand951a14.cudf.easy.log.time 11-Dec-2010 17:30 204
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:30 8726
rand95e48b.cudf.difficult.error 11-Dec-2010 17:30 11259
rand95e48b.cudf.difficult.log 11-Dec-2010 17:30 11216
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 72505
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:30 204
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4269
randa223c3.cudf.impossible.error 11-Dec-2010 17:30 8539
randa223c3.cudf.impossible.log 11-Dec-2010 17:30 8496
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:30 63301
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:30 204
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:30 4088
randa45895.cudf.difficult.error 11-Dec-2010 17:30 1837
randa45895.cudf.difficult.log 11-Dec-2010 17:30 1794
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:30 31529
randa45895.cudf.difficult.log.time 11-Dec-2010 17:30 203
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:30 67
randa651ed.cudf.difficult.error 11-Dec-2010 17:30 9102
randa651ed.cudf.difficult.log 11-Dec-2010 17:30 9059
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:30 46868
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:30 204
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:30 4213
randa870aa.cudf.difficult.error 11-Dec-2010 17:30 8494
randa870aa.cudf.difficult.log 11-Dec-2010 17:30 8451
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:30 44816
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:30 204
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:30 4102
randa9ba44.cudf.easy.error 11-Dec-2010 17:30 5679
randa9ba44.cudf.easy.log 11-Dec-2010 17:30 5636
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:30 37422
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:30 204
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:30 8989
randaaa8ea.cudf.easy.error 11-Dec-2010 17:30 6988
randaaa8ea.cudf.easy.log 11-Dec-2010 17:30 6945
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:30 35859
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:30 204
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:30 8860
randaafcce.cudf.impossible.error 11-Dec-2010 17:30 7967
randaafcce.cudf.impossible.log 11-Dec-2010 17:30 7924
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:30 45870
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:30 203
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:30 3856
randadea40.cudf.easy.error 11-Dec-2010 17:30 8081
randadea40.cudf.easy.log 11-Dec-2010 17:30 8038
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:30 32065
randadea40.cudf.easy.log.time 11-Dec-2010 17:30 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:30 8692
randba6b5b.cudf.easy.error 11-Dec-2010 17:30 6653
randba6b5b.cudf.easy.log 11-Dec-2010 17:30 6610
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:30 34375
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:30 204
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:30 8946
randbe9acf.cudf.easy.error 11-Dec-2010 17:30 7951
randbe9acf.cudf.easy.log 11-Dec-2010 17:30 7908
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:30 31111
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:30 204
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:30 8952
randc10393.cudf.difficult.error 11-Dec-2010 17:30 8111
randc10393.cudf.difficult.log 11-Dec-2010 17:30 8068
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:30 44866
randc10393.cudf.difficult.log.time 11-Dec-2010 17:30 204
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:30 4075
randc192b7.cudf.easy.error 11-Dec-2010 17:30 10608
randc192b7.cudf.easy.log 11-Dec-2010 17:30 10565
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:30 28356
randc192b7.cudf.easy.log.time 11-Dec-2010 17:30 204
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:30 9235
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:30 6450
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:30 6407
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:30 39535
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:30 204
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:30 3874
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:30 7717
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:30 7674
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:30 42756
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:30 204
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:30 4223
randea6106.cudf.easy.error 11-Dec-2010 17:30 7677
randea6106.cudf.easy.log 11-Dec-2010 17:30 7634
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:30 30826
randea6106.cudf.easy.log.time 11-Dec-2010 17:30 204
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:30 8980
randeb343c.cudf.easy.error 11-Dec-2010 17:30 7122
randeb343c.cudf.easy.log 11-Dec-2010 17:30 7079
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:30 35754
randeb343c.cudf.easy.log.time 11-Dec-2010 17:30 204
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:30 9036
randec88d5.cudf.impossible.error 11-Dec-2010 17:30 9866
randec88d5.cudf.impossible.log 11-Dec-2010 17:30 9823
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:30 72265
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:30 204
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:30 3912
randf17677.cudf.difficult.error 11-Dec-2010 17:30 7881
randf17677.cudf.difficult.log 11-Dec-2010 17:30 7838
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:30 45119
randf17677.cudf.difficult.log.time 11-Dec-2010 17:30 203
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:30 4127
randf406d5.cudf.difficult.error 11-Dec-2010 17:30 1836
randf406d5.cudf.difficult.log 11-Dec-2010 17:30 1793
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:30 30560
randf406d5.cudf.difficult.log.time 11-Dec-2010 17:30 204
randf406d5.cudf.difficult.result.bz2 11-Dec-2010 17:30 67
randf61f65.cudf.difficult.error 11-Dec-2010 17:30 8120
randf61f65.cudf.difficult.log 11-Dec-2010 17:30 8077
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:30 49382
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:30 203
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:30 4176
randf7a7e4.cudf.easy.error 11-Dec-2010 17:30 16811
randf7a7e4.cudf.easy.log 11-Dec-2010 17:30 16768
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:30 28501
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:30 204
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:30 7101
randfa4522.cudf.impossible.error 11-Dec-2010 17:30 3265
randfa4522.cudf.impossible.log 11-Dec-2010 17:30 3222
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:30 35962
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:30 203
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:30 3968