Index of /misc-live/20101126/solutions/user3/p2cudf-user-1.10/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13429
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13386
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 28105
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8556
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37190
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37147
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 44423
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16254
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37301
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37258
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 44768
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16237
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13429
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13386
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 31635
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8556
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37194
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37151
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 48480
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16247
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 35334
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 35291
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 36619
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16266
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 8464
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 8421
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 36048
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 203
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 8403
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 36833
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 36790
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 49728
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 204
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16257
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37214
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37171
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 40719
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16231
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37190
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37147
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 41548
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16254
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37166
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37123
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 48721
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16252
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37214
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37171
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 45315
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16231
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37166
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37123
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 44780
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16252
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37303
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37260
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37149
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16237
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 18463
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 18420
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 49341
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 202
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 11263
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 10003
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 9960
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 36006
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8615
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37304
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 37261
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 40949
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16237
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13427
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13384
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 32995
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8556
rand0695fb.cudf.impossible.error 11-Dec-2010 17:31 14821
rand0695fb.cudf.impossible.log 11-Dec-2010 17:31 14778
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:31 49034
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:31 3921
rand06f749.cudf.difficult.error 11-Dec-2010 17:31 16231
rand06f749.cudf.difficult.log 11-Dec-2010 17:31 16188
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:31 53288
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:31 4421
rand08759d.cudf.easy.error 11-Dec-2010 17:31 6582
rand08759d.cudf.easy.log 11-Dec-2010 17:31 6539
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:31 35326
rand08759d.cudf.easy.log.time 11-Dec-2010 17:31 204
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:31 9414
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:31 15186
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:31 15143
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:31 40595
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:31 4103
rand13b58e.cudf.easy.error 11-Dec-2010 17:31 10953
rand13b58e.cudf.easy.log 11-Dec-2010 17:31 10910
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:31 27066
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:31 204
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:31 8446
rand14ba69.cudf.difficult.error 11-Dec-2010 17:31 14809
rand14ba69.cudf.difficult.log 11-Dec-2010 17:31 14766
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:31 28700
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:31 4183
rand1bff33.cudf.easy.error 11-Dec-2010 17:31 4445
rand1bff33.cudf.easy.log 11-Dec-2010 17:31 4402
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:31 35640
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:31 203
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:31 9052
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:31 14178
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:31 14135
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:31 40956
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:31 4235
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:31 9272
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:31 9229
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:31 36308
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:31 203
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:31 8942
rand2fe899.cudf.difficult.error 11-Dec-2010 17:31 14524
rand2fe899.cudf.difficult.log 11-Dec-2010 17:31 14481
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:31 45745
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:31 3525
rand332173.cudf.impossible.error 11-Dec-2010 17:31 16796
rand332173.cudf.impossible.log 11-Dec-2010 17:31 16753
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:31 75103
rand332173.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:31 4353
rand359ca0.cudf.easy.error 11-Dec-2010 17:31 5477
rand359ca0.cudf.easy.log 11-Dec-2010 17:31 5434
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:31 35602
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:31 203
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:31 9139
rand394916.cudf.difficult.error 11-Dec-2010 17:31 1818
rand394916.cudf.difficult.log 11-Dec-2010 17:31 1775
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:31 30724
rand394916.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:31 67
rand3dec28.cudf.impossible.error 11-Dec-2010 17:31 14276
rand3dec28.cudf.impossible.log 11-Dec-2010 17:31 14233
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:31 45305
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:31 4161
rand49d73b.cudf.difficult.error 11-Dec-2010 17:31 14541
rand49d73b.cudf.difficult.log 11-Dec-2010 17:31 14498
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 48659
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4045
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:31 14554
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:31 14511
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:31 54394
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:31 4094
rand50a937.cudf.difficult.error 11-Dec-2010 17:31 18565
rand50a937.cudf.difficult.log 11-Dec-2010 17:31 18522
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:31 46620
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:31 4930
rand5619c8.cudf.easy.error 11-Dec-2010 17:31 8481
rand5619c8.cudf.easy.log 11-Dec-2010 17:31 8438
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:31 36504
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:31 204
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:31 9146
rand5c1800.cudf.easy.error 11-Dec-2010 17:31 5204
rand5c1800.cudf.easy.log 11-Dec-2010 17:31 5161
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:31 36182
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:31 203
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:31 8874
rand61b840.cudf.easy.error 11-Dec-2010 17:31 11070
rand61b840.cudf.easy.log 11-Dec-2010 17:31 11027
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:31 33385
rand61b840.cudf.easy.log.time 11-Dec-2010 17:31 204
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:31 8923
rand655e63.cudf.impossible.error 11-Dec-2010 17:31 14031
rand655e63.cudf.impossible.log 11-Dec-2010 17:31 13988
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:31 62095
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:31 3989
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:31 15796
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:31 15753
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:31 52835
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:31 4344
rand6d933e.cudf.easy.error 11-Dec-2010 17:31 5823
rand6d933e.cudf.easy.log 11-Dec-2010 17:31 5780
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:31 31338
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:31 203
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:31 8970
rand7141b1.cudf.impossible.error 11-Dec-2010 17:31 14649
rand7141b1.cudf.impossible.log 11-Dec-2010 17:31 14606
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:31 59114
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:31 3923
rand7902a8.cudf.impossible.error 11-Dec-2010 17:31 15103
rand7902a8.cudf.impossible.log 11-Dec-2010 17:31 15060
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:31 50413
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:31 4262
rand7b4167.cudf.difficult.error 11-Dec-2010 17:31 12842
rand7b4167.cudf.difficult.log 11-Dec-2010 17:31 12799
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:31 44391
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:31 3806
rand7fec8c.cudf.easy.error 11-Dec-2010 17:31 5146
rand7fec8c.cudf.easy.log 11-Dec-2010 17:31 5103
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:31 35251
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:31 203
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:31 9093
rand81406f.cudf.impossible.error 11-Dec-2010 17:31 12885
rand81406f.cudf.impossible.log 11-Dec-2010 17:31 12842
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:31 45079
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:31 4012
rand835640.cudf.impossible.error 11-Dec-2010 17:31 13187
rand835640.cudf.impossible.log 11-Dec-2010 17:31 13144
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:31 53610
rand835640.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:31 4034
rand847939.cudf.difficult.error 11-Dec-2010 17:31 16127
rand847939.cudf.difficult.log 11-Dec-2010 17:31 16084
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:31 57321
rand847939.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:31 4180
rand878003.cudf.impossible.error 11-Dec-2010 17:31 16281
rand878003.cudf.impossible.log 11-Dec-2010 17:31 16238
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:31 72487
rand878003.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:31 4100
rand8cc693.cudf.impossible.error 11-Dec-2010 17:31 21497
rand8cc693.cudf.impossible.log 11-Dec-2010 17:31 21454
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:31 72220
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:31 4010
rand8d117b.cudf.easy.error 11-Dec-2010 17:31 8549
rand8d117b.cudf.easy.log 11-Dec-2010 17:31 8506
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:31 32887
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:31 203
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:31 8868
rand908403.cudf.difficult.error 11-Dec-2010 17:31 14465
rand908403.cudf.difficult.log 11-Dec-2010 17:31 14422
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:31 35360
rand908403.cudf.difficult.log.time 11-Dec-2010 17:31 204
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:31 4025
rand951a14.cudf.easy.error 11-Dec-2010 17:31 7084
rand951a14.cudf.easy.log 11-Dec-2010 17:31 7041
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:31 27322
rand951a14.cudf.easy.log.time 11-Dec-2010 17:31 204
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:31 8708
rand95e48b.cudf.difficult.error 11-Dec-2010 17:31 18148
rand95e48b.cudf.difficult.log 11-Dec-2010 17:31 18105
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 70635
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4266
randa223c3.cudf.impossible.error 11-Dec-2010 17:31 14630
randa223c3.cudf.impossible.log 11-Dec-2010 17:31 14587
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:31 39731
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:31 203
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:31 3986
randa45895.cudf.difficult.error 11-Dec-2010 17:31 1819
randa45895.cudf.difficult.log 11-Dec-2010 17:31 1776
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:31 32397
randa45895.cudf.difficult.log.time 11-Dec-2010 17:31 204
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:31 67
randa651ed.cudf.difficult.error 11-Dec-2010 17:31 15261
randa651ed.cudf.difficult.log 11-Dec-2010 17:31 15218
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:31 44360
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:31 204
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:31 4156
randa870aa.cudf.difficult.error 11-Dec-2010 17:31 14245
randa870aa.cudf.difficult.log 11-Dec-2010 17:31 14202
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:31 41700
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:31 204
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:31 4094
randa9ba44.cudf.easy.error 11-Dec-2010 17:31 4863
randa9ba44.cudf.easy.log 11-Dec-2010 17:31 4820
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:31 27686
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:31 203
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:31 8998
randaaa8ea.cudf.easy.error 11-Dec-2010 17:31 5795
randaaa8ea.cudf.easy.log 11-Dec-2010 17:31 5752
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:31 31555
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:31 202
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:31 8854
randaafcce.cudf.impossible.error 11-Dec-2010 17:31 14751
randaafcce.cudf.impossible.log 11-Dec-2010 17:31 14708
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:31 48966
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:31 204
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:31 3847
randadea40.cudf.easy.error 11-Dec-2010 17:31 6565
randadea40.cudf.easy.log 11-Dec-2010 17:31 6522
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:31 30625
randadea40.cudf.easy.log.time 11-Dec-2010 17:31 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:31 8686
randba6b5b.cudf.easy.error 11-Dec-2010 17:31 5325
randba6b5b.cudf.easy.log 11-Dec-2010 17:31 5282
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:31 31565
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:31 204
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:31 8952
randbe9acf.cudf.easy.error 11-Dec-2010 17:31 6546
randbe9acf.cudf.easy.log 11-Dec-2010 17:31 6503
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:31 32603
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:31 204
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:31 8942
randc10393.cudf.difficult.error 11-Dec-2010 17:31 13713
randc10393.cudf.difficult.log 11-Dec-2010 17:31 13670
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:31 49572
randc10393.cudf.difficult.log.time 11-Dec-2010 17:31 204
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:31 4038
randc192b7.cudf.easy.error 11-Dec-2010 17:31 9605
randc192b7.cudf.easy.log 11-Dec-2010 17:31 9562
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:31 33283
randc192b7.cudf.easy.log.time 11-Dec-2010 17:31 204
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:31 9234
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:31 12717
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:31 12674
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:31 36739
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:31 204
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:31 3859
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:31 13871
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:31 13828
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:31 43282
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:31 204
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:31 4185
randea6106.cudf.easy.error 11-Dec-2010 17:31 6106
randea6106.cudf.easy.log 11-Dec-2010 17:31 6063
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:31 34310
randea6106.cudf.easy.log.time 11-Dec-2010 17:31 203
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:31 9004
randeb343c.cudf.easy.error 11-Dec-2010 17:31 6044
randeb343c.cudf.easy.log 11-Dec-2010 17:31 6001
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:31 37064
randeb343c.cudf.easy.log.time 11-Dec-2010 17:31 204
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:31 8994
randec88d5.cudf.impossible.error 11-Dec-2010 17:31 16302
randec88d5.cudf.impossible.log 11-Dec-2010 17:31 16259
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:31 70464
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:31 200
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:31 3916
randf17677.cudf.difficult.error 11-Dec-2010 17:31 14516
randf17677.cudf.difficult.log 11-Dec-2010 17:31 14473
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:31 50120
randf17677.cudf.difficult.log.time 11-Dec-2010 17:31 204
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:31 4097
randf406d5.cudf.difficult.error 11-Dec-2010 17:31 1817
randf406d5.cudf.difficult.log 11-Dec-2010 17:31 1774
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:31 35232
randf406d5.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf406d5.cudf.difficult.result.bz2 11-Dec-2010 17:31 67
randf61f65.cudf.difficult.error 11-Dec-2010 17:31 14067
randf61f65.cudf.difficult.log 11-Dec-2010 17:31 14024
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:31 38827
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:31 204
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:31 4177
randf7a7e4.cudf.easy.error 11-Dec-2010 17:31 15988
randf7a7e4.cudf.easy.log 11-Dec-2010 17:31 15945
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:31 35744
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:31 204
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:31 7071
randfa4522.cudf.impossible.error 11-Dec-2010 17:31 10485
randfa4522.cudf.impossible.log 11-Dec-2010 17:31 10442
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:31 32074
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:31 204
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:31 3983