Index of /misc2012/solutions/basic/aspcud-basic-1.7/paranoid-size/install/
../
rand118.cudf.chk.err 02-Sep-2012 22:21 0
rand118.cudf.log.err 02-Sep-2012 22:21 0
rand118.cudf.log.out 02-Sep-2012 22:21 1396
rand118.cudf.log.runsolver 02-Sep-2012 22:21 13524
rand118.cudf.result.bz2 02-Sep-2012 22:21 7240
rand179.cudf.chk.err 02-Sep-2012 22:22 0
rand179.cudf.log.err 02-Sep-2012 22:22 0
rand179.cudf.log.out 02-Sep-2012 22:22 1399
rand179.cudf.log.runsolver 02-Sep-2012 22:22 14570
rand179.cudf.result.bz2 02-Sep-2012 22:22 9253
rand208.cudf.chk.err 02-Sep-2012 22:21 0
rand208.cudf.log.err 02-Sep-2012 22:21 0
rand208.cudf.log.out 02-Sep-2012 22:21 1396
rand208.cudf.log.runsolver 02-Sep-2012 22:21 14782
rand208.cudf.result.bz2 02-Sep-2012 22:21 8350
rand209.cudf.chk.err 02-Sep-2012 22:21 0
rand209.cudf.log.err 02-Sep-2012 22:21 0
rand209.cudf.log.out 02-Sep-2012 22:21 1398
rand209.cudf.log.runsolver 02-Sep-2012 22:21 13361
rand209.cudf.result.bz2 02-Sep-2012 22:22 9197
rand220.cudf.chk.err 02-Sep-2012 22:22 0
rand220.cudf.log.err 02-Sep-2012 22:22 0
rand220.cudf.log.out 02-Sep-2012 22:22 1395
rand220.cudf.log.runsolver 02-Sep-2012 22:22 13358
rand220.cudf.result.bz2 02-Sep-2012 22:22 6835
rand242.cudf.chk.err 02-Sep-2012 22:22 0
rand242.cudf.log.err 02-Sep-2012 22:22 0
rand242.cudf.log.out 02-Sep-2012 22:22 1397
rand242.cudf.log.runsolver 02-Sep-2012 22:22 13366
rand242.cudf.result.bz2 02-Sep-2012 22:22 7377
rand290.cudf.chk.err 02-Sep-2012 22:21 0
rand290.cudf.log.err 02-Sep-2012 22:21 0
rand290.cudf.log.out 02-Sep-2012 22:21 1402
rand290.cudf.log.runsolver 02-Sep-2012 22:21 14827
rand290.cudf.result.bz2 02-Sep-2012 22:21 8831
rand30.cudf.chk.err 02-Sep-2012 22:22 0
rand30.cudf.log.err 02-Sep-2012 22:22 0
rand30.cudf.log.out 02-Sep-2012 22:22 1396
rand30.cudf.log.runsolver 02-Sep-2012 22:22 13023
rand30.cudf.result.bz2 02-Sep-2012 22:22 7228
rand308.cudf.chk.err 02-Sep-2012 22:22 0
rand308.cudf.log.err 02-Sep-2012 22:22 0
rand308.cudf.log.out 02-Sep-2012 22:22 1399
rand308.cudf.log.runsolver 02-Sep-2012 22:22 14588
rand308.cudf.result.bz2 02-Sep-2012 22:22 9418
rand411.cudf.chk.err 02-Sep-2012 22:21 0
rand411.cudf.log.err 02-Sep-2012 22:21 0
rand411.cudf.log.out 02-Sep-2012 22:21 1401
rand411.cudf.log.runsolver 02-Sep-2012 22:21 13554
rand411.cudf.result.bz2 02-Sep-2012 22:21 8770
rand446.cudf.chk.err 02-Sep-2012 22:22 0
rand446.cudf.log.err 02-Sep-2012 22:22 0
rand446.cudf.log.out 02-Sep-2012 22:22 1395
rand446.cudf.log.runsolver 02-Sep-2012 22:22 13360
rand446.cudf.result.bz2 02-Sep-2012 22:22 7623
rand547.cudf.chk.err 02-Sep-2012 22:21 0
rand547.cudf.log.err 02-Sep-2012 22:22 0
rand547.cudf.log.out 02-Sep-2012 22:21 1395
rand547.cudf.log.runsolver 02-Sep-2012 22:21 13331
rand547.cudf.result.bz2 02-Sep-2012 22:21 6735
rand7.cudf.chk.err 02-Sep-2012 22:21 0
rand7.cudf.log.err 02-Sep-2012 22:21 0
rand7.cudf.log.out 02-Sep-2012 22:22 1399
rand7.cudf.log.runsolver 02-Sep-2012 22:22 13014
rand7.cudf.result.bz2 02-Sep-2012 22:21 7402
rand717.cudf.chk.err 02-Sep-2012 22:22 0
rand717.cudf.log.err 02-Sep-2012 22:22 0
rand717.cudf.log.out 02-Sep-2012 22:22 1401
rand717.cudf.log.runsolver 02-Sep-2012 22:22 13353
rand717.cudf.result.bz2 02-Sep-2012 22:22 9389
rand83.cudf.chk.err 02-Sep-2012 22:22 0
rand83.cudf.log.err 02-Sep-2012 22:22 0
rand83.cudf.log.out 02-Sep-2012 22:22 1401
rand83.cudf.log.runsolver 02-Sep-2012 22:22 14559
rand83.cudf.result.bz2 02-Sep-2012 22:22 8752
rand937.cudf.chk.err 02-Sep-2012 22:21 0
rand937.cudf.log.err 02-Sep-2012 22:21 0
rand937.cudf.log.out 02-Sep-2012 22:21 1396
rand937.cudf.log.runsolver 02-Sep-2012 22:21 13542
rand937.cudf.result.bz2 02-Sep-2012 22:21 7417
rand943.cudf.chk.err 02-Sep-2012 22:22 0
rand943.cudf.log.err 02-Sep-2012 22:21 0
rand943.cudf.log.out 02-Sep-2012 22:22 1400
rand943.cudf.log.runsolver 02-Sep-2012 22:21 13048
rand943.cudf.result.bz2 02-Sep-2012 22:21 9528
rand954.cudf.chk.err 02-Sep-2012 22:22 0
rand954.cudf.log.err 02-Sep-2012 22:22 0
rand954.cudf.log.out 02-Sep-2012 22:22 1397
rand954.cudf.log.runsolver 02-Sep-2012 22:22 14561
rand954.cudf.result.bz2 02-Sep-2012 22:22 8775
rand96.cudf.chk.err 02-Sep-2012 22:21 0
rand96.cudf.log.err 02-Sep-2012 22:21 0
rand96.cudf.log.out 02-Sep-2012 22:21 1395
rand96.cudf.log.runsolver 02-Sep-2012 22:21 14238
rand96.cudf.result.bz2 02-Sep-2012 22:21 7199
rand984.cudf.chk.err 02-Sep-2012 22:22 0
rand984.cudf.log.err 02-Sep-2012 22:22 0
rand984.cudf.log.out 02-Sep-2012 22:22 1400
rand984.cudf.log.runsolver 02-Sep-2012 22:22 14560
rand984.cudf.result.bz2 02-Sep-2012 22:22 8222