Index of /misc-live/20101126/solutions/user2/aspcud-1.3/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6058
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 8606
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13736
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16359
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13761
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 16355
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6718
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 8606
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 12490
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16388
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 43
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 13397
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 204
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16377
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 43
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 0
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 7287
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 201
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 8493
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 43
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16761
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16370
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 12509
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16385
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13416
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 16357
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 11959
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16348
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13393
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16385
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 12497
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 16348
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13433
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16355
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 43
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 0
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 8484
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 202
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 11347
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 6715
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8666
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 12989
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 16355
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 43
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 0
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 7093
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 203
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8606
rand0695fb.cudf.impossible.error 11-Dec-2010 17:30 43
rand0695fb.cudf.impossible.log 11-Dec-2010 17:30 0
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:30 13988
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:30 3945
rand06f749.cudf.difficult.error 11-Dec-2010 17:30 43
rand06f749.cudf.difficult.log 11-Dec-2010 17:30 0
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13501
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:30 4425
rand08759d.cudf.easy.error 11-Dec-2010 17:30 43
rand08759d.cudf.easy.log 11-Dec-2010 17:30 0
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:30 6934
rand08759d.cudf.easy.log.time 11-Dec-2010 17:30 202
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:30 9439
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:30 43
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:30 0
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9395
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:30 201
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:30 4108
rand13b58e.cudf.easy.error 11-Dec-2010 17:30 43
rand13b58e.cudf.easy.log 11-Dec-2010 17:30 0
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:30 7836
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:30 203
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:30 8449
rand14ba69.cudf.difficult.error 11-Dec-2010 17:30 43
rand14ba69.cudf.difficult.log 11-Dec-2010 17:30 0
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:30 10277
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:30 4204
rand1bff33.cudf.easy.error 11-Dec-2010 17:30 43
rand1bff33.cudf.easy.log 11-Dec-2010 17:30 0
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:30 7836
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:30 203
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:30 9090
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:30 43
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:30 0
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:30 10247
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:30 4259
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:30 43
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:30 0
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:30 7200
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:30 201
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:30 8978
rand2fe899.cudf.difficult.error 11-Dec-2010 17:30 43
rand2fe899.cudf.difficult.log 11-Dec-2010 17:30 0
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9881
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:30 3556
rand332173.cudf.impossible.error 11-Dec-2010 17:30 43
rand332173.cudf.impossible.log 11-Dec-2010 17:30 0
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:30 18152
rand332173.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:30 4411
rand359ca0.cudf.easy.error 11-Dec-2010 17:30 43
rand359ca0.cudf.easy.log 11-Dec-2010 17:30 0
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:30 6954
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:30 203
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:30 9214
rand394916.cudf.difficult.error 11-Dec-2010 17:30 43
rand394916.cudf.difficult.log 11-Dec-2010 17:30 0
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9034
rand394916.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:30 42
rand3dec28.cudf.impossible.error 11-Dec-2010 17:30 43
rand3dec28.cudf.impossible.log 11-Dec-2010 17:30 0
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:30 13631
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:30 4175
rand49d73b.cudf.difficult.error 11-Dec-2010 17:30 43
rand49d73b.cudf.difficult.log 11-Dec-2010 17:30 0
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9620
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4075
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:30 43
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:30 0
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:30 15325
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:30 4094
rand50a937.cudf.difficult.error 11-Dec-2010 17:30 43
rand50a937.cudf.difficult.log 11-Dec-2010 17:30 0
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11180
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:30 4947
rand5619c8.cudf.easy.error 11-Dec-2010 17:30 43
rand5619c8.cudf.easy.log 11-Dec-2010 17:30 0
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:30 6851
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:30 203
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:30 9203
rand5c1800.cudf.easy.error 11-Dec-2010 17:30 43
rand5c1800.cudf.easy.log 11-Dec-2010 17:30 0
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:30 7251
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:30 203
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:30 8943
rand61b840.cudf.easy.error 11-Dec-2010 17:30 43
rand61b840.cudf.easy.log 11-Dec-2010 17:30 0
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:30 7163
rand61b840.cudf.easy.log.time 11-Dec-2010 17:30 203
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:30 8981
rand655e63.cudf.impossible.error 11-Dec-2010 17:30 43
rand655e63.cudf.impossible.log 11-Dec-2010 17:30 0
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14147
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:30 201
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:30 4015
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:30 43
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:30 0
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:30 20908
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:30 203
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:30 4362
rand6d933e.cudf.easy.error 11-Dec-2010 17:30 43
rand6d933e.cudf.easy.log 11-Dec-2010 17:30 0
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:30 7160
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:30 203
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:30 9024
rand7141b1.cudf.impossible.error 11-Dec-2010 17:30 43
rand7141b1.cudf.impossible.log 11-Dec-2010 17:30 0
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:30 20336
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:30 3924
rand7902a8.cudf.impossible.error 11-Dec-2010 17:30 43
rand7902a8.cudf.impossible.log 11-Dec-2010 17:30 0
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14821
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:30 4276
rand7b4167.cudf.difficult.error 11-Dec-2010 17:30 43
rand7b4167.cudf.difficult.log 11-Dec-2010 17:30 0
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11622
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:30 3847
rand7fec8c.cudf.easy.error 11-Dec-2010 17:30 43
rand7fec8c.cudf.easy.log 11-Dec-2010 17:30 0
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:30 6947
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:30 203
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:30 9127
rand81406f.cudf.impossible.error 11-Dec-2010 17:30 43
rand81406f.cudf.impossible.log 11-Dec-2010 17:30 0
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:30 16676
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:30 4020
rand835640.cudf.impossible.error 11-Dec-2010 17:30 43
rand835640.cudf.impossible.log 11-Dec-2010 17:30 0
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:30 13000
rand835640.cudf.impossible.log.time 11-Dec-2010 17:30 203
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:30 4049
rand847939.cudf.difficult.error 11-Dec-2010 17:30 43
rand847939.cudf.difficult.log 11-Dec-2010 17:30 0
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:30 18005
rand847939.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:30 4228
rand878003.cudf.impossible.error 11-Dec-2010 17:30 43
rand878003.cudf.impossible.log 11-Dec-2010 17:30 0
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:30 17806
rand878003.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:30 4160
rand8cc693.cudf.impossible.error 11-Dec-2010 17:30 43
rand8cc693.cudf.impossible.log 11-Dec-2010 17:30 0
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:30 17093
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:30 204
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:30 42
rand8d117b.cudf.easy.error 11-Dec-2010 17:30 43
rand8d117b.cudf.easy.log 11-Dec-2010 17:30 0
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:30 6284
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:30 202
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:30 8940
rand908403.cudf.difficult.error 11-Dec-2010 17:30 43
rand908403.cudf.difficult.log 11-Dec-2010 17:30 0
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9711
rand908403.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:30 4063
rand951a14.cudf.easy.error 11-Dec-2010 17:30 43
rand951a14.cudf.easy.log 11-Dec-2010 17:30 0
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:30 7498
rand951a14.cudf.easy.log.time 11-Dec-2010 17:30 203
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:30 8750
rand95e48b.cudf.difficult.error 11-Dec-2010 17:30 43
rand95e48b.cudf.difficult.log 11-Dec-2010 17:30 0
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 17945
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:30 203
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4288
randa223c3.cudf.impossible.error 11-Dec-2010 17:30 43
randa223c3.cudf.impossible.log 11-Dec-2010 17:30 0
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14588
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:30 203
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:30 4102
randa45895.cudf.difficult.error 11-Dec-2010 17:30 43
randa45895.cudf.difficult.log 11-Dec-2010 17:30 0
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8170
randa45895.cudf.difficult.log.time 11-Dec-2010 17:30 203
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:30 42
randa651ed.cudf.difficult.error 11-Dec-2010 17:30 43
randa651ed.cudf.difficult.log 11-Dec-2010 17:30 0
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11390
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:30 203
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:30 4211
randa870aa.cudf.difficult.error 11-Dec-2010 17:30 43
randa870aa.cudf.difficult.log 11-Dec-2010 17:30 0
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8272
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:30 202
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:30 4109
randa9ba44.cudf.easy.error 11-Dec-2010 17:30 43
randa9ba44.cudf.easy.log 11-Dec-2010 17:30 0
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:30 6608
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:30 203
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:30 9051
randaaa8ea.cudf.easy.error 11-Dec-2010 17:30 43
randaaa8ea.cudf.easy.log 11-Dec-2010 17:30 0
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:30 7501
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:30 203
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:30 8901
randaafcce.cudf.impossible.error 11-Dec-2010 17:30 43
randaafcce.cudf.impossible.log 11-Dec-2010 17:30 0
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:30 12394
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:30 204
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:30 3857
randadea40.cudf.easy.error 11-Dec-2010 17:30 43
randadea40.cudf.easy.log 11-Dec-2010 17:30 0
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:30 6607
randadea40.cudf.easy.log.time 11-Dec-2010 17:30 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:30 8744
randba6b5b.cudf.easy.error 11-Dec-2010 17:30 43
randba6b5b.cudf.easy.log 11-Dec-2010 17:30 0
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:30 7310
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:30 203
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:30 8991
randbe9acf.cudf.easy.error 11-Dec-2010 17:30 43
randbe9acf.cudf.easy.log 11-Dec-2010 17:30 0
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:30 6116
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:30 203
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:30 8997
randc10393.cudf.difficult.error 11-Dec-2010 17:30 43
randc10393.cudf.difficult.log 11-Dec-2010 17:30 0
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:30 9927
randc10393.cudf.difficult.log.time 11-Dec-2010 17:30 203
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:30 4066
randc192b7.cudf.easy.error 11-Dec-2010 17:30 43
randc192b7.cudf.easy.log 11-Dec-2010 17:30 0
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:30 7736
randc192b7.cudf.easy.log.time 11-Dec-2010 17:30 202
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:30 9289
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:30 43
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:30 0
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8915
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:30 203
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:30 3870
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:30 43
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:30 0
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:30 14860
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:30 203
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:30 4228
randea6106.cudf.easy.error 11-Dec-2010 17:30 43
randea6106.cudf.easy.log 11-Dec-2010 17:30 0
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:30 7172
randea6106.cudf.easy.log.time 11-Dec-2010 17:30 201
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:30 9021
randeb343c.cudf.easy.error 11-Dec-2010 17:30 43
randeb343c.cudf.easy.log 11-Dec-2010 17:30 0
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:30 6532
randeb343c.cudf.easy.log.time 11-Dec-2010 17:30 203
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:30 9043
randec88d5.cudf.impossible.error 11-Dec-2010 17:30 43
randec88d5.cudf.impossible.log 11-Dec-2010 17:30 0
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:30 17959
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:30 203
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:30 3917
randf17677.cudf.difficult.error 11-Dec-2010 17:30 43
randf17677.cudf.difficult.log 11-Dec-2010 17:30 0
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:30 10156
randf17677.cudf.difficult.log.time 11-Dec-2010 17:30 203
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:30 4158
randf406d5.cudf.difficult.error 11-Dec-2010 17:30 43
randf406d5.cudf.difficult.log 11-Dec-2010 17:30 0
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8915
randf406d5.cudf.difficult.log.time 11-Dec-2010 17:30 203
randf406d5.cudf.difficult.result.bz2 11-Dec-2010 17:30 42
randf61f65.cudf.difficult.error 11-Dec-2010 17:30 43
randf61f65.cudf.difficult.log 11-Dec-2010 17:30 0
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8055
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:30 202
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:30 4193
randf7a7e4.cudf.easy.error 11-Dec-2010 17:30 43
randf7a7e4.cudf.easy.log 11-Dec-2010 17:30 0
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:30 6863
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:30 203
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:30 7103
randfa4522.cudf.impossible.error 11-Dec-2010 17:30 43
randfa4522.cudf.impossible.log 11-Dec-2010 17:30 0
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:30 17710
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:30 204
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:30 3973