Index of /misc-live/20101126/solutions/user3/cudf2pbo4user-1.0/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8491
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8606
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16170
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 16358
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17693
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16319
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8803
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8606
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16184
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 16329
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 58
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 15
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 14390
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 201
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16348
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 58
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 15
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 10256
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 202
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 8466
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 58
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 15
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 12618
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 201
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16359
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16179
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 201
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16289
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 14439
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16340
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15059
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16307
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15287
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16289
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15287
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16307
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16166
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 201
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16319
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 58
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 15
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 12876
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 11358
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 7609
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 201
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8666
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17076
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16319
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 58
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8956
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8606
rand0695fb.cudf.impossible.error 11-Dec-2010 17:31 58
rand0695fb.cudf.impossible.log 11-Dec-2010 17:31 15
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:31 11815
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:31 200
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:31 3941
rand06f749.cudf.difficult.error 11-Dec-2010 17:31 58
rand06f749.cudf.difficult.log 11-Dec-2010 17:31 15
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15812
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:31 4444
rand08759d.cudf.easy.error 11-Dec-2010 17:31 58
rand08759d.cudf.easy.log 11-Dec-2010 17:31 15
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:31 8040
rand08759d.cudf.easy.log.time 11-Dec-2010 17:31 203
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:31 9420
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:31 58
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:31 15
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11895
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:31 4124
rand13b58e.cudf.easy.error 11-Dec-2010 17:31 58
rand13b58e.cudf.easy.log 11-Dec-2010 17:31 15
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:31 7214
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:31 204
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:31 8484
rand14ba69.cudf.difficult.error 11-Dec-2010 17:31 58
rand14ba69.cudf.difficult.log 11-Dec-2010 17:31 15
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11054
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:31 4207
rand1bff33.cudf.easy.error 11-Dec-2010 17:31 58
rand1bff33.cudf.easy.log 11-Dec-2010 17:31 15
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:31 7166
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:31 204
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:31 9117
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:31 58
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:31 15
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12268
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:31 4269
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:31 58
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:31 15
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:31 7198
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:31 203
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:31 8976
rand2fe899.cudf.difficult.error 11-Dec-2010 17:31 58
rand2fe899.cudf.difficult.log 11-Dec-2010 17:31 15
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13164
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:31 3541
rand332173.cudf.impossible.error 11-Dec-2010 17:31 58
rand332173.cudf.impossible.log 11-Dec-2010 17:31 15
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17015
rand332173.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:31 4371
rand359ca0.cudf.easy.error 11-Dec-2010 17:31 58
rand359ca0.cudf.easy.log 11-Dec-2010 17:31 15
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:31 8058
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:31 204
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:31 9175
rand394916.cudf.difficult.error 11-Dec-2010 17:31 49
rand394916.cudf.difficult.log 11-Dec-2010 17:31 6
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:31 7547
rand394916.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
rand3dec28.cudf.impossible.error 11-Dec-2010 17:31 58
rand3dec28.cudf.impossible.log 11-Dec-2010 17:31 15
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14307
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:31 201
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:31 4178
rand49d73b.cudf.difficult.error 11-Dec-2010 17:31 58
rand49d73b.cudf.difficult.log 11-Dec-2010 17:31 15
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11394
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4072
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:31 58
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:31 15
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:31 16702
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:31 4127
rand50a937.cudf.difficult.error 11-Dec-2010 17:31 58
rand50a937.cudf.difficult.log 11-Dec-2010 17:31 15
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12254
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:31 4969
rand5619c8.cudf.easy.error 11-Dec-2010 17:31 58
rand5619c8.cudf.easy.log 11-Dec-2010 17:31 15
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:31 8309
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:31 204
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:31 9192
rand5c1800.cudf.easy.error 11-Dec-2010 17:31 58
rand5c1800.cudf.easy.log 11-Dec-2010 17:31 15
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:31 7168
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:31 206
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:31 8913
rand61b840.cudf.easy.error 11-Dec-2010 17:31 58
rand61b840.cudf.easy.log 11-Dec-2010 17:31 15
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:31 8402
rand61b840.cudf.easy.log.time 11-Dec-2010 17:31 202
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:31 8974
rand655e63.cudf.impossible.error 11-Dec-2010 17:31 58
rand655e63.cudf.impossible.log 11-Dec-2010 17:31 15
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:31 13787
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:31 201
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:31 4002
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:31 58
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:31 15
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:31 18742
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:31 4357
rand6d933e.cudf.easy.error 11-Dec-2010 17:31 58
rand6d933e.cudf.easy.log 11-Dec-2010 17:31 15
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:31 7207
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:31 205
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:31 9017
rand7141b1.cudf.impossible.error 11-Dec-2010 17:31 58
rand7141b1.cudf.impossible.log 11-Dec-2010 17:31 15
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17893
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:31 3939
rand7902a8.cudf.impossible.error 11-Dec-2010 17:31 58
rand7902a8.cudf.impossible.log 11-Dec-2010 17:31 15
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14325
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:31 4280
rand7b4167.cudf.difficult.error 11-Dec-2010 17:31 58
rand7b4167.cudf.difficult.log 11-Dec-2010 17:31 15
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:31 8754
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:31 3824
rand7fec8c.cudf.easy.error 11-Dec-2010 17:31 58
rand7fec8c.cudf.easy.log 11-Dec-2010 17:31 15
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:31 7219
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:31 205
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:31 9117
rand81406f.cudf.impossible.error 11-Dec-2010 17:31 58
rand81406f.cudf.impossible.log 11-Dec-2010 17:31 15
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14290
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:31 4026
rand835640.cudf.impossible.error 11-Dec-2010 17:31 58
rand835640.cudf.impossible.log 11-Dec-2010 17:31 15
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:31 12514
rand835640.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:31 4057
rand847939.cudf.difficult.error 11-Dec-2010 17:31 58
rand847939.cudf.difficult.log 11-Dec-2010 17:31 15
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:31 14002
rand847939.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:31 4191
rand878003.cudf.impossible.error 11-Dec-2010 17:31 58
rand878003.cudf.impossible.log 11-Dec-2010 17:31 15
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:31 21822
rand878003.cudf.impossible.log.time 11-Dec-2010 17:31 202
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:31 4109
rand8cc693.cudf.impossible.error 11-Dec-2010 17:31 58
rand8cc693.cudf.impossible.log 11-Dec-2010 17:31 15
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:31 20560
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:31 201
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:31 4047
rand8d117b.cudf.easy.error 11-Dec-2010 17:31 58
rand8d117b.cudf.easy.log 11-Dec-2010 17:31 15
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:31 8297
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:31 204
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:31 8912
rand908403.cudf.difficult.error 11-Dec-2010 17:31 58
rand908403.cudf.difficult.log 11-Dec-2010 17:31 15
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:31 9605
rand908403.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:31 4028
rand951a14.cudf.easy.error 11-Dec-2010 17:31 58
rand951a14.cudf.easy.log 11-Dec-2010 17:31 15
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:31 8035
rand951a14.cudf.easy.log.time 11-Dec-2010 17:31 203
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:31 8756
rand95e48b.cudf.difficult.error 11-Dec-2010 17:31 58
rand95e48b.cudf.difficult.log 11-Dec-2010 17:31 15
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 19371
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4266
randa223c3.cudf.impossible.error 11-Dec-2010 17:31 58
randa223c3.cudf.impossible.log 11-Dec-2010 17:31 15
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:31 12568
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:31 202
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:31 4012
randa45895.cudf.difficult.error 11-Dec-2010 17:31 49
randa45895.cudf.difficult.log 11-Dec-2010 17:31 6
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:31 7541
randa45895.cudf.difficult.log.time 11-Dec-2010 17:31 204
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
randa651ed.cudf.difficult.error 11-Dec-2010 17:31 58
randa651ed.cudf.difficult.log 11-Dec-2010 17:31 15
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12225
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:31 203
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:31 4177
randa870aa.cudf.difficult.error 11-Dec-2010 17:31 58
randa870aa.cudf.difficult.log 11-Dec-2010 17:31 15
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:31 10512
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:31 203
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:31 4115
randa9ba44.cudf.easy.error 11-Dec-2010 17:31 58
randa9ba44.cudf.easy.log 11-Dec-2010 17:31 15
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:31 7169
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:31 206
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:31 9013
randaaa8ea.cudf.easy.error 11-Dec-2010 17:31 58
randaaa8ea.cudf.easy.log 11-Dec-2010 17:31 15
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:31 8095
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:31 204
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:31 8889
randaafcce.cudf.impossible.error 11-Dec-2010 17:31 58
randaafcce.cudf.impossible.log 11-Dec-2010 17:31 15
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14330
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:31 202
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:31 3853
randadea40.cudf.easy.error 11-Dec-2010 17:31 58
randadea40.cudf.easy.log 11-Dec-2010 17:31 15
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:31 7499
randadea40.cudf.easy.log.time 11-Dec-2010 17:31 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:31 8704
randba6b5b.cudf.easy.error 11-Dec-2010 17:31 58
randba6b5b.cudf.easy.log 11-Dec-2010 17:31 15
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:31 7213
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:31 203
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:31 8987
randbe9acf.cudf.easy.error 11-Dec-2010 17:31 58
randbe9acf.cudf.easy.log 11-Dec-2010 17:31 15
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:31 8198
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:31 204
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:31 8977
randc10393.cudf.difficult.error 11-Dec-2010 17:31 58
randc10393.cudf.difficult.log 11-Dec-2010 17:31 15
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12768
randc10393.cudf.difficult.log.time 11-Dec-2010 17:31 203
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:31 4060
randc192b7.cudf.easy.error 11-Dec-2010 17:31 58
randc192b7.cudf.easy.log 11-Dec-2010 17:31 15
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:31 8524
randc192b7.cudf.easy.log.time 11-Dec-2010 17:31 203
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:31 9256
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:31 58
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:31 15
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:31 10654
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:31 202
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:31 3889
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:31 58
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:31 15
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13316
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:31 203
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:31 4183
randea6106.cudf.easy.error 11-Dec-2010 17:31 58
randea6106.cudf.easy.log 11-Dec-2010 17:31 15
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:31 8853
randea6106.cudf.easy.log.time 11-Dec-2010 17:31 202
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:31 9009
randeb343c.cudf.easy.error 11-Dec-2010 17:31 58
randeb343c.cudf.easy.log 11-Dec-2010 17:31 15
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:31 7961
randeb343c.cudf.easy.log.time 11-Dec-2010 17:31 202
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:31 9031
randec88d5.cudf.impossible.error 11-Dec-2010 17:31 58
randec88d5.cudf.impossible.log 11-Dec-2010 17:31 15
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:31 18772
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:31 202
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:31 3921
randf17677.cudf.difficult.error 11-Dec-2010 17:31 58
randf17677.cudf.difficult.log 11-Dec-2010 17:31 15
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12128
randf17677.cudf.difficult.log.time 11-Dec-2010 17:31 202
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:31 4129
randf406d5.cudf.difficult.error 11-Dec-2010 17:31 49
randf406d5.cudf.difficult.log 11-Dec-2010 17:31 6
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:31 7926
randf406d5.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf406d5.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
randf61f65.cudf.difficult.error 11-Dec-2010 17:31 58
randf61f65.cudf.difficult.log 11-Dec-2010 17:31 15
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11229
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:31 4215
randf7a7e4.cudf.easy.error 11-Dec-2010 17:31 58
randf7a7e4.cudf.easy.log 11-Dec-2010 17:31 15
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:31 7258
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:31 204
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:31 7155
randfa4522.cudf.impossible.error 11-Dec-2010 17:31 58
randfa4522.cudf.impossible.log 11-Dec-2010 17:31 15
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:31 9871
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:31 203
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:31 3994