Index of /misc2012/solutions/basic/aspuncud-basic-1.7/paranoid-size/install/
../
rand118.cudf.chk.err 02-Sep-2012 22:04 0
rand118.cudf.log.err 02-Sep-2012 22:04 0
rand118.cudf.log.out 02-Sep-2012 22:05 1572
rand118.cudf.log.runsolver 02-Sep-2012 22:05 16525
rand118.cudf.result.bz2 02-Sep-2012 22:04 7208
rand179.cudf.chk.err 02-Sep-2012 22:04 0
rand179.cudf.log.err 02-Sep-2012 22:04 0
rand179.cudf.log.out 02-Sep-2012 22:04 1577
rand179.cudf.log.runsolver 02-Sep-2012 22:04 19309
rand179.cudf.result.bz2 02-Sep-2012 22:05 9020
rand208.cudf.chk.err 02-Sep-2012 22:05 0
rand208.cudf.log.err 02-Sep-2012 22:05 0
rand208.cudf.log.out 02-Sep-2012 22:05 1570
rand208.cudf.log.runsolver 02-Sep-2012 22:05 15356
rand208.cudf.result.bz2 02-Sep-2012 22:05 8089
rand209.cudf.chk.err 02-Sep-2012 22:05 0
rand209.cudf.log.err 02-Sep-2012 22:05 0
rand209.cudf.log.out 02-Sep-2012 22:05 1582
rand209.cudf.log.runsolver 02-Sep-2012 22:05 15367
rand209.cudf.result.bz2 02-Sep-2012 22:05 9184
rand220.cudf.chk.err 02-Sep-2012 22:05 0
rand220.cudf.log.err 02-Sep-2012 22:05 0
rand220.cudf.log.out 02-Sep-2012 22:05 464
rand220.cudf.log.runsolver 02-Sep-2012 22:05 14285
rand220.cudf.result.bz2 02-Sep-2012 22:05 8217
rand242.cudf.chk.err 02-Sep-2012 22:04 0
rand242.cudf.log.err 02-Sep-2012 22:05 0
rand242.cudf.log.out 02-Sep-2012 22:04 1574
rand242.cudf.log.runsolver 02-Sep-2012 22:04 18984
rand242.cudf.result.bz2 02-Sep-2012 22:04 7359
rand290.cudf.chk.err 02-Sep-2012 22:05 0
rand290.cudf.log.err 02-Sep-2012 22:05 0
rand290.cudf.log.out 02-Sep-2012 22:05 1577
rand290.cudf.log.runsolver 02-Sep-2012 22:05 15370
rand290.cudf.result.bz2 02-Sep-2012 22:05 8652
rand30.cudf.chk.err 02-Sep-2012 22:05 0
rand30.cudf.log.err 02-Sep-2012 22:05 0
rand30.cudf.log.out 02-Sep-2012 22:05 1575
rand30.cudf.log.runsolver 02-Sep-2012 22:05 14481
rand30.cudf.result.bz2 02-Sep-2012 22:05 7223
rand308.cudf.chk.err 02-Sep-2012 22:04 0
rand308.cudf.log.err 02-Sep-2012 22:05 0
rand308.cudf.log.out 02-Sep-2012 22:04 1574
rand308.cudf.log.runsolver 02-Sep-2012 22:04 17153
rand308.cudf.result.bz2 02-Sep-2012 22:04 9336
rand411.cudf.chk.err 02-Sep-2012 22:05 0
rand411.cudf.log.err 02-Sep-2012 22:05 0
rand411.cudf.log.out 02-Sep-2012 22:05 1577
rand411.cudf.log.runsolver 02-Sep-2012 22:05 16569
rand411.cudf.result.bz2 02-Sep-2012 22:05 8655
rand446.cudf.chk.err 02-Sep-2012 22:05 0
rand446.cudf.log.err 02-Sep-2012 22:05 0
rand446.cudf.log.out 02-Sep-2012 22:05 1569
rand446.cudf.log.runsolver 02-Sep-2012 22:05 16850
rand446.cudf.result.bz2 02-Sep-2012 22:05 7653
rand547.cudf.chk.err 02-Sep-2012 22:05 0
rand547.cudf.log.err 02-Sep-2012 22:05 0
rand547.cudf.log.out 02-Sep-2012 22:05 1569
rand547.cudf.log.runsolver 02-Sep-2012 22:05 14938
rand547.cudf.result.bz2 02-Sep-2012 22:05 6796
rand7.cudf.chk.err 02-Sep-2012 22:05 0
rand7.cudf.log.err 02-Sep-2012 22:05 0
rand7.cudf.log.out 02-Sep-2012 22:05 1581
rand7.cudf.log.runsolver 02-Sep-2012 22:05 16922
rand7.cudf.result.bz2 02-Sep-2012 22:05 7345
rand717.cudf.chk.err 02-Sep-2012 22:04 0
rand717.cudf.log.err 02-Sep-2012 22:04 0
rand717.cudf.log.out 02-Sep-2012 22:04 1579
rand717.cudf.log.runsolver 02-Sep-2012 22:05 15254
rand717.cudf.result.bz2 02-Sep-2012 22:04 9311
rand83.cudf.chk.err 02-Sep-2012 22:05 0
rand83.cudf.log.err 02-Sep-2012 22:05 0
rand83.cudf.log.out 02-Sep-2012 22:05 1581
rand83.cudf.log.runsolver 02-Sep-2012 22:05 20251
rand83.cudf.result.bz2 02-Sep-2012 22:05 8615
rand937.cudf.chk.err 02-Sep-2012 22:05 0
rand937.cudf.log.err 02-Sep-2012 22:05 0
rand937.cudf.log.out 02-Sep-2012 22:05 1571
rand937.cudf.log.runsolver 02-Sep-2012 22:05 16572
rand937.cudf.result.bz2 02-Sep-2012 22:05 7511
rand943.cudf.chk.err 02-Sep-2012 22:04 0
rand943.cudf.log.err 02-Sep-2012 22:05 0
rand943.cudf.log.out 02-Sep-2012 22:04 1577
rand943.cudf.log.runsolver 02-Sep-2012 22:04 15942
rand943.cudf.result.bz2 02-Sep-2012 22:04 9267
rand954.cudf.chk.err 02-Sep-2012 22:04 0
rand954.cudf.log.err 02-Sep-2012 22:04 0
rand954.cudf.log.out 02-Sep-2012 22:04 1573
rand954.cudf.log.runsolver 02-Sep-2012 22:04 16471
rand954.cudf.result.bz2 02-Sep-2012 22:04 8551
rand96.cudf.chk.err 02-Sep-2012 22:05 0
rand96.cudf.log.err 02-Sep-2012 22:05 0
rand96.cudf.log.out 02-Sep-2012 22:05 1571
rand96.cudf.log.runsolver 02-Sep-2012 22:05 15678
rand96.cudf.result.bz2 02-Sep-2012 22:05 7325
rand984.cudf.chk.err 02-Sep-2012 22:05 0
rand984.cudf.log.err 02-Sep-2012 22:05 0
rand984.cudf.log.out 02-Sep-2012 22:05 467
rand984.cudf.log.runsolver 02-Sep-2012 22:05 14611
rand984.cudf.result.bz2 02-Sep-2012 22:05 9880