Index of /misc-live/20101126/solutions/user2/cudf2pbo4user-1.0/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8221
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 8620
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 13731
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 200
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16342
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15528
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16343
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8975
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8620
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15565
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16332
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 58
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 15
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 14658
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 201
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16342
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 58
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 15
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 9871
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 203
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:30 8492
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 58
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 15
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 14677
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 201
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:30 16351
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15148
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 200
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16347
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 14610
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 201
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16321
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 17076
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16333
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 14648
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 201
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16347
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16466
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 201
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16333
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15565
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 202
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16343
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 58
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 15
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 17038
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 201
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:30 11377
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 10473
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 8676
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15684
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 199
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 16343
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 58
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 15
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:30 8856
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 8620
rand0695fb.cudf.impossible.error 11-Dec-2010 17:30 58
rand0695fb.cudf.impossible.log 11-Dec-2010 17:30 15
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:30 15794
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:30 3940
rand06f749.cudf.difficult.error 11-Dec-2010 17:30 58
rand06f749.cudf.difficult.log 11-Dec-2010 17:30 15
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:30 14489
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:30 199
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:30 4444
rand08759d.cudf.easy.error 11-Dec-2010 17:30 58
rand08759d.cudf.easy.log 11-Dec-2010 17:30 15
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:30 8532
rand08759d.cudf.easy.log.time 11-Dec-2010 17:30 202
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:30 9425
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:30 58
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:30 15
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13971
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:30 4133
rand13b58e.cudf.easy.error 11-Dec-2010 17:30 58
rand13b58e.cudf.easy.log 11-Dec-2010 17:30 15
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:30 7983
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:30 202
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:30 8450
rand14ba69.cudf.difficult.error 11-Dec-2010 17:30 58
rand14ba69.cudf.difficult.log 11-Dec-2010 17:30 15
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11802
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:30 4192
rand1bff33.cudf.easy.error 11-Dec-2010 17:30 58
rand1bff33.cudf.easy.log 11-Dec-2010 17:30 15
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:30 10329
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:30 203
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:30 9093
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:30 58
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:30 15
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:30 12174
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:30 4251
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:30 58
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:30 15
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:30 9429
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:30 202
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:30 8978
rand2fe899.cudf.difficult.error 11-Dec-2010 17:30 58
rand2fe899.cudf.difficult.log 11-Dec-2010 17:30 15
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13617
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:30 3555
rand332173.cudf.impossible.error 11-Dec-2010 17:30 58
rand332173.cudf.impossible.log 11-Dec-2010 17:30 15
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:30 19458
rand332173.cudf.impossible.log.time 11-Dec-2010 17:30 203
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:30 4435
rand359ca0.cudf.easy.error 11-Dec-2010 17:30 58
rand359ca0.cudf.easy.log 11-Dec-2010 17:30 15
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:30 9773
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:30 202
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:30 9170
rand394916.cudf.difficult.error 11-Dec-2010 17:30 49
rand394916.cudf.difficult.log 11-Dec-2010 17:30 6
rand394916.cudf.difficult.log.runsolver 11-Dec-2010 17:30 7607
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 58
rand3dec28.cudf.impossible.log 11-Dec-2010 17:30 15
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:30 16725
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:30 201
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:30 4177
rand49d73b.cudf.difficult.error 11-Dec-2010 17:30 58
rand49d73b.cudf.difficult.log 11-Dec-2010 17:30 15
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13010
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:30 201
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4090
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:30 58
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:30 15
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:30 14470
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:30 200
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:30 4125
rand50a937.cudf.difficult.error 11-Dec-2010 17:30 58
rand50a937.cudf.difficult.log 11-Dec-2010 17:30 15
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13979
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:30 201
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:30 4957
rand5619c8.cudf.easy.error 11-Dec-2010 17:30 58
rand5619c8.cudf.easy.log 11-Dec-2010 17:30 15
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:30 8878
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:30 202
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:30 9183
rand5c1800.cudf.easy.error 11-Dec-2010 17:30 58
rand5c1800.cudf.easy.log 11-Dec-2010 17:30 15
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:30 8877
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:30 203
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:30 8938
rand61b840.cudf.easy.error 11-Dec-2010 17:30 58
rand61b840.cudf.easy.log 11-Dec-2010 17:30 15
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:30 9661
rand61b840.cudf.easy.log.time 11-Dec-2010 17:30 203
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:30 8936
rand655e63.cudf.impossible.error 11-Dec-2010 17:30 58
rand655e63.cudf.impossible.log 11-Dec-2010 17:30 15
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:30 16705
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:30 4005
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:30 58
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:30 15
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:30 17617
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:30 4365
rand6d933e.cudf.easy.error 11-Dec-2010 17:30 58
rand6d933e.cudf.easy.log 11-Dec-2010 17:30 15
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:30 9334
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:30 203
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:30 9012
rand7141b1.cudf.impossible.error 11-Dec-2010 17:30 58
rand7141b1.cudf.impossible.log 11-Dec-2010 17:30 15
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:30 18528
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:30 200
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:30 3921
rand7902a8.cudf.impossible.error 11-Dec-2010 17:30 58
rand7902a8.cudf.impossible.log 11-Dec-2010 17:30 15
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14871
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:30 4280
rand7b4167.cudf.difficult.error 11-Dec-2010 17:30 58
rand7b4167.cudf.difficult.log 11-Dec-2010 17:30 15
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11257
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:30 3838
rand7fec8c.cudf.easy.error 11-Dec-2010 17:30 58
rand7fec8c.cudf.easy.log 11-Dec-2010 17:30 15
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:30 7162
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:30 202
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:30 9111
rand81406f.cudf.impossible.error 11-Dec-2010 17:30 58
rand81406f.cudf.impossible.log 11-Dec-2010 17:30 15
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14886
rand81406f.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand81406f.cudf.impossible.result.bz2 11-Dec-2010 17:30 4028
rand835640.cudf.impossible.error 11-Dec-2010 17:30 58
rand835640.cudf.impossible.log 11-Dec-2010 17:30 15
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:30 14902
rand835640.cudf.impossible.log.time 11-Dec-2010 17:30 201
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:30 4040
rand847939.cudf.difficult.error 11-Dec-2010 17:30 58
rand847939.cudf.difficult.log 11-Dec-2010 17:30 15
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:30 15787
rand847939.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:30 4250
rand878003.cudf.impossible.error 11-Dec-2010 17:30 58
rand878003.cudf.impossible.log 11-Dec-2010 17:30 15
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:30 18541
rand878003.cudf.impossible.log.time 11-Dec-2010 17:30 201
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:30 4146
rand8cc693.cudf.impossible.error 11-Dec-2010 17:30 110
rand8cc693.cudf.impossible.log 11-Dec-2010 17:30 67
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:30 16882
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:30 202
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:30 4150
rand8d117b.cudf.easy.error 11-Dec-2010 17:30 58
rand8d117b.cudf.easy.log 11-Dec-2010 17:30 15
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:30 10671
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:30 203
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:30 8925
rand908403.cudf.difficult.error 11-Dec-2010 17:30 58
rand908403.cudf.difficult.log 11-Dec-2010 17:30 15
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11810
rand908403.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:30 4060
rand951a14.cudf.easy.error 11-Dec-2010 17:30 58
rand951a14.cudf.easy.log 11-Dec-2010 17:30 15
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:30 8437
rand951a14.cudf.easy.log.time 11-Dec-2010 17:30 203
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:30 8751
rand95e48b.cudf.difficult.error 11-Dec-2010 17:30 58
rand95e48b.cudf.difficult.log 11-Dec-2010 17:30 15
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:30 20321
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:30 202
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:30 4301
randa223c3.cudf.impossible.error 11-Dec-2010 17:30 58
randa223c3.cudf.impossible.log 11-Dec-2010 17:30 15
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:30 15774
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:30 201
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:30 4088
randa45895.cudf.difficult.error 11-Dec-2010 17:30 49
randa45895.cudf.difficult.log 11-Dec-2010 17:30 6
randa45895.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8494
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 58
randa651ed.cudf.difficult.log 11-Dec-2010 17:30 15
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:30 13980
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:30 201
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:30 4214
randa870aa.cudf.difficult.error 11-Dec-2010 17:30 58
randa870aa.cudf.difficult.log 11-Dec-2010 17:30 15
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:30 12681
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:30 201
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:30 4106
randa9ba44.cudf.easy.error 11-Dec-2010 17:30 58
randa9ba44.cudf.easy.log 11-Dec-2010 17:30 15
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:30 8146
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:30 203
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:30 9023
randaaa8ea.cudf.easy.error 11-Dec-2010 17:30 58
randaaa8ea.cudf.easy.log 11-Dec-2010 17:30 15
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:30 8492
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:30 201
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:30 8881
randaafcce.cudf.impossible.error 11-Dec-2010 17:30 58
randaafcce.cudf.impossible.log 11-Dec-2010 17:30 15
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:30 12123
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:30 202
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:30 3854
randadea40.cudf.easy.error 11-Dec-2010 17:30 58
randadea40.cudf.easy.log 11-Dec-2010 17:30 15
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:30 10638
randadea40.cudf.easy.log.time 11-Dec-2010 17:30 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:30 8703
randba6b5b.cudf.easy.error 11-Dec-2010 17:30 58
randba6b5b.cudf.easy.log 11-Dec-2010 17:30 15
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:30 8306
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:30 202
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:30 8977
randbe9acf.cudf.easy.error 11-Dec-2010 17:30 58
randbe9acf.cudf.easy.log 11-Dec-2010 17:30 15
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:30 9167
randbe9acf.cudf.easy.log.time 11-Dec-2010 17:30 202
randbe9acf.cudf.easy.result.bz2 11-Dec-2010 17:30 8983
randc10393.cudf.difficult.error 11-Dec-2010 17:30 58
randc10393.cudf.difficult.log 11-Dec-2010 17:30 15
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:30 12676
randc10393.cudf.difficult.log.time 11-Dec-2010 17:30 203
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:30 4074
randc192b7.cudf.easy.error 11-Dec-2010 17:30 58
randc192b7.cudf.easy.log 11-Dec-2010 17:30 15
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:30 9601
randc192b7.cudf.easy.log.time 11-Dec-2010 17:30 203
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:30 9256
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:30 58
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:30 15
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:30 10216
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:30 202
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:30 3891
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:30 58
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:30 15
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:30 14064
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:30 201
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:30 4253
randea6106.cudf.easy.error 11-Dec-2010 17:30 58
randea6106.cudf.easy.log 11-Dec-2010 17:30 15
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:30 10526
randea6106.cudf.easy.log.time 11-Dec-2010 17:30 203
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:30 9004
randeb343c.cudf.easy.error 11-Dec-2010 17:30 58
randeb343c.cudf.easy.log 11-Dec-2010 17:30 15
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:30 8441
randeb343c.cudf.easy.log.time 11-Dec-2010 17:30 203
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:30 9030
randec88d5.cudf.impossible.error 11-Dec-2010 17:30 58
randec88d5.cudf.impossible.log 11-Dec-2010 17:30 15
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:30 20374
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:30 201
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:30 3946
randf17677.cudf.difficult.error 11-Dec-2010 17:30 58
randf17677.cudf.difficult.log 11-Dec-2010 17:30 15
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:30 12866
randf17677.cudf.difficult.log.time 11-Dec-2010 17:30 203
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:30 4149
randf406d5.cudf.difficult.error 11-Dec-2010 17:30 49
randf406d5.cudf.difficult.log 11-Dec-2010 17:30 6
randf406d5.cudf.difficult.log.runsolver 11-Dec-2010 17:30 8432
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 58
randf61f65.cudf.difficult.log 11-Dec-2010 17:30 15
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:30 11989
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:30 202
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:30 4195
randf7a7e4.cudf.easy.error 11-Dec-2010 17:30 58
randf7a7e4.cudf.easy.log 11-Dec-2010 17:30 15
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:30 7877
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:30 202
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:30 7104
randfa4522.cudf.impossible.error 11-Dec-2010 17:30 58
randfa4522.cudf.impossible.log 11-Dec-2010 17:30 15
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:30 12138
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:30 201
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:30 3980