Index of /misc-live/20101126/solutions/user3/aspcud-1.3/
../
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 7823
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 8602
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16008
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 42
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16902
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 42
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
29180036-5408-11df-9f57-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 7490
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 8602
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15997
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 42
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 43
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 15304
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 16359
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 43
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 0
412959c6-e965-11de-8ebf-00163e6585dd.cudf.debia..> 11-Dec-2010 17:31 6635
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 8457
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 43
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 11-Dec-2010 17:31 16913
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 42
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 18541
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 202
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16349
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17255
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 42
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17239
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 203
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 42
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17550
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 204
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16349
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 16024
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 42
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 15702
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 42
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 43
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 0
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 15897
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 203
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debia..> 11-Dec-2010 17:31 42
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 7404
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 8660
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 17227
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 42
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 43
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 0
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debia..> 11-Dec-2010 17:31 7246
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 8602
rand0695fb.cudf.impossible.error 11-Dec-2010 17:31 43
rand0695fb.cudf.impossible.log 11-Dec-2010 17:31 0
rand0695fb.cudf.impossible.log.runsolver 11-Dec-2010 17:31 11548
rand0695fb.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand0695fb.cudf.impossible.result.bz2 11-Dec-2010 17:31 3941
rand06f749.cudf.difficult.error 11-Dec-2010 17:31 43
rand06f749.cudf.difficult.log 11-Dec-2010 17:31 0
rand06f749.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15307
rand06f749.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand06f749.cudf.difficult.result.bz2 11-Dec-2010 17:31 4433
rand08759d.cudf.easy.error 11-Dec-2010 17:31 43
rand08759d.cudf.easy.log 11-Dec-2010 17:31 0
rand08759d.cudf.easy.log.runsolver 11-Dec-2010 17:31 7327
rand08759d.cudf.easy.log.time 11-Dec-2010 17:31 203
rand08759d.cudf.easy.result.bz2 11-Dec-2010 17:31 9455
rand0aa5c1.cudf.difficult.error 11-Dec-2010 17:31 43
rand0aa5c1.cudf.difficult.log 11-Dec-2010 17:31 0
rand0aa5c1.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13856
rand0aa5c1.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand0aa5c1.cudf.difficult.result.bz2 11-Dec-2010 17:31 4093
rand13b58e.cudf.easy.error 11-Dec-2010 17:31 43
rand13b58e.cudf.easy.log 11-Dec-2010 17:31 0
rand13b58e.cudf.easy.log.runsolver 11-Dec-2010 17:31 6447
rand13b58e.cudf.easy.log.time 11-Dec-2010 17:31 203
rand13b58e.cudf.easy.result.bz2 11-Dec-2010 17:31 8481
rand14ba69.cudf.difficult.error 11-Dec-2010 17:31 43
rand14ba69.cudf.difficult.log 11-Dec-2010 17:31 0
rand14ba69.cudf.difficult.log.runsolver 11-Dec-2010 17:31 14136
rand14ba69.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand14ba69.cudf.difficult.result.bz2 11-Dec-2010 17:31 4199
rand1bff33.cudf.easy.error 11-Dec-2010 17:31 43
rand1bff33.cudf.easy.log 11-Dec-2010 17:31 0
rand1bff33.cudf.easy.log.runsolver 11-Dec-2010 17:31 7063
rand1bff33.cudf.easy.log.time 11-Dec-2010 17:31 203
rand1bff33.cudf.easy.result.bz2 11-Dec-2010 17:31 9105
rand2d2fd0.cudf.difficult.error 11-Dec-2010 17:31 43
rand2d2fd0.cudf.difficult.log 11-Dec-2010 17:31 0
rand2d2fd0.cudf.difficult.log.runsolver 11-Dec-2010 17:31 14185
rand2d2fd0.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand2d2fd0.cudf.difficult.result.bz2 11-Dec-2010 17:31 4252
rand2fb7ab.cudf.easy.error 11-Dec-2010 17:31 43
rand2fb7ab.cudf.easy.log 11-Dec-2010 17:31 0
rand2fb7ab.cudf.easy.log.runsolver 11-Dec-2010 17:31 7623
rand2fb7ab.cudf.easy.log.time 11-Dec-2010 17:31 202
rand2fb7ab.cudf.easy.result.bz2 11-Dec-2010 17:31 8978
rand2fe899.cudf.difficult.error 11-Dec-2010 17:31 43
rand2fe899.cudf.difficult.log 11-Dec-2010 17:31 0
rand2fe899.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15453
rand2fe899.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand2fe899.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
rand332173.cudf.impossible.error 11-Dec-2010 17:31 43
rand332173.cudf.impossible.log 11-Dec-2010 17:31 0
rand332173.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16817
rand332173.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand332173.cudf.impossible.result.bz2 11-Dec-2010 17:31 42
rand359ca0.cudf.easy.error 11-Dec-2010 17:31 43
rand359ca0.cudf.easy.log 11-Dec-2010 17:31 0
rand359ca0.cudf.easy.log.runsolver 11-Dec-2010 17:31 7077
rand359ca0.cudf.easy.log.time 11-Dec-2010 17:31 203
rand359ca0.cudf.easy.result.bz2 11-Dec-2010 17:31 9206
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 6524
rand394916.cudf.difficult.log.time 11-Dec-2010 17:31 201
rand394916.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
rand3dec28.cudf.impossible.error 11-Dec-2010 17:31 43
rand3dec28.cudf.impossible.log 11-Dec-2010 17:31 0
rand3dec28.cudf.impossible.log.runsolver 11-Dec-2010 17:31 13978
rand3dec28.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand3dec28.cudf.impossible.result.bz2 11-Dec-2010 17:31 4164
rand49d73b.cudf.difficult.error 11-Dec-2010 17:31 43
rand49d73b.cudf.difficult.log 11-Dec-2010 17:31 0
rand49d73b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15090
rand49d73b.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand49d73b.cudf.difficult.result.bz2 11-Dec-2010 17:31 4051
rand4d6b1c.cudf.difficult.error 11-Dec-2010 17:31 43
rand4d6b1c.cudf.difficult.log 11-Dec-2010 17:31 0
rand4d6b1c.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15256
rand4d6b1c.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand4d6b1c.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
rand50a937.cudf.difficult.error 11-Dec-2010 17:31 43
rand50a937.cudf.difficult.log 11-Dec-2010 17:31 0
rand50a937.cudf.difficult.log.runsolver 11-Dec-2010 17:31 17341
rand50a937.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand50a937.cudf.difficult.result.bz2 11-Dec-2010 17:31 4952
rand5619c8.cudf.easy.error 11-Dec-2010 17:31 43
rand5619c8.cudf.easy.log 11-Dec-2010 17:31 0
rand5619c8.cudf.easy.log.runsolver 11-Dec-2010 17:31 6538
rand5619c8.cudf.easy.log.time 11-Dec-2010 17:31 202
rand5619c8.cudf.easy.result.bz2 11-Dec-2010 17:31 9183
rand5c1800.cudf.easy.error 11-Dec-2010 17:31 43
rand5c1800.cudf.easy.log 11-Dec-2010 17:31 0
rand5c1800.cudf.easy.log.runsolver 11-Dec-2010 17:31 7066
rand5c1800.cudf.easy.log.time 11-Dec-2010 17:31 202
rand5c1800.cudf.easy.result.bz2 11-Dec-2010 17:31 8951
rand61b840.cudf.easy.error 11-Dec-2010 17:31 43
rand61b840.cudf.easy.log 11-Dec-2010 17:31 0
rand61b840.cudf.easy.log.runsolver 11-Dec-2010 17:31 7403
rand61b840.cudf.easy.log.time 11-Dec-2010 17:31 203
rand61b840.cudf.easy.result.bz2 11-Dec-2010 17:31 8943
rand655e63.cudf.impossible.error 11-Dec-2010 17:31 43
rand655e63.cudf.impossible.log 11-Dec-2010 17:31 0
rand655e63.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16658
rand655e63.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand655e63.cudf.impossible.result.bz2 11-Dec-2010 17:31 4004
rand6b4d6e.cudf.impossible.error 11-Dec-2010 17:31 43
rand6b4d6e.cudf.impossible.log 11-Dec-2010 17:31 0
rand6b4d6e.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16831
rand6b4d6e.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand6b4d6e.cudf.impossible.result.bz2 11-Dec-2010 17:31 42
rand6d933e.cudf.easy.error 11-Dec-2010 17:31 43
rand6d933e.cudf.easy.log 11-Dec-2010 17:31 0
rand6d933e.cudf.easy.log.runsolver 11-Dec-2010 17:31 6538
rand6d933e.cudf.easy.log.time 11-Dec-2010 17:31 202
rand6d933e.cudf.easy.result.bz2 11-Dec-2010 17:31 8996
rand7141b1.cudf.impossible.error 11-Dec-2010 17:31 43
rand7141b1.cudf.impossible.log 11-Dec-2010 17:31 0
rand7141b1.cudf.impossible.log.runsolver 11-Dec-2010 17:31 19324
rand7141b1.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand7141b1.cudf.impossible.result.bz2 11-Dec-2010 17:31 3936
rand7902a8.cudf.impossible.error 11-Dec-2010 17:31 43
rand7902a8.cudf.impossible.log 11-Dec-2010 17:31 0
rand7902a8.cudf.impossible.log.runsolver 11-Dec-2010 17:31 20194
rand7902a8.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand7902a8.cudf.impossible.result.bz2 11-Dec-2010 17:31 4280
rand7b4167.cudf.difficult.error 11-Dec-2010 17:31 43
rand7b4167.cudf.difficult.log 11-Dec-2010 17:31 0
rand7b4167.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13555
rand7b4167.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand7b4167.cudf.difficult.result.bz2 11-Dec-2010 17:31 3810
rand7fec8c.cudf.easy.error 11-Dec-2010 17:31 43
rand7fec8c.cudf.easy.log 11-Dec-2010 17:31 0
rand7fec8c.cudf.easy.log.runsolver 11-Dec-2010 17:31 7077
rand7fec8c.cudf.easy.log.time 11-Dec-2010 17:31 203
rand7fec8c.cudf.easy.result.bz2 11-Dec-2010 17:31 9112
rand81406f.cudf.impossible.error 11-Dec-2010 17:31 43
rand81406f.cudf.impossible.log 11-Dec-2010 17:31 0
rand81406f.cudf.impossible.log.runsolver 11-Dec-2010 17:31 15166
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 43
rand835640.cudf.impossible.log 11-Dec-2010 17:31 0
rand835640.cudf.impossible.log.runsolver 11-Dec-2010 17:31 10140
rand835640.cudf.impossible.log.time 11-Dec-2010 17:31 203
rand835640.cudf.impossible.result.bz2 11-Dec-2010 17:31 4037
rand847939.cudf.difficult.error 11-Dec-2010 17:31 43
rand847939.cudf.difficult.log 11-Dec-2010 17:31 0
rand847939.cudf.difficult.log.runsolver 11-Dec-2010 17:31 14598
rand847939.cudf.difficult.log.time 11-Dec-2010 17:31 200
rand847939.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
rand878003.cudf.impossible.error 11-Dec-2010 17:31 43
rand878003.cudf.impossible.log 11-Dec-2010 17:31 0
rand878003.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16805
rand878003.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand878003.cudf.impossible.result.bz2 11-Dec-2010 17:31 42
rand8cc693.cudf.impossible.error 11-Dec-2010 17:31 43
rand8cc693.cudf.impossible.log 11-Dec-2010 17:31 0
rand8cc693.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16236
rand8cc693.cudf.impossible.log.time 11-Dec-2010 17:31 204
rand8cc693.cudf.impossible.result.bz2 11-Dec-2010 17:31 42
rand8d117b.cudf.easy.error 11-Dec-2010 17:31 43
rand8d117b.cudf.easy.log 11-Dec-2010 17:31 0
rand8d117b.cudf.easy.log.runsolver 11-Dec-2010 17:31 7580
rand8d117b.cudf.easy.log.time 11-Dec-2010 17:31 202
rand8d117b.cudf.easy.result.bz2 11-Dec-2010 17:31 8934
rand908403.cudf.difficult.error 11-Dec-2010 17:31 43
rand908403.cudf.difficult.log 11-Dec-2010 17:31 0
rand908403.cudf.difficult.log.runsolver 11-Dec-2010 17:31 12095
rand908403.cudf.difficult.log.time 11-Dec-2010 17:31 202
rand908403.cudf.difficult.result.bz2 11-Dec-2010 17:31 4019
rand951a14.cudf.easy.error 11-Dec-2010 17:31 43
rand951a14.cudf.easy.log 11-Dec-2010 17:31 0
rand951a14.cudf.easy.log.runsolver 11-Dec-2010 17:31 7058
rand951a14.cudf.easy.log.time 11-Dec-2010 17:31 202
rand951a14.cudf.easy.result.bz2 11-Dec-2010 17:31 8759
rand95e48b.cudf.difficult.error 11-Dec-2010 17:31 43
rand95e48b.cudf.difficult.log 11-Dec-2010 17:31 0
rand95e48b.cudf.difficult.log.runsolver 11-Dec-2010 17:31 15296
rand95e48b.cudf.difficult.log.time 11-Dec-2010 17:31 203
rand95e48b.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
randa223c3.cudf.impossible.error 11-Dec-2010 17:31 43
randa223c3.cudf.impossible.log 11-Dec-2010 17:31 0
randa223c3.cudf.impossible.log.runsolver 11-Dec-2010 17:31 14293
randa223c3.cudf.impossible.log.time 11-Dec-2010 17:31 201
randa223c3.cudf.impossible.result.bz2 11-Dec-2010 17:31 3996
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 7647
randa45895.cudf.difficult.log.time 11-Dec-2010 17:31 203
randa45895.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
randa651ed.cudf.difficult.error 11-Dec-2010 17:31 43
randa651ed.cudf.difficult.log 11-Dec-2010 17:31 0
randa651ed.cudf.difficult.log.runsolver 11-Dec-2010 17:31 14918
randa651ed.cudf.difficult.log.time 11-Dec-2010 17:31 203
randa651ed.cudf.difficult.result.bz2 11-Dec-2010 17:31 42
randa870aa.cudf.difficult.error 11-Dec-2010 17:31 43
randa870aa.cudf.difficult.log 11-Dec-2010 17:31 0
randa870aa.cudf.difficult.log.runsolver 11-Dec-2010 17:31 17368
randa870aa.cudf.difficult.log.time 11-Dec-2010 17:31 199
randa870aa.cudf.difficult.result.bz2 11-Dec-2010 17:31 4094
randa9ba44.cudf.easy.error 11-Dec-2010 17:31 43
randa9ba44.cudf.easy.log 11-Dec-2010 17:31 0
randa9ba44.cudf.easy.log.runsolver 11-Dec-2010 17:31 7063
randa9ba44.cudf.easy.log.time 11-Dec-2010 17:31 203
randa9ba44.cudf.easy.result.bz2 11-Dec-2010 17:31 9056
randaaa8ea.cudf.easy.error 11-Dec-2010 17:31 43
randaaa8ea.cudf.easy.log 11-Dec-2010 17:31 0
randaaa8ea.cudf.easy.log.runsolver 11-Dec-2010 17:31 6527
randaaa8ea.cudf.easy.log.time 11-Dec-2010 17:31 202
randaaa8ea.cudf.easy.result.bz2 11-Dec-2010 17:31 8898
randaafcce.cudf.impossible.error 11-Dec-2010 17:31 43
randaafcce.cudf.impossible.log 11-Dec-2010 17:31 0
randaafcce.cudf.impossible.log.runsolver 11-Dec-2010 17:31 12226
randaafcce.cudf.impossible.log.time 11-Dec-2010 17:31 203
randaafcce.cudf.impossible.result.bz2 11-Dec-2010 17:31 3847
randadea40.cudf.easy.error 11-Dec-2010 17:31 43
randadea40.cudf.easy.log 11-Dec-2010 17:31 0
randadea40.cudf.easy.log.runsolver 11-Dec-2010 17:31 6198
randadea40.cudf.easy.log.time 11-Dec-2010 17:31 203
randadea40.cudf.easy.result.bz2 11-Dec-2010 17:31 8749
randba6b5b.cudf.easy.error 11-Dec-2010 17:31 43
randba6b5b.cudf.easy.log 11-Dec-2010 17:31 0
randba6b5b.cudf.easy.log.runsolver 11-Dec-2010 17:31 6857
randba6b5b.cudf.easy.log.time 11-Dec-2010 17:31 203
randba6b5b.cudf.easy.result.bz2 11-Dec-2010 17:31 8974
randbe9acf.cudf.easy.error 11-Dec-2010 17:31 43
randbe9acf.cudf.easy.log 11-Dec-2010 17:31 0
randbe9acf.cudf.easy.log.runsolver 11-Dec-2010 17:31 7414
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 43
randc10393.cudf.difficult.log 11-Dec-2010 17:31 0
randc10393.cudf.difficult.log.runsolver 11-Dec-2010 17:31 17032
randc10393.cudf.difficult.log.time 11-Dec-2010 17:31 203
randc10393.cudf.difficult.result.bz2 11-Dec-2010 17:31 4044
randc192b7.cudf.easy.error 11-Dec-2010 17:31 43
randc192b7.cudf.easy.log 11-Dec-2010 17:31 0
randc192b7.cudf.easy.log.runsolver 11-Dec-2010 17:31 7476
randc192b7.cudf.easy.log.time 11-Dec-2010 17:31 203
randc192b7.cudf.easy.result.bz2 11-Dec-2010 17:31 9283
randd8bf6a.cudf.difficult.error 11-Dec-2010 17:31 43
randd8bf6a.cudf.difficult.log 11-Dec-2010 17:31 0
randd8bf6a.cudf.difficult.log.runsolver 11-Dec-2010 17:31 11937
randd8bf6a.cudf.difficult.log.time 11-Dec-2010 17:31 203
randd8bf6a.cudf.difficult.result.bz2 11-Dec-2010 17:31 3865
rande4fcd8.cudf.difficult.error 11-Dec-2010 17:31 43
rande4fcd8.cudf.difficult.log 11-Dec-2010 17:31 0
rande4fcd8.cudf.difficult.log.runsolver 11-Dec-2010 17:31 20051
rande4fcd8.cudf.difficult.log.time 11-Dec-2010 17:31 201
rande4fcd8.cudf.difficult.result.bz2 11-Dec-2010 17:31 4211
randea6106.cudf.easy.error 11-Dec-2010 17:31 43
randea6106.cudf.easy.log 11-Dec-2010 17:31 0
randea6106.cudf.easy.log.runsolver 11-Dec-2010 17:31 6919
randea6106.cudf.easy.log.time 11-Dec-2010 17:31 203
randea6106.cudf.easy.result.bz2 11-Dec-2010 17:31 9014
randeb343c.cudf.easy.error 11-Dec-2010 17:31 43
randeb343c.cudf.easy.log 11-Dec-2010 17:31 0
randeb343c.cudf.easy.log.runsolver 11-Dec-2010 17:31 6937
randeb343c.cudf.easy.log.time 11-Dec-2010 17:31 203
randeb343c.cudf.easy.result.bz2 11-Dec-2010 17:31 9043
randec88d5.cudf.impossible.error 11-Dec-2010 17:31 43
randec88d5.cudf.impossible.log 11-Dec-2010 17:31 0
randec88d5.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16495
randec88d5.cudf.impossible.log.time 11-Dec-2010 17:31 203
randec88d5.cudf.impossible.result.bz2 11-Dec-2010 17:31 42
randf17677.cudf.difficult.error 11-Dec-2010 17:31 43
randf17677.cudf.difficult.log 11-Dec-2010 17:31 0
randf17677.cudf.difficult.log.runsolver 11-Dec-2010 17:31 18192
randf17677.cudf.difficult.log.time 11-Dec-2010 17:31 201
randf17677.cudf.difficult.result.bz2 11-Dec-2010 17:31 4112
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 7808
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 43
randf61f65.cudf.difficult.log 11-Dec-2010 17:31 0
randf61f65.cudf.difficult.log.runsolver 11-Dec-2010 17:31 13431
randf61f65.cudf.difficult.log.time 11-Dec-2010 17:31 203
randf61f65.cudf.difficult.result.bz2 11-Dec-2010 17:31 4193
randf7a7e4.cudf.easy.error 11-Dec-2010 17:31 43
randf7a7e4.cudf.easy.log 11-Dec-2010 17:31 0
randf7a7e4.cudf.easy.log.runsolver 11-Dec-2010 17:31 6810
randf7a7e4.cudf.easy.log.time 11-Dec-2010 17:31 203
randf7a7e4.cudf.easy.result.bz2 11-Dec-2010 17:31 7089
randfa4522.cudf.impossible.error 11-Dec-2010 17:31 43
randfa4522.cudf.impossible.log 11-Dec-2010 17:31 0
randfa4522.cudf.impossible.log.runsolver 11-Dec-2010 17:31 16125
randfa4522.cudf.impossible.log.time 11-Dec-2010 17:31 203
randfa4522.cudf.impossible.result.bz2 11-Dec-2010 17:31 3973