Index of /misc-live/20101126/solutions/user3/cudf2msu4user-1.0/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 123
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 80
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13140
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8646
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 20296
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16354
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 20307
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16311
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 123
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 80
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 12245
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 8646
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 20243
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16351
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 131
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 88
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 20280
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 16370
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 127
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 84
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 11379
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 8458
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 135
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 92
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 19425
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 203
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16388
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 135
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 92
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 18525
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16363
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 20307
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 16354
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 19423
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 16360
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 135
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 92
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 19398
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 16363
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 19424
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16360
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 20275
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 16311
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 127
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 84
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 14914
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 201
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 11312
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 123
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 80
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 12241
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 8679
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 131
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 88
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 19400
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16311
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 123
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 80
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 13337
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 8646
rand0695fb.cudf.impossible.error 11-Dec-2010 17:31 131
rand0695fb.cudf.impossible.log 11-Dec-2010 17:31 88
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17428
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:31 3937
rand06f749.cudf.difficult.error 11-Dec-2010 17:31 127
rand06f749.cudf.difficult.log 11-Dec-2010 17:31 84
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12201
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:31 4440
rand08759d.cudf.easy.error 11-Dec-2010 17:31 127
rand08759d.cudf.easy.log 11-Dec-2010 17:31 84
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:31 8689
rand08759d.cudf.easy.log.time 11-Dec-2010 17:31 203
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:31 9428
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:31 127
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:31 84
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12192
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:31 4116
rand13b58e.cudf.easy.error 11-Dec-2010 17:31 127
rand13b58e.cudf.easy.log 11-Dec-2010 17:31 84
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:31 10425
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:31 203
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:31 8469
rand14ba69.cudf.difficult.error 11-Dec-2010 17:31 127
rand14ba69.cudf.difficult.log 11-Dec-2010 17:31 84
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13947
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:31 4207
rand1bff33.cudf.easy.error 11-Dec-2010 17:31 123
rand1bff33.cudf.easy.log 11-Dec-2010 17:31 80
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:31 8682
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:31 203
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:31 9087
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:31 127
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:31 84
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12122
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:31 4253
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:31 127
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:31 84
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:31 8691
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:31 201
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:31 8993
rand2fe899.cudf.difficult.error 11-Dec-2010 17:31 127
rand2fe899.cudf.difficult.log 11-Dec-2010 17:31 84
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12202
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:31 3530
rand332173.cudf.impossible.abort 11-Dec-2010 17:31 71
rand332173.cudf.impossible.log 11-Dec-2010 17:31 22
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17280
rand332173.cudf.impossible.log.time 11-Dec-2010 17:31 0
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:31 2817
rand359ca0.cudf.easy.error 11-Dec-2010 17:31 127
rand359ca0.cudf.easy.log 11-Dec-2010 17:31 84
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:31 7809
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:31 201
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:31 9185
rand394916.cudf.difficult.error 11-Dec-2010 17:31 43
rand394916.cudf.difficult.log 11-Dec-2010 17:31 0
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:31 8711
rand394916.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:31 69
rand3dec28.cudf.impossible.error 11-Dec-2010 17:31 131
rand3dec28.cudf.impossible.log 11-Dec-2010 17:31 88
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17557
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:31 4173
rand49d73b.cudf.difficult.error 11-Dec-2010 17:31 127
rand49d73b.cudf.difficult.log 11-Dec-2010 17:31 84
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12215
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4065
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:31 127
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:31 84
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13094
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:31 4106
rand50a937.cudf.difficult.error 11-Dec-2010 17:31 131
rand50a937.cudf.difficult.log 11-Dec-2010 17:31 88
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13961
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:31 4983
rand5619c8.cudf.easy.error 11-Dec-2010 17:31 127
rand5619c8.cudf.easy.log 11-Dec-2010 17:31 84
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:31 10416
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:31 203
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:31 9190
rand5c1800.cudf.easy.error 11-Dec-2010 17:31 127
rand5c1800.cudf.easy.log 11-Dec-2010 17:31 84
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:31 8692
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:31 201
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:31 8909
rand61b840.cudf.easy.error 11-Dec-2010 17:31 127
rand61b840.cudf.easy.log 11-Dec-2010 17:31 84
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:31 11283
rand61b840.cudf.easy.log.time 11-Dec-2010 17:31 203
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:31 8937
rand655e63.cudf.impossible.error 11-Dec-2010 17:31 131
rand655e63.cudf.impossible.log 11-Dec-2010 17:31 88
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:31 18451
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:31 4010
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:31 131
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:31 88
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16630
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:31 4378
rand6d933e.cudf.easy.error 11-Dec-2010 17:31 127
rand6d933e.cudf.easy.log 11-Dec-2010 17:31 84
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:31 9552
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:31 203
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:31 9003
rand7141b1.cudf.impossible.error 11-Dec-2010 17:31 131
rand7141b1.cudf.impossible.log 11-Dec-2010 17:31 88
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16659
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:31 3933
rand7902a8.cudf.impossible.error 11-Dec-2010 17:31 131
rand7902a8.cudf.impossible.log 11-Dec-2010 17:31 88
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16674
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:31 4275
rand7b4167.cudf.difficult.error 11-Dec-2010 17:31 127
rand7b4167.cudf.difficult.log 11-Dec-2010 17:31 84
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:31 8699
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:31 3833
rand7fec8c.cudf.easy.error 11-Dec-2010 17:31 127
rand7fec8c.cudf.easy.log 11-Dec-2010 17:31 84
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:31 7822
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:31 201
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:31 9126
rand81406f.cudf.impossible.error 11-Dec-2010 17:31 131
rand81406f.cudf.impossible.log 11-Dec-2010 17:31 88
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16654
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:31 4023
rand835640.cudf.impossible.error 11-Dec-2010 17:31 131
rand835640.cudf.impossible.log 11-Dec-2010 17:31 88
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16638
rand835640.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:31 4033
rand847939.cudf.difficult.error 11-Dec-2010 17:31 127
rand847939.cudf.difficult.log 11-Dec-2010 17:31 84
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12181
rand847939.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:31 4209
rand878003.cudf.impossible.abort 11-Dec-2010 17:31 71
rand878003.cudf.impossible.log 11-Dec-2010 17:31 22
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17265
rand878003.cudf.impossible.log.time 11-Dec-2010 17:31 0
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:31 2757
rand8cc693.cudf.impossible.abort 11-Dec-2010 17:31 71
rand8cc693.cudf.impossible.log 11-Dec-2010 17:31 22
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16383
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:31 0
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:31 4024
rand8d117b.cudf.easy.error 11-Dec-2010 17:31 127
rand8d117b.cudf.easy.log 11-Dec-2010 17:31 84
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:31 10419
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:31 203
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:31 8965
rand908403.cudf.difficult.error 11-Dec-2010 17:31 127
rand908403.cudf.difficult.log 11-Dec-2010 17:31 84
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13930
rand908403.cudf.difficult.log.time 11-Dec-2010 17:31 199
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:31 4024
rand951a14.cudf.easy.error 11-Dec-2010 17:31 127
rand951a14.cudf.easy.log 11-Dec-2010 17:31 84
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:31 9464
rand951a14.cudf.easy.log.time 11-Dec-2010 17:31 203
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:31 8755
rand95e48b.cudf.difficult.error 11-Dec-2010 17:31 127
rand95e48b.cudf.difficult.log 11-Dec-2010 17:31 84
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13966
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4281
randa223c3.cudf.impossible.error 11-Dec-2010 17:31 131
randa223c3.cudf.impossible.log 11-Dec-2010 17:31 88
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:31 17551
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:31 204
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:31 3998
randa45895.cudf.difficult.error 11-Dec-2010 17:31 43
randa45895.cudf.difficult.log 11-Dec-2010 17:31 0
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:31 7829
randa45895.cudf.difficult.log.time 11-Dec-2010 17:31 201
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:31 69
randa651ed.cudf.difficult.error 11-Dec-2010 17:31 127
randa651ed.cudf.difficult.log 11-Dec-2010 17:31 84
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11334
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:31 203
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:31 4184
randa870aa.cudf.difficult.error 11-Dec-2010 17:31 127
randa870aa.cudf.difficult.log 11-Dec-2010 17:31 84
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12166
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:31 202
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:31 4111
randa9ba44.cudf.easy.error 11-Dec-2010 17:31 127
randa9ba44.cudf.easy.log 11-Dec-2010 17:31 84
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:31 8680
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:31 203
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:31 9032
randaaa8ea.cudf.easy.error 11-Dec-2010 17:31 127
randaaa8ea.cudf.easy.log 11-Dec-2010 17:31 84
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:31 9473
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:31 203
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:31 8887
randaafcce.cudf.impossible.error 11-Dec-2010 17:31 131
randaafcce.cudf.impossible.log 11-Dec-2010 17:31 88
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16660
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:31 203
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:31 3859
randadea40.cudf.easy.error 11-Dec-2010 17:31 127
randadea40.cudf.easy.log 11-Dec-2010 17:31 84
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:31 10409
randadea40.cudf.easy.log.time 11-Dec-2010 17:31 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:31 8746
randba6b5b.cudf.easy.error 11-Dec-2010 17:31 127
randba6b5b.cudf.easy.log 11-Dec-2010 17:31 84
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:31 8689
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:31 203
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:31 8994
randbe9acf.cudf.easy.error 11-Dec-2010 17:31 127
randbe9acf.cudf.easy.log 11-Dec-2010 17:31 84
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:31 9678
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:31 203
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:31 9009
randc10393.cudf.difficult.error 11-Dec-2010 17:31 127
randc10393.cudf.difficult.log 11-Dec-2010 17:31 84
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11312
randc10393.cudf.difficult.log.time 11-Dec-2010 17:31 203
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:31 4034
randc192b7.cudf.easy.error 11-Dec-2010 17:31 127
randc192b7.cudf.easy.log 11-Dec-2010 17:31 84
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:31 9683
randc192b7.cudf.easy.log.time 11-Dec-2010 17:31 202
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:31 9279
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:31 127
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:31 84
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:31 10610
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:31 203
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:31 3890
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:31 127
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:31 84
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12365
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:31 203
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:31 4193
randea6106.cudf.easy.error 11-Dec-2010 17:31 127
randea6106.cudf.easy.log 11-Dec-2010 17:31 84
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:31 8804
randea6106.cudf.easy.log.time 11-Dec-2010 17:31 202
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:31 9025
randeb343c.cudf.easy.error 11-Dec-2010 17:31 127
randeb343c.cudf.easy.log 11-Dec-2010 17:31 84
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:31 9681
randeb343c.cudf.easy.log.time 11-Dec-2010 17:31 202
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:31 9055
randec88d5.cudf.impossible.error 11-Dec-2010 17:31 131
randec88d5.cudf.impossible.log 11-Dec-2010 17:31 88
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16619
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:31 203
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:31 3913
randf17677.cudf.difficult.error 11-Dec-2010 17:31 127
randf17677.cudf.difficult.log 11-Dec-2010 17:31 84
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11495
randf17677.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:31 4127
randf406d5.cudf.difficult.error 11-Dec-2010 17:31 43
randf406d5.cudf.difficult.log 11-Dec-2010 17:31 0
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:31 7955
randf406d5.cudf.difficult.log.time 11-Dec-2010 17:31 206
randf406d5.cudf.difficult.result.bz2 11-Dec-2010 17:31 69
randf61f65.cudf.difficult.error 11-Dec-2010 17:31 127
randf61f65.cudf.difficult.log 11-Dec-2010 17:31 84
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11499
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:31 4204
randf7a7e4.cudf.easy.error 11-Dec-2010 17:31 127
randf7a7e4.cudf.easy.log 11-Dec-2010 17:31 84
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:31 10545
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:31 203
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:31 7119
randfa4522.cudf.impossible.error 11-Dec-2010 17:31 88
randfa4522.cudf.impossible.log 11-Dec-2010 17:31 45
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14001
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:31 204
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:31 3980