Index of /misc2012/solutions/basic/cudf_fumax_bu-0.1/paranoid-size/install/
../
rand118.cudf.chk.err 02-Sep-2012 22:16 0
rand118.cudf.log.err 02-Sep-2012 22:16 144383
rand118.cudf.log.out 02-Sep-2012 22:16 186
rand118.cudf.log.runsolver 02-Sep-2012 22:16 9556
rand118.cudf.result.bz2 02-Sep-2012 22:16 7544
rand179.cudf.chk.err 02-Sep-2012 22:16 0
rand179.cudf.log.err 02-Sep-2012 22:16 160721
rand179.cudf.log.out 02-Sep-2012 22:16 186
rand179.cudf.log.runsolver 02-Sep-2012 22:16 8998
rand179.cudf.result.bz2 02-Sep-2012 22:16 9766
rand208.cudf.chk.err 02-Sep-2012 22:16 0
rand208.cudf.log.err 02-Sep-2012 22:16 150274
rand208.cudf.log.out 02-Sep-2012 22:16 186
rand208.cudf.log.runsolver 02-Sep-2012 22:16 9009
rand208.cudf.result.bz2 02-Sep-2012 22:16 8860
rand209.cudf.chk.err 02-Sep-2012 22:15 0
rand209.cudf.log.err 02-Sep-2012 22:15 158151
rand209.cudf.log.out 02-Sep-2012 22:15 186
rand209.cudf.log.runsolver 02-Sep-2012 22:15 9100
rand209.cudf.result.bz2 02-Sep-2012 22:15 9468
rand220.cudf.chk.err 02-Sep-2012 22:15 0
rand220.cudf.log.err 02-Sep-2012 22:15 144663
rand220.cudf.log.out 02-Sep-2012 22:15 186
rand220.cudf.log.runsolver 02-Sep-2012 22:15 9097
rand220.cudf.result.bz2 02-Sep-2012 22:15 7182
rand242.cudf.chk.err 02-Sep-2012 22:16 0
rand242.cudf.log.err 02-Sep-2012 22:16 143954
rand242.cudf.log.out 02-Sep-2012 22:16 186
rand242.cudf.log.runsolver 02-Sep-2012 22:16 9017
rand242.cudf.result.bz2 02-Sep-2012 22:16 7770
rand290.cudf.chk.err 02-Sep-2012 22:16 0
rand290.cudf.log.err 02-Sep-2012 22:16 160242
rand290.cudf.log.out 02-Sep-2012 22:16 186
rand290.cudf.log.runsolver 02-Sep-2012 22:16 9570
rand290.cudf.result.bz2 02-Sep-2012 22:16 9422
rand30.cudf.chk.err 02-Sep-2012 22:16 0
rand30.cudf.log.err 02-Sep-2012 22:16 119006
rand30.cudf.log.out 02-Sep-2012 22:16 186
rand30.cudf.log.runsolver 02-Sep-2012 22:16 9550
rand30.cudf.result.bz2 02-Sep-2012 22:16 7619
rand308.cudf.chk.err 02-Sep-2012 22:16 0
rand308.cudf.log.err 02-Sep-2012 22:16 153821
rand308.cudf.log.out 02-Sep-2012 22:16 186
rand308.cudf.log.runsolver 02-Sep-2012 22:16 9015
rand308.cudf.result.bz2 02-Sep-2012 22:16 10609
rand411.cudf.log.err 02-Sep-2012 22:16 153920
rand411.cudf.log.out 02-Sep-2012 22:16 186
rand411.cudf.log.runsolver 02-Sep-2012 22:16 12374
rand411.cudf.result.bz2 02-Sep-2012 22:16 71
rand446.cudf.chk.err 02-Sep-2012 22:16 0
rand446.cudf.log.err 02-Sep-2012 22:16 150113
rand446.cudf.log.out 02-Sep-2012 22:16 186
rand446.cudf.log.runsolver 02-Sep-2012 22:16 9040
rand446.cudf.result.bz2 02-Sep-2012 22:16 8275
rand547.cudf.chk.err 02-Sep-2012 22:16 0
rand547.cudf.log.err 02-Sep-2012 22:16 147856
rand547.cudf.log.out 02-Sep-2012 22:16 186
rand547.cudf.log.runsolver 02-Sep-2012 22:16 9545
rand547.cudf.result.bz2 02-Sep-2012 22:16 7187
rand7.cudf.chk.err 02-Sep-2012 22:16 0
rand7.cudf.log.err 02-Sep-2012 22:15 129878
rand7.cudf.log.out 02-Sep-2012 22:16 186
rand7.cudf.log.runsolver 02-Sep-2012 22:16 9008
rand7.cudf.result.bz2 02-Sep-2012 22:16 7708
rand717.cudf.chk.err 02-Sep-2012 22:15 0
rand717.cudf.log.err 02-Sep-2012 22:15 142140
rand717.cudf.log.out 02-Sep-2012 22:15 186
rand717.cudf.log.runsolver 02-Sep-2012 22:15 9105
rand717.cudf.result.bz2 02-Sep-2012 22:15 9920
rand83.cudf.log.err 02-Sep-2012 22:15 151462
rand83.cudf.log.out 02-Sep-2012 22:15 186
rand83.cudf.log.runsolver 02-Sep-2012 22:15 13143
rand83.cudf.result.bz2 02-Sep-2012 22:15 71
rand937.cudf.chk.err 02-Sep-2012 22:16 0
rand937.cudf.log.err 02-Sep-2012 22:16 136774
rand937.cudf.log.out 02-Sep-2012 22:16 186
rand937.cudf.log.runsolver 02-Sep-2012 22:16 9559
rand937.cudf.result.bz2 02-Sep-2012 22:16 8441
rand943.cudf.chk.err 02-Sep-2012 22:16 0
rand943.cudf.log.err 02-Sep-2012 22:16 150955
rand943.cudf.log.out 02-Sep-2012 22:16 186
rand943.cudf.log.runsolver 02-Sep-2012 22:16 9000
rand943.cudf.result.bz2 02-Sep-2012 22:16 9651
rand954.cudf.chk.err 02-Sep-2012 22:16 0
rand954.cudf.log.err 02-Sep-2012 22:16 117090
rand954.cudf.log.out 02-Sep-2012 22:16 186
rand954.cudf.log.runsolver 02-Sep-2012 22:16 9001
rand954.cudf.result.bz2 02-Sep-2012 22:16 8904
rand96.cudf.chk.err 02-Sep-2012 22:16 0
rand96.cudf.log.err 02-Sep-2012 22:16 155979
rand96.cudf.log.out 02-Sep-2012 22:16 186
rand96.cudf.log.runsolver 02-Sep-2012 22:16 9012
rand96.cudf.result.bz2 02-Sep-2012 22:16 7866
rand984.cudf.chk.err 02-Sep-2012 22:15 0
rand984.cudf.log.err 02-Sep-2012 22:15 156596
rand984.cudf.log.out 02-Sep-2012 22:15 186
rand984.cudf.log.runsolver 02-Sep-2012 22:15 9109
rand984.cudf.result.bz2 02-Sep-2012 22:15 8512