Index of /misc-live/20110225/solutions/paranoid/aspcud-paranoid-1.4/
../
1.cudf.caixa.error 09-Mar-2011 15:52 43
1.cudf.caixa.log 09-Mar-2011 15:52 0
1.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6209
1.cudf.caixa.log.time 09-Mar-2011 15:52 202
1.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1016.cudf.caixa.error 09-Mar-2011 15:52 43
1016.cudf.caixa.log 09-Mar-2011 15:52 0
1016.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10554
1016.cudf.caixa.log.time 09-Mar-2011 15:52 206
1016.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1018.cudf.caixa.error 09-Mar-2011 15:52 43
1018.cudf.caixa.log 09-Mar-2011 15:52 0
1018.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5282
1018.cudf.caixa.log.time 09-Mar-2011 15:52 205
1018.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1021.cudf.caixa.error 09-Mar-2011 15:52 43
1021.cudf.caixa.log 09-Mar-2011 15:52 0
1021.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5935
1021.cudf.caixa.log.time 09-Mar-2011 15:52 204
1021.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
103.cudf.caixa.error 09-Mar-2011 15:52 43
103.cudf.caixa.log 09-Mar-2011 15:52 0
103.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7210
103.cudf.caixa.log.time 09-Mar-2011 15:52 200
103.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1034.cudf.caixa.error 09-Mar-2011 15:52 43
1034.cudf.caixa.log 09-Mar-2011 15:52 0
1034.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10575
1034.cudf.caixa.log.time 09-Mar-2011 15:52 205
1034.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1037.cudf.caixa.error 09-Mar-2011 15:52 43
1037.cudf.caixa.log 09-Mar-2011 15:52 0
1037.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5988
1037.cudf.caixa.log.time 09-Mar-2011 15:52 205
1037.cudf.caixa.result.bz2 09-Mar-2011 15:52 678
1041.cudf.caixa.error 09-Mar-2011 15:52 43
1041.cudf.caixa.log 09-Mar-2011 15:52 0
1041.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6188
1041.cudf.caixa.log.time 09-Mar-2011 15:52 203
1041.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1047.cudf.caixa.error 09-Mar-2011 15:52 43
1047.cudf.caixa.log 09-Mar-2011 15:52 0
1047.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8096
1047.cudf.caixa.log.time 09-Mar-2011 15:52 203
1047.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1066.cudf.caixa.error 09-Mar-2011 15:52 43
1066.cudf.caixa.log 09-Mar-2011 15:52 0
1066.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8083
1066.cudf.caixa.log.time 09-Mar-2011 15:52 203
1066.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1067.cudf.caixa.error 09-Mar-2011 15:52 43
1067.cudf.caixa.log 09-Mar-2011 15:52 0
1067.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12634
1067.cudf.caixa.log.time 09-Mar-2011 15:52 203
1067.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1068.cudf.caixa.error 09-Mar-2011 15:52 43
1068.cudf.caixa.log 09-Mar-2011 15:52 0
1068.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7440
1068.cudf.caixa.log.time 09-Mar-2011 15:52 203
1068.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1075.cudf.caixa.error 09-Mar-2011 15:52 43
1075.cudf.caixa.log 09-Mar-2011 15:52 0
1075.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5668
1075.cudf.caixa.log.time 09-Mar-2011 15:52 204
1075.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1077.cudf.caixa.error 09-Mar-2011 15:52 43
1077.cudf.caixa.log 09-Mar-2011 15:52 0
1077.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5286
1077.cudf.caixa.log.time 09-Mar-2011 15:52 204
1077.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1078.cudf.caixa.error 09-Mar-2011 15:52 43
1078.cudf.caixa.log 09-Mar-2011 15:52 0
1078.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5613
1078.cudf.caixa.log.time 09-Mar-2011 15:52 205
1078.cudf.caixa.result.bz2 09-Mar-2011 15:52 110
1082.cudf.caixa.error 09-Mar-2011 15:52 43
1082.cudf.caixa.log 09-Mar-2011 15:52 0
1082.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5937
1082.cudf.caixa.log.time 09-Mar-2011 15:52 205
1082.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1084.cudf.caixa.error 09-Mar-2011 15:52 43
1084.cudf.caixa.log 09-Mar-2011 15:52 0
1084.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5282
1084.cudf.caixa.log.time 09-Mar-2011 15:52 204
1084.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1092.cudf.caixa.error 09-Mar-2011 15:52 43
1092.cudf.caixa.log 09-Mar-2011 15:52 0
1092.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5335
1092.cudf.caixa.log.time 09-Mar-2011 15:52 204
1092.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1093.cudf.caixa.error 09-Mar-2011 15:52 43
1093.cudf.caixa.log 09-Mar-2011 15:52 0
1093.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5344
1093.cudf.caixa.log.time 09-Mar-2011 15:52 205
1093.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1094.cudf.caixa.error 09-Mar-2011 15:52 43
1094.cudf.caixa.log 09-Mar-2011 15:52 0
1094.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5308
1094.cudf.caixa.log.time 09-Mar-2011 15:52 204
1094.cudf.caixa.result.bz2 09-Mar-2011 15:52 915
1095.cudf.caixa.error 09-Mar-2011 15:52 43
1095.cudf.caixa.log 09-Mar-2011 15:52 0
1095.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5674
1095.cudf.caixa.log.time 09-Mar-2011 15:52 203
1095.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1096.cudf.caixa.error 09-Mar-2011 15:52 43
1096.cudf.caixa.log 09-Mar-2011 15:52 0
1096.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6018
1096.cudf.caixa.log.time 09-Mar-2011 15:52 205
1096.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1097.cudf.caixa.error 09-Mar-2011 15:52 43
1097.cudf.caixa.log 09-Mar-2011 15:52 0
1097.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5338
1097.cudf.caixa.log.time 09-Mar-2011 15:52 205
1097.cudf.caixa.result.bz2 09-Mar-2011 15:52 893
1098.cudf.caixa.error 09-Mar-2011 15:52 43
1098.cudf.caixa.log 09-Mar-2011 15:52 0
1098.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5668
1098.cudf.caixa.log.time 09-Mar-2011 15:52 205
1098.cudf.caixa.result.bz2 09-Mar-2011 15:52 1658
1108.cudf.caixa.error 09-Mar-2011 15:52 43
1108.cudf.caixa.log 09-Mar-2011 15:52 0
1108.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12758
1108.cudf.caixa.log.time 09-Mar-2011 15:52 203
1108.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1109.cudf.caixa.error 09-Mar-2011 15:52 43
1109.cudf.caixa.log 09-Mar-2011 15:52 0
1109.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8303
1109.cudf.caixa.log.time 09-Mar-2011 15:52 203
1109.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1124.cudf.caixa.error 09-Mar-2011 15:52 43
1124.cudf.caixa.log 09-Mar-2011 15:52 0
1124.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5586
1124.cudf.caixa.log.time 09-Mar-2011 15:52 204
1124.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1125.cudf.caixa.error 09-Mar-2011 15:52 43
1125.cudf.caixa.log 09-Mar-2011 15:52 0
1125.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5983
1125.cudf.caixa.log.time 09-Mar-2011 15:52 205
1125.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1126.cudf.caixa.error 09-Mar-2011 15:52 43
1126.cudf.caixa.log 09-Mar-2011 15:52 0
1126.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5301
1126.cudf.caixa.log.time 09-Mar-2011 15:52 203
1126.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1128.cudf.caixa.error 09-Mar-2011 15:52 43
1128.cudf.caixa.log 09-Mar-2011 15:52 0
1128.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8107
1128.cudf.caixa.log.time 09-Mar-2011 15:52 202
1128.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1131.cudf.caixa.error 09-Mar-2011 15:52 43
1131.cudf.caixa.log 09-Mar-2011 15:52 0
1131.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7770
1131.cudf.caixa.log.time 09-Mar-2011 15:52 202
1131.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1143.cudf.caixa.error 09-Mar-2011 15:52 43
1143.cudf.caixa.log 09-Mar-2011 15:52 0
1143.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7422
1143.cudf.caixa.log.time 09-Mar-2011 15:52 203
1143.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1144.cudf.caixa.error 09-Mar-2011 15:52 43
1144.cudf.caixa.log 09-Mar-2011 15:52 0
1144.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7103
1144.cudf.caixa.log.time 09-Mar-2011 15:52 203
1144.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1152.cudf.caixa.error 09-Mar-2011 15:52 43
1152.cudf.caixa.log 09-Mar-2011 15:52 0
1152.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12974
1152.cudf.caixa.log.time 09-Mar-2011 15:52 202
1152.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1164.cudf.caixa.error 09-Mar-2011 15:52 43
1164.cudf.caixa.log 09-Mar-2011 15:52 0
1164.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7724
1164.cudf.caixa.log.time 09-Mar-2011 15:52 203
1164.cudf.caixa.result.bz2 09-Mar-2011 15:52 10335
1194.cudf.caixa.error 09-Mar-2011 15:52 43
1194.cudf.caixa.log 09-Mar-2011 15:52 0
1194.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6897
1194.cudf.caixa.log.time 09-Mar-2011 15:52 203
1194.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
120.cudf.caixa.error 09-Mar-2011 15:52 43
120.cudf.caixa.log 09-Mar-2011 15:52 0
120.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12683
120.cudf.caixa.log.time 09-Mar-2011 15:52 203
120.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
121.cudf.caixa.error 09-Mar-2011 15:52 43
121.cudf.caixa.log 09-Mar-2011 15:52 0
121.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6231
121.cudf.caixa.log.time 09-Mar-2011 15:52 205
121.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
122.cudf.caixa.error 09-Mar-2011 15:52 43
122.cudf.caixa.log 09-Mar-2011 15:52 0
122.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6204
122.cudf.caixa.log.time 09-Mar-2011 15:52 204
122.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1231.cudf.caixa.error 09-Mar-2011 15:52 43
1231.cudf.caixa.log 09-Mar-2011 15:52 0
1231.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6865
1231.cudf.caixa.log.time 09-Mar-2011 15:52 202
1231.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1238.cudf.caixa.error 09-Mar-2011 15:52 43
1238.cudf.caixa.log 09-Mar-2011 15:52 0
1238.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7762
1238.cudf.caixa.log.time 09-Mar-2011 15:52 203
1238.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1239.cudf.caixa.error 09-Mar-2011 15:52 43
1239.cudf.caixa.log 09-Mar-2011 15:52 0
1239.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12646
1239.cudf.caixa.log.time 09-Mar-2011 15:52 203
1239.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1243.cudf.caixa.error 09-Mar-2011 15:52 43
1243.cudf.caixa.log 09-Mar-2011 15:52 0
1243.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7746
1243.cudf.caixa.log.time 09-Mar-2011 15:52 203
1243.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1262.cudf.caixa.error 09-Mar-2011 15:52 43
1262.cudf.caixa.log 09-Mar-2011 15:52 0
1262.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7440
1262.cudf.caixa.log.time 09-Mar-2011 15:52 203
1262.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1265.cudf.caixa.error 09-Mar-2011 15:52 43
1265.cudf.caixa.log 09-Mar-2011 15:52 0
1265.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7745
1265.cudf.caixa.log.time 09-Mar-2011 15:52 202
1265.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1300.cudf.caixa.error 09-Mar-2011 15:52 43
1300.cudf.caixa.log 09-Mar-2011 15:52 0
1300.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6896
1300.cudf.caixa.log.time 09-Mar-2011 15:52 203
1300.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
131.cudf.caixa.error 09-Mar-2011 15:52 43
131.cudf.caixa.log 09-Mar-2011 15:52 0
131.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7776
131.cudf.caixa.log.time 09-Mar-2011 15:52 202
131.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
132.cudf.caixa.error 09-Mar-2011 15:52 43
132.cudf.caixa.log 09-Mar-2011 15:52 0
132.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12959
132.cudf.caixa.log.time 09-Mar-2011 15:52 203
132.cudf.caixa.result.bz2 09-Mar-2011 15:52 9057
1335.cudf.caixa.error 09-Mar-2011 15:52 43
1335.cudf.caixa.log 09-Mar-2011 15:52 0
1335.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7410
1335.cudf.caixa.log.time 09-Mar-2011 15:52 201
1335.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1336.cudf.caixa.error 09-Mar-2011 15:52 43
1336.cudf.caixa.log 09-Mar-2011 15:52 0
1336.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7420
1336.cudf.caixa.log.time 09-Mar-2011 15:52 203
1336.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1337.cudf.caixa.error 09-Mar-2011 15:52 43
1337.cudf.caixa.log 09-Mar-2011 15:52 0
1337.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5879
1337.cudf.caixa.log.time 09-Mar-2011 15:52 203
1337.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1362.cudf.caixa.error 09-Mar-2011 15:52 43
1362.cudf.caixa.log 09-Mar-2011 15:52 0
1362.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7763
1362.cudf.caixa.log.time 09-Mar-2011 15:52 203
1362.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1365.cudf.caixa.error 09-Mar-2011 15:52 43
1365.cudf.caixa.log 09-Mar-2011 15:52 0
1365.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6856
1365.cudf.caixa.log.time 09-Mar-2011 15:52 202
1365.cudf.caixa.result.bz2 09-Mar-2011 15:52 10338
1366.cudf.caixa.error 09-Mar-2011 15:52 43
1366.cudf.caixa.log 09-Mar-2011 15:52 0
1366.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8088
1366.cudf.caixa.log.time 09-Mar-2011 15:52 203
1366.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1369.cudf.caixa.error 09-Mar-2011 15:52 43
1369.cudf.caixa.log 09-Mar-2011 15:52 0
1369.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6558
1369.cudf.caixa.log.time 09-Mar-2011 15:52 202
1369.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1378.cudf.caixa.error 09-Mar-2011 15:52 43
1378.cudf.caixa.log 09-Mar-2011 15:52 0
1378.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7435
1378.cudf.caixa.log.time 09-Mar-2011 15:52 203
1378.cudf.caixa.result.bz2 09-Mar-2011 15:52 10176
140.cudf.caixa.error 09-Mar-2011 15:52 43
140.cudf.caixa.log 09-Mar-2011 15:52 0
140.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12322
140.cudf.caixa.log.time 09-Mar-2011 15:52 203
140.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1468.cudf.caixa.error 09-Mar-2011 15:52 43
1468.cudf.caixa.log 09-Mar-2011 15:52 0
1468.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7441
1468.cudf.caixa.log.time 09-Mar-2011 15:52 201
1468.cudf.caixa.result.bz2 09-Mar-2011 15:52 10173
1481.cudf.caixa.error 09-Mar-2011 15:52 43
1481.cudf.caixa.log 09-Mar-2011 15:52 0
1481.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5306
1481.cudf.caixa.log.time 09-Mar-2011 15:52 205
1481.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
150.cudf.caixa.error 09-Mar-2011 15:52 43
150.cudf.caixa.log 09-Mar-2011 15:52 0
150.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6548
150.cudf.caixa.log.time 09-Mar-2011 15:52 202
150.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1596.cudf.caixa.error 09-Mar-2011 15:52 43
1596.cudf.caixa.log 09-Mar-2011 15:52 0
1596.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7749
1596.cudf.caixa.log.time 09-Mar-2011 15:52 203
1596.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1602.cudf.caixa.error 09-Mar-2011 15:52 43
1602.cudf.caixa.log 09-Mar-2011 15:52 0
1602.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7750
1602.cudf.caixa.log.time 09-Mar-2011 15:52 203
1602.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1617.cudf.caixa.error 09-Mar-2011 15:52 43
1617.cudf.caixa.log 09-Mar-2011 15:52 0
1617.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7409
1617.cudf.caixa.log.time 09-Mar-2011 15:52 203
1617.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1627.cudf.caixa.error 09-Mar-2011 15:52 43
1627.cudf.caixa.log 09-Mar-2011 15:52 0
1627.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5882
1627.cudf.caixa.log.time 09-Mar-2011 15:52 203
1627.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1641.cudf.caixa.error 09-Mar-2011 15:52 43
1641.cudf.caixa.log 09-Mar-2011 15:52 0
1641.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7421
1641.cudf.caixa.log.time 09-Mar-2011 15:52 203
1641.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1647.cudf.caixa.error 09-Mar-2011 15:52 43
1647.cudf.caixa.log 09-Mar-2011 15:52 0
1647.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7420
1647.cudf.caixa.log.time 09-Mar-2011 15:52 202
1647.cudf.caixa.result.bz2 09-Mar-2011 15:52 10500
1651.cudf.caixa.error 09-Mar-2011 15:52 43
1651.cudf.caixa.log 09-Mar-2011 15:52 0
1651.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6017
1651.cudf.caixa.log.time 09-Mar-2011 15:52 204
1651.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1654.cudf.caixa.error 09-Mar-2011 15:52 43
1654.cudf.caixa.log 09-Mar-2011 15:52 0
1654.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5675
1654.cudf.caixa.log.time 09-Mar-2011 15:52 205
1654.cudf.caixa.result.bz2 09-Mar-2011 15:52 653
1655.cudf.caixa.error 09-Mar-2011 15:52 43
1655.cudf.caixa.log 09-Mar-2011 15:52 0
1655.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5097
1655.cudf.caixa.log.time 09-Mar-2011 15:52 204
1655.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1657.cudf.caixa.error 09-Mar-2011 15:52 43
1657.cudf.caixa.log 09-Mar-2011 15:52 0
1657.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6019
1657.cudf.caixa.log.time 09-Mar-2011 15:52 205
1657.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
167.cudf.caixa.error 09-Mar-2011 15:52 43
167.cudf.caixa.log 09-Mar-2011 15:52 0
167.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11436
167.cudf.caixa.log.time 09-Mar-2011 15:52 203
167.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1670.cudf.caixa.error 09-Mar-2011 15:52 43
1670.cudf.caixa.log 09-Mar-2011 15:52 0
1670.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7761
1670.cudf.caixa.log.time 09-Mar-2011 15:52 201
1670.cudf.caixa.result.bz2 09-Mar-2011 15:52 9252
168.cudf.caixa.error 09-Mar-2011 15:52 43
168.cudf.caixa.log 09-Mar-2011 15:52 0
168.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6893
168.cudf.caixa.log.time 09-Mar-2011 15:52 203
168.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1682.cudf.caixa.error 09-Mar-2011 15:52 43
1682.cudf.caixa.log 09-Mar-2011 15:52 0
1682.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6890
1682.cudf.caixa.log.time 09-Mar-2011 15:52 202
1682.cudf.caixa.result.bz2 09-Mar-2011 15:52 10565
1687.cudf.caixa.error 09-Mar-2011 15:52 43
1687.cudf.caixa.log 09-Mar-2011 15:52 0
1687.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5648
1687.cudf.caixa.log.time 09-Mar-2011 15:52 204
1687.cudf.caixa.result.bz2 09-Mar-2011 15:52 598
169.cudf.caixa.error 09-Mar-2011 15:52 43
169.cudf.caixa.log 09-Mar-2011 15:52 0
169.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6185
169.cudf.caixa.log.time 09-Mar-2011 15:52 203
169.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1691.cudf.caixa.error 09-Mar-2011 15:52 43
1691.cudf.caixa.log 09-Mar-2011 15:52 0
1691.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5673
1691.cudf.caixa.log.time 09-Mar-2011 15:52 203
1691.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
170.cudf.caixa.error 09-Mar-2011 15:52 43
170.cudf.caixa.log 09-Mar-2011 15:52 0
170.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6843
170.cudf.caixa.log.time 09-Mar-2011 15:52 202
170.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1717.cudf.caixa.error 09-Mar-2011 15:52 43
1717.cudf.caixa.log 09-Mar-2011 15:52 0
1717.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5649
1717.cudf.caixa.log.time 09-Mar-2011 15:52 205
1717.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1719.cudf.caixa.error 09-Mar-2011 15:52 43
1719.cudf.caixa.log 09-Mar-2011 15:52 0
1719.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5437
1719.cudf.caixa.log.time 09-Mar-2011 15:52 205
1719.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1720.cudf.caixa.error 09-Mar-2011 15:52 43
1720.cudf.caixa.log 09-Mar-2011 15:52 0
1720.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9909
1720.cudf.caixa.log.time 09-Mar-2011 15:52 204
1720.cudf.caixa.result.bz2 09-Mar-2011 15:52 1027
1722.cudf.caixa.error 09-Mar-2011 15:52 43
1722.cudf.caixa.log 09-Mar-2011 15:52 0
1722.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5677
1722.cudf.caixa.log.time 09-Mar-2011 15:52 205
1722.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1723.cudf.caixa.error 09-Mar-2011 15:52 43
1723.cudf.caixa.log 09-Mar-2011 15:52 0
1723.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5324
1723.cudf.caixa.log.time 09-Mar-2011 15:52 204
1723.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
173.cudf.caixa.error 09-Mar-2011 15:52 43
173.cudf.caixa.log 09-Mar-2011 15:52 0
173.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6552
173.cudf.caixa.log.time 09-Mar-2011 15:52 202
173.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
174.cudf.caixa.error 09-Mar-2011 15:52 43
174.cudf.caixa.log 09-Mar-2011 15:52 0
174.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6891
174.cudf.caixa.log.time 09-Mar-2011 15:52 203
174.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
176.cudf.caixa.error 09-Mar-2011 15:52 43
176.cudf.caixa.log 09-Mar-2011 15:52 0
176.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12995
176.cudf.caixa.log.time 09-Mar-2011 15:52 203
176.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
178.cudf.caixa.error 09-Mar-2011 15:52 43
178.cudf.caixa.log 09-Mar-2011 15:52 0
178.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6187
178.cudf.caixa.log.time 09-Mar-2011 15:52 201
178.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
19.cudf.caixa.error 09-Mar-2011 15:52 43
19.cudf.caixa.log 09-Mar-2011 15:52 0
19.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7402
19.cudf.caixa.log.time 09-Mar-2011 15:52 203
19.cudf.caixa.result.bz2 09-Mar-2011 15:52 9001
195.cudf.caixa.error 09-Mar-2011 15:52 43
195.cudf.caixa.log 09-Mar-2011 15:52 0
195.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6865
195.cudf.caixa.log.time 09-Mar-2011 15:52 203
195.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9665
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21230
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 10387
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20511
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 10792
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 202
218091ce-4bcc-11df-bc4e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20516
23.cudf.caixa.error 09-Mar-2011 15:52 43
23.cudf.caixa.log 09-Mar-2011 15:52 0
23.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7081
23.cudf.caixa.log.time 09-Mar-2011 15:52 203
23.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
25.cudf.caixa.error 09-Mar-2011 15:52 43
25.cudf.caixa.log 09-Mar-2011 15:52 0
25.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13254
25.cudf.caixa.log.time 09-Mar-2011 15:52 202
25.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9050
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21150
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 14549
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20667
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 14182
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
2f690324-4939-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20457
30.cudf.caixa.error 09-Mar-2011 15:52 43
30.cudf.caixa.log 09-Mar-2011 15:52 0
30.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7073
30.cudf.caixa.log.time 09-Mar-2011 15:52 203
30.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
33.cudf.caixa.error 09-Mar-2011 15:52 43
33.cudf.caixa.log 09-Mar-2011 15:52 0
33.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6814
33.cudf.caixa.log.time 09-Mar-2011 15:52 202
33.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3343.cudf.caixa.error 09-Mar-2011 15:52 43
3343.cudf.caixa.log 09-Mar-2011 15:52 0
3343.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6943
3343.cudf.caixa.log.time 09-Mar-2011 15:52 203
3343.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3362.cudf.caixa.error 09-Mar-2011 15:52 43
3362.cudf.caixa.log 09-Mar-2011 15:52 0
3362.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6463
3362.cudf.caixa.log.time 09-Mar-2011 15:52 202
3362.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3363.cudf.caixa.error 09-Mar-2011 15:52 43
3363.cudf.caixa.log 09-Mar-2011 15:52 0
3363.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12466
3363.cudf.caixa.log.time 09-Mar-2011 15:52 203
3363.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3368.cudf.caixa.error 09-Mar-2011 15:52 43
3368.cudf.caixa.log 09-Mar-2011 15:52 0
3368.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6144
3368.cudf.caixa.log.time 09-Mar-2011 15:52 203
3368.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
36.cudf.caixa.error 09-Mar-2011 15:52 43
36.cudf.caixa.log 09-Mar-2011 15:52 0
36.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6987
36.cudf.caixa.log.time 09-Mar-2011 15:52 200
36.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3674.cudf.caixa.error 09-Mar-2011 15:52 43
3674.cudf.caixa.log 09-Mar-2011 15:52 0
3674.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5268
3674.cudf.caixa.log.time 09-Mar-2011 15:52 204
3674.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3825.cudf.caixa.error 09-Mar-2011 15:52 43
3825.cudf.caixa.log 09-Mar-2011 15:52 0
3825.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5613
3825.cudf.caixa.log.time 09-Mar-2011 15:52 205
3825.cudf.caixa.result.bz2 09-Mar-2011 15:52 725
3826.cudf.caixa.error 09-Mar-2011 15:52 43
3826.cudf.caixa.log 09-Mar-2011 15:52 0
3826.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5254
3826.cudf.caixa.log.time 09-Mar-2011 15:52 204
3826.cudf.caixa.result.bz2 09-Mar-2011 15:52 725
3842.cudf.caixa.error 09-Mar-2011 15:52 43
3842.cudf.caixa.log 09-Mar-2011 15:52 0
3842.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5587
3842.cudf.caixa.log.time 09-Mar-2011 15:52 205
3842.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3846.cudf.caixa.error 09-Mar-2011 15:52 43
3846.cudf.caixa.log 09-Mar-2011 15:52 0
3846.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5613
3846.cudf.caixa.log.time 09-Mar-2011 15:52 205
3846.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3848.cudf.caixa.error 09-Mar-2011 15:52 43
3848.cudf.caixa.log 09-Mar-2011 15:52 0
3848.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5256
3848.cudf.caixa.log.time 09-Mar-2011 15:52 205
3848.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3851.cudf.caixa.error 09-Mar-2011 15:52 43
3851.cudf.caixa.log 09-Mar-2011 15:52 0
3851.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5942
3851.cudf.caixa.log.time 09-Mar-2011 15:52 205
3851.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3857.cudf.caixa.error 09-Mar-2011 15:52 43
3857.cudf.caixa.log 09-Mar-2011 15:52 0
3857.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5617
3857.cudf.caixa.log.time 09-Mar-2011 15:52 205
3857.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3863.cudf.caixa.error 09-Mar-2011 15:52 43
3863.cudf.caixa.log 09-Mar-2011 15:52 0
3863.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7354
3863.cudf.caixa.log.time 09-Mar-2011 15:52 203
3863.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3866.cudf.caixa.error 09-Mar-2011 15:52 43
3866.cudf.caixa.log 09-Mar-2011 15:52 0
3866.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6793
3866.cudf.caixa.log.time 09-Mar-2011 15:52 199
3866.cudf.caixa.result.bz2 09-Mar-2011 15:52 13157
3867.cudf.caixa.error 09-Mar-2011 15:52 43
3867.cudf.caixa.log 09-Mar-2011 15:52 0
3867.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7651
3867.cudf.caixa.log.time 09-Mar-2011 15:52 202
3867.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3868.cudf.caixa.error 09-Mar-2011 15:52 43
3868.cudf.caixa.log 09-Mar-2011 15:52 0
3868.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7666
3868.cudf.caixa.log.time 09-Mar-2011 15:52 202
3868.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3869.cudf.caixa.error 09-Mar-2011 15:52 43
3869.cudf.caixa.log 09-Mar-2011 15:52 0
3869.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7680
3869.cudf.caixa.log.time 09-Mar-2011 15:52 202
3869.cudf.caixa.result.bz2 09-Mar-2011 15:52 12637
3870.cudf.caixa.error 09-Mar-2011 15:52 43
3870.cudf.caixa.log 09-Mar-2011 15:52 0
3870.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7328
3870.cudf.caixa.log.time 09-Mar-2011 15:52 203
3870.cudf.caixa.result.bz2 09-Mar-2011 15:52 12637
3871.cudf.caixa.error 09-Mar-2011 15:52 43
3871.cudf.caixa.log 09-Mar-2011 15:52 0
3871.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7302
3871.cudf.caixa.log.time 09-Mar-2011 15:52 203
3871.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3872.cudf.caixa.error 09-Mar-2011 15:52 43
3872.cudf.caixa.log 09-Mar-2011 15:52 0
3872.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6992
3872.cudf.caixa.log.time 09-Mar-2011 15:52 203
3872.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3873.cudf.caixa.error 09-Mar-2011 15:52 43
3873.cudf.caixa.log 09-Mar-2011 15:52 0
3873.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8291
3873.cudf.caixa.log.time 09-Mar-2011 15:52 203
3873.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3874.cudf.caixa.error 09-Mar-2011 15:52 43
3874.cudf.caixa.log 09-Mar-2011 15:52 0
3874.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8267
3874.cudf.caixa.log.time 09-Mar-2011 15:52 201
3874.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3875.cudf.caixa.error 09-Mar-2011 15:52 43
3875.cudf.caixa.log 09-Mar-2011 15:52 0
3875.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10356
3875.cudf.caixa.log.time 09-Mar-2011 15:52 203
3875.cudf.caixa.result.bz2 09-Mar-2011 15:52 14168
3876.cudf.caixa.error 09-Mar-2011 15:52 43
3876.cudf.caixa.log 09-Mar-2011 15:52 0
3876.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7638
3876.cudf.caixa.log.time 09-Mar-2011 15:52 202
3876.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3881.cudf.caixa.error 09-Mar-2011 15:52 43
3881.cudf.caixa.log 09-Mar-2011 15:52 0
3881.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6984
3881.cudf.caixa.log.time 09-Mar-2011 15:52 202
3881.cudf.caixa.result.bz2 09-Mar-2011 15:52 9693
3884.cudf.caixa.error 09-Mar-2011 15:52 43
3884.cudf.caixa.log 09-Mar-2011 15:52 0
3884.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6810
3884.cudf.caixa.log.time 09-Mar-2011 15:52 202
3884.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3885.cudf.caixa.error 09-Mar-2011 15:52 43
3885.cudf.caixa.log 09-Mar-2011 15:52 0
3885.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11237
3885.cudf.caixa.log.time 09-Mar-2011 15:52 203
3885.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3887.cudf.caixa.error 09-Mar-2011 15:52 43
3887.cudf.caixa.log 09-Mar-2011 15:52 0
3887.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6444
3887.cudf.caixa.log.time 09-Mar-2011 15:52 202
3887.cudf.caixa.result.bz2 09-Mar-2011 15:52 14670
3888.cudf.caixa.error 09-Mar-2011 15:52 43
3888.cudf.caixa.log 09-Mar-2011 15:52 0
3888.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10957
3888.cudf.caixa.log.time 09-Mar-2011 15:52 201
3888.cudf.caixa.result.bz2 09-Mar-2011 15:52 14690
3889.cudf.caixa.error 09-Mar-2011 15:52 43
3889.cudf.caixa.log 09-Mar-2011 15:52 0
3889.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13060
3889.cudf.caixa.log.time 09-Mar-2011 15:52 202
3889.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3890.cudf.caixa.error 09-Mar-2011 15:52 43
3890.cudf.caixa.log 09-Mar-2011 15:52 0
3890.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7743
3890.cudf.caixa.log.time 09-Mar-2011 15:52 202
3890.cudf.caixa.result.bz2 09-Mar-2011 15:52 14657
3891.cudf.caixa.error 09-Mar-2011 15:52 43
3891.cudf.caixa.log 09-Mar-2011 15:52 0
3891.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8098
3891.cudf.caixa.log.time 09-Mar-2011 15:52 202
3891.cudf.caixa.result.bz2 09-Mar-2011 15:52 14657
3894.cudf.caixa.error 09-Mar-2011 15:52 43
3894.cudf.caixa.log 09-Mar-2011 15:52 0
3894.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7752
3894.cudf.caixa.log.time 09-Mar-2011 15:52 203
3894.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3896.cudf.caixa.error 09-Mar-2011 15:52 43
3896.cudf.caixa.log 09-Mar-2011 15:52 0
3896.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6530
3896.cudf.caixa.log.time 09-Mar-2011 15:52 203
3896.cudf.caixa.result.bz2 09-Mar-2011 15:52 13821
3898.cudf.caixa.error 09-Mar-2011 15:52 43
3898.cudf.caixa.log 09-Mar-2011 15:52 0
3898.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12030
3898.cudf.caixa.log.time 09-Mar-2011 15:52 203
3898.cudf.caixa.result.bz2 09-Mar-2011 15:52 13829
39.cudf.caixa.error 09-Mar-2011 15:52 43
39.cudf.caixa.log 09-Mar-2011 15:52 0
39.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7373
39.cudf.caixa.log.time 09-Mar-2011 15:52 202
39.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3906.cudf.caixa.error 09-Mar-2011 15:52 43
3906.cudf.caixa.log 09-Mar-2011 15:52 0
3906.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6216
3906.cudf.caixa.log.time 09-Mar-2011 15:52 203
3906.cudf.caixa.result.bz2 09-Mar-2011 15:52 10710
3907.cudf.caixa.error 09-Mar-2011 15:52 43
3907.cudf.caixa.log 09-Mar-2011 15:52 0
3907.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8101
3907.cudf.caixa.log.time 09-Mar-2011 15:52 203
3907.cudf.caixa.result.bz2 09-Mar-2011 15:52 10651
3908.cudf.caixa.error 09-Mar-2011 15:52 43
3908.cudf.caixa.log 09-Mar-2011 15:52 0
3908.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7746
3908.cudf.caixa.log.time 09-Mar-2011 15:52 202
3908.cudf.caixa.result.bz2 09-Mar-2011 15:52 10710
3909.cudf.caixa.error 09-Mar-2011 15:52 43
3909.cudf.caixa.log 09-Mar-2011 15:52 0
3909.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7388
3909.cudf.caixa.log.time 09-Mar-2011 15:52 202
3909.cudf.caixa.result.bz2 09-Mar-2011 15:52 10714
3910.cudf.caixa.error 09-Mar-2011 15:52 43
3910.cudf.caixa.log 09-Mar-2011 15:52 0
3910.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12965
3910.cudf.caixa.log.time 09-Mar-2011 15:52 203
3910.cudf.caixa.result.bz2 09-Mar-2011 15:52 10714
3911.cudf.caixa.error 09-Mar-2011 15:52 43
3911.cudf.caixa.log 09-Mar-2011 15:52 0
3911.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7725
3911.cudf.caixa.log.time 09-Mar-2011 15:52 202
3911.cudf.caixa.result.bz2 09-Mar-2011 15:52 10651
3912.cudf.caixa.error 09-Mar-2011 15:52 43
3912.cudf.caixa.log 09-Mar-2011 15:52 0
3912.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7405
3912.cudf.caixa.log.time 09-Mar-2011 15:52 203
3912.cudf.caixa.result.bz2 09-Mar-2011 15:52 10707
3913.cudf.caixa.error 09-Mar-2011 15:52 43
3913.cudf.caixa.log 09-Mar-2011 15:52 0
3913.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12963
3913.cudf.caixa.log.time 09-Mar-2011 15:52 203
3913.cudf.caixa.result.bz2 09-Mar-2011 15:52 10707
3915.cudf.caixa.error 09-Mar-2011 15:52 43
3915.cudf.caixa.log 09-Mar-2011 15:52 0
3915.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6211
3915.cudf.caixa.log.time 09-Mar-2011 15:52 203
3915.cudf.caixa.result.bz2 09-Mar-2011 15:52 13493
3916.cudf.caixa.error 09-Mar-2011 15:52 43
3916.cudf.caixa.log 09-Mar-2011 15:52 0
3916.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6883
3916.cudf.caixa.log.time 09-Mar-2011 15:52 202
3916.cudf.caixa.result.bz2 09-Mar-2011 15:52 13490
3919.cudf.caixa.error 09-Mar-2011 15:52 43
3919.cudf.caixa.log 09-Mar-2011 15:52 0
3919.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5865
3919.cudf.caixa.log.time 09-Mar-2011 15:52 203
3919.cudf.caixa.result.bz2 09-Mar-2011 15:52 11136
3921.cudf.caixa.error 09-Mar-2011 15:52 43
3921.cudf.caixa.log 09-Mar-2011 15:52 0
3921.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7436
3921.cudf.caixa.log.time 09-Mar-2011 15:52 203
3921.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3922.cudf.caixa.error 09-Mar-2011 15:52 43
3922.cudf.caixa.log 09-Mar-2011 15:52 0
3922.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7443
3922.cudf.caixa.log.time 09-Mar-2011 15:52 203
3922.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3923.cudf.caixa.error 09-Mar-2011 15:52 43
3923.cudf.caixa.log 09-Mar-2011 15:52 0
3923.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11489
3923.cudf.caixa.log.time 09-Mar-2011 15:52 205
3923.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3924.cudf.caixa.error 09-Mar-2011 15:52 43
3924.cudf.caixa.log 09-Mar-2011 15:52 0
3924.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5901
3924.cudf.caixa.log.time 09-Mar-2011 15:52 204
3924.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3925.cudf.caixa.error 09-Mar-2011 15:52 43
3925.cudf.caixa.log 09-Mar-2011 15:52 0
3925.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12639
3925.cudf.caixa.log.time 09-Mar-2011 15:52 203
3925.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3926.cudf.caixa.error 09-Mar-2011 15:52 43
3926.cudf.caixa.log 09-Mar-2011 15:52 0
3926.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7082
3926.cudf.caixa.log.time 09-Mar-2011 15:52 203
3926.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3929.cudf.caixa.error 09-Mar-2011 15:52 43
3929.cudf.caixa.log 09-Mar-2011 15:52 0
3929.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6545
3929.cudf.caixa.log.time 09-Mar-2011 15:52 204
3929.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3930.cudf.caixa.error 09-Mar-2011 15:52 43
3930.cudf.caixa.log 09-Mar-2011 15:52 0
3930.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6564
3930.cudf.caixa.log.time 09-Mar-2011 15:52 205
3930.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3931.cudf.caixa.error 09-Mar-2011 15:52 43
3931.cudf.caixa.log 09-Mar-2011 15:52 0
3931.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13310
3931.cudf.caixa.log.time 09-Mar-2011 15:52 203
3931.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3934.cudf.caixa.error 09-Mar-2011 15:52 43
3934.cudf.caixa.log 09-Mar-2011 15:52 0
3934.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7073
3934.cudf.caixa.log.time 09-Mar-2011 15:52 203
3934.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3936.cudf.caixa.error 09-Mar-2011 15:52 43
3936.cudf.caixa.log 09-Mar-2011 15:52 0
3936.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7732
3936.cudf.caixa.log.time 09-Mar-2011 15:52 203
3936.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3938.cudf.caixa.error 09-Mar-2011 15:52 43
3938.cudf.caixa.log 09-Mar-2011 15:52 0
3938.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8065
3938.cudf.caixa.log.time 09-Mar-2011 15:52 202
3938.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3939.cudf.caixa.error 09-Mar-2011 15:52 43
3939.cudf.caixa.log 09-Mar-2011 15:52 0
3939.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13293
3939.cudf.caixa.log.time 09-Mar-2011 15:52 201
3939.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3940.cudf.caixa.error 09-Mar-2011 15:52 43
3940.cudf.caixa.log 09-Mar-2011 15:52 0
3940.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11136
3940.cudf.caixa.log.time 09-Mar-2011 15:52 201
3940.cudf.caixa.result.bz2 09-Mar-2011 15:52 13521
3941.cudf.caixa.error 09-Mar-2011 15:52 43
3941.cudf.caixa.log 09-Mar-2011 15:52 0
3941.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5668
3941.cudf.caixa.log.time 09-Mar-2011 15:52 203
3941.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3944.cudf.caixa.error 09-Mar-2011 15:52 43
3944.cudf.caixa.log 09-Mar-2011 15:52 0
3944.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6207
3944.cudf.caixa.log.time 09-Mar-2011 15:52 202
3944.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3946.cudf.caixa.error 09-Mar-2011 15:52 43
3946.cudf.caixa.log 09-Mar-2011 15:52 0
3946.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7699
3946.cudf.caixa.log.time 09-Mar-2011 15:52 202
3946.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3948.cudf.caixa.error 09-Mar-2011 15:52 43
3948.cudf.caixa.log 09-Mar-2011 15:52 0
3948.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8073
3948.cudf.caixa.log.time 09-Mar-2011 15:52 203
3948.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3999.cudf.caixa.error 09-Mar-2011 15:52 43
3999.cudf.caixa.log 09-Mar-2011 15:52 0
3999.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10814
3999.cudf.caixa.log.time 09-Mar-2011 15:52 206
3999.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 43
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 0
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 7187
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 202
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 489
40.cudf.caixa.error 09-Mar-2011 15:52 43
40.cudf.caixa.log 09-Mar-2011 15:52 0
40.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7352
40.cudf.caixa.log.time 09-Mar-2011 15:52 202
40.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4000.cudf.caixa.error 09-Mar-2011 15:52 43
4000.cudf.caixa.log 09-Mar-2011 15:52 0
4000.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6554
4000.cudf.caixa.log.time 09-Mar-2011 15:52 203
4000.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4001.cudf.caixa.error 09-Mar-2011 15:52 43
4001.cudf.caixa.log 09-Mar-2011 15:52 0
4001.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6760
4001.cudf.caixa.log.time 09-Mar-2011 15:52 203
4001.cudf.caixa.result.bz2 09-Mar-2011 15:52 14373
4002.cudf.caixa.error 09-Mar-2011 15:52 43
4002.cudf.caixa.log 09-Mar-2011 15:52 0
4002.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13319
4002.cudf.caixa.log.time 09-Mar-2011 15:52 203
4002.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4003.cudf.caixa.error 09-Mar-2011 15:52 43
4003.cudf.caixa.log 09-Mar-2011 15:52 0
4003.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8112
4003.cudf.caixa.log.time 09-Mar-2011 15:52 202
4003.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4004.cudf.caixa.error 09-Mar-2011 15:52 43
4004.cudf.caixa.log 09-Mar-2011 15:52 0
4004.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7733
4004.cudf.caixa.log.time 09-Mar-2011 15:52 202
4004.cudf.caixa.result.bz2 09-Mar-2011 15:52 14858
4006.cudf.caixa.error 09-Mar-2011 15:52 43
4006.cudf.caixa.log 09-Mar-2011 15:52 0
4006.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6553
4006.cudf.caixa.log.time 09-Mar-2011 15:52 203
4006.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4007.cudf.caixa.error 09-Mar-2011 15:52 43
4007.cudf.caixa.log 09-Mar-2011 15:52 0
4007.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6222
4007.cudf.caixa.log.time 09-Mar-2011 15:52 202
4007.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4008.cudf.caixa.error 09-Mar-2011 15:52 43
4008.cudf.caixa.log 09-Mar-2011 15:52 0
4008.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5644
4008.cudf.caixa.log.time 09-Mar-2011 15:52 203
4008.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4009.cudf.caixa.error 09-Mar-2011 15:52 43
4009.cudf.caixa.log 09-Mar-2011 15:52 0
4009.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8428
4009.cudf.caixa.log.time 09-Mar-2011 15:52 203
4009.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4011.cudf.caixa.error 09-Mar-2011 15:52 43
4011.cudf.caixa.log 09-Mar-2011 15:52 0
4011.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8429
4011.cudf.caixa.log.time 09-Mar-2011 15:52 203
4011.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4012.cudf.caixa.error 09-Mar-2011 15:52 43
4012.cudf.caixa.log 09-Mar-2011 15:52 0
4012.cudf.caixa.log.runsolver 09-Mar-2011 15:52 10466
4012.cudf.caixa.log.time 09-Mar-2011 15:52 203
4012.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4013.cudf.caixa.error 09-Mar-2011 15:52 43
4013.cudf.caixa.log 09-Mar-2011 15:52 0
4013.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5870
4013.cudf.caixa.log.time 09-Mar-2011 15:52 203
4013.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4015.cudf.caixa.error 09-Mar-2011 15:52 43
4015.cudf.caixa.log 09-Mar-2011 15:52 0
4015.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8082
4015.cudf.caixa.log.time 09-Mar-2011 15:52 202
4015.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4016.cudf.caixa.error 09-Mar-2011 15:52 43
4016.cudf.caixa.log 09-Mar-2011 15:52 0
4016.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8119
4016.cudf.caixa.log.time 09-Mar-2011 15:52 203
4016.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4017.cudf.caixa.error 09-Mar-2011 15:52 43
4017.cudf.caixa.log 09-Mar-2011 15:52 0
4017.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8410
4017.cudf.caixa.log.time 09-Mar-2011 15:52 203
4017.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4018.cudf.caixa.error 09-Mar-2011 15:52 43
4018.cudf.caixa.log 09-Mar-2011 15:52 0
4018.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5867
4018.cudf.caixa.log.time 09-Mar-2011 15:52 202
4018.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4019.cudf.caixa.error 09-Mar-2011 15:52 43
4019.cudf.caixa.log 09-Mar-2011 15:52 0
4019.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7426
4019.cudf.caixa.log.time 09-Mar-2011 15:52 202
4019.cudf.caixa.result.bz2 09-Mar-2011 15:52 14844
4020.cudf.caixa.error 09-Mar-2011 15:52 43
4020.cudf.caixa.log 09-Mar-2011 15:52 0
4020.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6856
4020.cudf.caixa.log.time 09-Mar-2011 15:52 202
4020.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4021.cudf.caixa.error 09-Mar-2011 15:52 43
4021.cudf.caixa.log 09-Mar-2011 15:52 0
4021.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6897
4021.cudf.caixa.log.time 09-Mar-2011 15:52 203
4021.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4022.cudf.caixa.error 09-Mar-2011 15:52 43
4022.cudf.caixa.log 09-Mar-2011 15:52 0
4022.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12016
4022.cudf.caixa.log.time 09-Mar-2011 15:52 203
4022.cudf.caixa.result.bz2 09-Mar-2011 15:52 14965
4023.cudf.caixa.error 09-Mar-2011 15:52 43
4023.cudf.caixa.log 09-Mar-2011 15:52 0
4023.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7081
4023.cudf.caixa.log.time 09-Mar-2011 15:52 201
4023.cudf.caixa.result.bz2 09-Mar-2011 15:52 14479
4024.cudf.caixa.error 09-Mar-2011 15:52 43
4024.cudf.caixa.log 09-Mar-2011 15:52 0
4024.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8087
4024.cudf.caixa.log.time 09-Mar-2011 15:52 203
4024.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4025.cudf.caixa.error 09-Mar-2011 15:52 43
4025.cudf.caixa.log 09-Mar-2011 15:52 0
4025.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7755
4025.cudf.caixa.log.time 09-Mar-2011 15:52 203
4025.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4026.cudf.caixa.error 09-Mar-2011 15:52 43
4026.cudf.caixa.log 09-Mar-2011 15:52 0
4026.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5304
4026.cudf.caixa.log.time 09-Mar-2011 15:52 203
4026.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4027.cudf.caixa.error 09-Mar-2011 15:52 43
4027.cudf.caixa.log 09-Mar-2011 15:52 0
4027.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6004
4027.cudf.caixa.log.time 09-Mar-2011 15:52 202
4027.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4028.cudf.caixa.error 09-Mar-2011 15:52 43
4028.cudf.caixa.log 09-Mar-2011 15:52 0
4028.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6859
4028.cudf.caixa.log.time 09-Mar-2011 15:52 203
4028.cudf.caixa.result.bz2 09-Mar-2011 15:52 14506
4029.cudf.caixa.error 09-Mar-2011 15:52 43
4029.cudf.caixa.log 09-Mar-2011 15:52 0
4029.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5873
4029.cudf.caixa.log.time 09-Mar-2011 15:52 203
4029.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4030.cudf.caixa.error 09-Mar-2011 15:52 43
4030.cudf.caixa.log 09-Mar-2011 15:52 0
4030.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6878
4030.cudf.caixa.log.time 09-Mar-2011 15:52 201
4030.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4031.cudf.caixa.error 09-Mar-2011 15:52 43
4031.cudf.caixa.log 09-Mar-2011 15:52 0
4031.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7380
4031.cudf.caixa.log.time 09-Mar-2011 15:52 202
4031.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4032.cudf.caixa.error 09-Mar-2011 15:52 43
4032.cudf.caixa.log 09-Mar-2011 15:52 0
4032.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7729
4032.cudf.caixa.log.time 09-Mar-2011 15:52 202
4032.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4033.cudf.caixa.error 09-Mar-2011 15:52 43
4033.cudf.caixa.log 09-Mar-2011 15:52 0
4033.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7732
4033.cudf.caixa.log.time 09-Mar-2011 15:52 203
4033.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4034.cudf.caixa.error 09-Mar-2011 15:52 43
4034.cudf.caixa.log 09-Mar-2011 15:52 0
4034.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12657
4034.cudf.caixa.log.time 09-Mar-2011 15:52 203
4034.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4035.cudf.caixa.error 09-Mar-2011 15:52 43
4035.cudf.caixa.log 09-Mar-2011 15:52 0
4035.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7421
4035.cudf.caixa.log.time 09-Mar-2011 15:52 202
4035.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4036.cudf.caixa.error 09-Mar-2011 15:52 43
4036.cudf.caixa.log 09-Mar-2011 15:52 0
4036.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7072
4036.cudf.caixa.log.time 09-Mar-2011 15:52 203
4036.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4037.cudf.caixa.error 09-Mar-2011 15:52 43
4037.cudf.caixa.log 09-Mar-2011 15:52 0
4037.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8437
4037.cudf.caixa.log.time 09-Mar-2011 15:52 203
4037.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4038.cudf.caixa.error 09-Mar-2011 15:52 43
4038.cudf.caixa.log 09-Mar-2011 15:52 0
4038.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11932
4038.cudf.caixa.log.time 09-Mar-2011 15:52 202
4038.cudf.caixa.result.bz2 09-Mar-2011 15:52 13703
4039.cudf.caixa.error 09-Mar-2011 15:52 43
4039.cudf.caixa.log 09-Mar-2011 15:52 0
4039.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7401
4039.cudf.caixa.log.time 09-Mar-2011 15:52 202
4039.cudf.caixa.result.bz2 09-Mar-2011 15:52 13694
4040.cudf.caixa.error 09-Mar-2011 15:52 43
4040.cudf.caixa.log 09-Mar-2011 15:52 0
4040.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8424
4040.cudf.caixa.log.time 09-Mar-2011 15:52 202
4040.cudf.caixa.result.bz2 09-Mar-2011 15:52 13713
4041.cudf.caixa.error 09-Mar-2011 15:52 43
4041.cudf.caixa.log 09-Mar-2011 15:52 0
4041.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12253
4041.cudf.caixa.log.time 09-Mar-2011 15:52 202
4041.cudf.caixa.result.bz2 09-Mar-2011 15:52 13694
4042.cudf.caixa.error 09-Mar-2011 15:52 43
4042.cudf.caixa.log 09-Mar-2011 15:52 0
4042.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8073
4042.cudf.caixa.log.time 09-Mar-2011 15:52 203
4042.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4043.cudf.caixa.error 09-Mar-2011 15:52 43
4043.cudf.caixa.log 09-Mar-2011 15:52 0
4043.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7740
4043.cudf.caixa.log.time 09-Mar-2011 15:52 202
4043.cudf.caixa.result.bz2 09-Mar-2011 15:52 13721
4044.cudf.caixa.error 09-Mar-2011 15:52 43
4044.cudf.caixa.log 09-Mar-2011 15:52 0
4044.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8969
4044.cudf.caixa.log.time 09-Mar-2011 15:52 203
4044.cudf.caixa.result.bz2 09-Mar-2011 15:52 13689
4045.cudf.caixa.error 09-Mar-2011 15:52 43
4045.cudf.caixa.log 09-Mar-2011 15:52 0
4045.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8193
4045.cudf.caixa.log.time 09-Mar-2011 15:52 202
4045.cudf.caixa.result.bz2 09-Mar-2011 15:52 13694
4046.cudf.caixa.error 09-Mar-2011 15:52 43
4046.cudf.caixa.log 09-Mar-2011 15:52 0
4046.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8192
4046.cudf.caixa.log.time 09-Mar-2011 15:52 202
4046.cudf.caixa.result.bz2 09-Mar-2011 15:52 13694
4047.cudf.caixa.error 09-Mar-2011 15:52 43
4047.cudf.caixa.log 09-Mar-2011 15:52 0
4047.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7849
4047.cudf.caixa.log.time 09-Mar-2011 15:52 202
4047.cudf.caixa.result.bz2 09-Mar-2011 15:52 13694
4048.cudf.caixa.error 09-Mar-2011 15:52 43
4048.cudf.caixa.log 09-Mar-2011 15:52 0
4048.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7966
4048.cudf.caixa.log.time 09-Mar-2011 15:52 202
4048.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4049.cudf.caixa.error 09-Mar-2011 15:52 43
4049.cudf.caixa.log 09-Mar-2011 15:52 0
4049.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7637
4049.cudf.caixa.log.time 09-Mar-2011 15:52 203
4049.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4050.cudf.caixa.error 09-Mar-2011 15:52 43
4050.cudf.caixa.log 09-Mar-2011 15:52 0
4050.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7981
4050.cudf.caixa.log.time 09-Mar-2011 15:52 203
4050.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4051.cudf.caixa.error 09-Mar-2011 15:52 43
4051.cudf.caixa.log 09-Mar-2011 15:52 0
4051.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7083
4051.cudf.caixa.log.time 09-Mar-2011 15:52 201
4051.cudf.caixa.result.bz2 09-Mar-2011 15:52 14039
4052.cudf.caixa.error 09-Mar-2011 15:52 43
4052.cudf.caixa.log 09-Mar-2011 15:52 0
4052.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6744
4052.cudf.caixa.log.time 09-Mar-2011 15:52 201
4052.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4054.cudf.caixa.error 09-Mar-2011 15:52 43
4054.cudf.caixa.log 09-Mar-2011 15:52 0
4054.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8309
4054.cudf.caixa.log.time 09-Mar-2011 15:52 202
4054.cudf.caixa.result.bz2 09-Mar-2011 15:52 15039
4060.cudf.caixa.error 09-Mar-2011 15:52 43
4060.cudf.caixa.log 09-Mar-2011 15:52 0
4060.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7986
4060.cudf.caixa.log.time 09-Mar-2011 15:52 202
4060.cudf.caixa.result.bz2 09-Mar-2011 15:52 9141
4061.cudf.caixa.error 09-Mar-2011 15:52 43
4061.cudf.caixa.log 09-Mar-2011 15:52 0
4061.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7302
4061.cudf.caixa.log.time 09-Mar-2011 15:52 202
4061.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4062.cudf.caixa.error 09-Mar-2011 15:52 43
4062.cudf.caixa.log 09-Mar-2011 15:52 0
4062.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7419
4062.cudf.caixa.log.time 09-Mar-2011 15:52 201
4062.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4063.cudf.caixa.error 09-Mar-2011 15:52 43
4063.cudf.caixa.log 09-Mar-2011 15:52 0
4063.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6783
4063.cudf.caixa.log.time 09-Mar-2011 15:52 203
4063.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4064.cudf.caixa.error 09-Mar-2011 15:52 43
4064.cudf.caixa.log 09-Mar-2011 15:52 0
4064.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7335
4064.cudf.caixa.log.time 09-Mar-2011 15:52 203
4064.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4065.cudf.caixa.error 09-Mar-2011 15:52 43
4065.cudf.caixa.log 09-Mar-2011 15:52 0
4065.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11268
4065.cudf.caixa.log.time 09-Mar-2011 15:52 201
4065.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4066.cudf.caixa.error 09-Mar-2011 15:52 43
4066.cudf.caixa.log 09-Mar-2011 15:52 0
4066.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7299
4066.cudf.caixa.log.time 09-Mar-2011 15:52 203
4066.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4067.cudf.caixa.error 09-Mar-2011 15:52 43
4067.cudf.caixa.log 09-Mar-2011 15:52 0
4067.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8843
4067.cudf.caixa.log.time 09-Mar-2011 15:52 203
4067.cudf.caixa.result.bz2 09-Mar-2011 15:52 14171
4068.cudf.caixa.error 09-Mar-2011 15:52 43
4068.cudf.caixa.log 09-Mar-2011 15:52 0
4068.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7016
4068.cudf.caixa.log.time 09-Mar-2011 15:52 203
4068.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4069.cudf.caixa.error 09-Mar-2011 15:52 43
4069.cudf.caixa.log 09-Mar-2011 15:52 0
4069.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7642
4069.cudf.caixa.log.time 09-Mar-2011 15:52 201
4069.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4070.cudf.caixa.error 09-Mar-2011 15:52 43
4070.cudf.caixa.log 09-Mar-2011 15:52 0
4070.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11885
4070.cudf.caixa.log.time 09-Mar-2011 15:52 203
4070.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4071.cudf.caixa.error 09-Mar-2011 15:52 43
4071.cudf.caixa.log 09-Mar-2011 15:52 0
4071.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7005
4071.cudf.caixa.log.time 09-Mar-2011 15:52 203
4071.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4074.cudf.caixa.error 09-Mar-2011 15:52 43
4074.cudf.caixa.log 09-Mar-2011 15:52 0
4074.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7359
4074.cudf.caixa.log.time 09-Mar-2011 15:52 201
4074.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4076.cudf.caixa.error 09-Mar-2011 15:52 43
4076.cudf.caixa.log 09-Mar-2011 15:52 0
4076.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6963
4076.cudf.caixa.log.time 09-Mar-2011 15:52 203
4076.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4077.cudf.caixa.error 09-Mar-2011 15:52 43
4077.cudf.caixa.log 09-Mar-2011 15:52 0
4077.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7320
4077.cudf.caixa.log.time 09-Mar-2011 15:52 202
4077.cudf.caixa.result.bz2 09-Mar-2011 15:52 9857
4078.cudf.caixa.error 09-Mar-2011 15:52 43
4078.cudf.caixa.log 09-Mar-2011 15:52 0
4078.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6909
4078.cudf.caixa.log.time 09-Mar-2011 15:52 202
4078.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4079.cudf.caixa.error 09-Mar-2011 15:52 43
4079.cudf.caixa.log 09-Mar-2011 15:52 0
4079.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6472
4079.cudf.caixa.log.time 09-Mar-2011 15:52 205
4079.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4080.cudf.caixa.error 09-Mar-2011 15:52 43
4080.cudf.caixa.log 09-Mar-2011 15:52 0
4080.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5839
4080.cudf.caixa.log.time 09-Mar-2011 15:52 205
4080.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4082.cudf.caixa.error 09-Mar-2011 15:52 43
4082.cudf.caixa.log 09-Mar-2011 15:52 0
4082.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7107
4082.cudf.caixa.log.time 09-Mar-2011 15:52 202
4082.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4083.cudf.caixa.error 09-Mar-2011 15:52 43
4083.cudf.caixa.log 09-Mar-2011 15:52 0
4083.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8268
4083.cudf.caixa.log.time 09-Mar-2011 15:52 201
4083.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4084.cudf.caixa.error 09-Mar-2011 15:52 43
4084.cudf.caixa.log 09-Mar-2011 15:52 0
4084.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7653
4084.cudf.caixa.log.time 09-Mar-2011 15:52 203
4084.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4085.cudf.caixa.error 09-Mar-2011 15:52 43
4085.cudf.caixa.log 09-Mar-2011 15:52 0
4085.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13084
4085.cudf.caixa.log.time 09-Mar-2011 15:52 203
4085.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4086.cudf.caixa.error 09-Mar-2011 15:52 43
4086.cudf.caixa.log 09-Mar-2011 15:52 0
4086.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8009
4086.cudf.caixa.log.time 09-Mar-2011 15:52 203
4086.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4087.cudf.caixa.error 09-Mar-2011 15:52 43
4087.cudf.caixa.log 09-Mar-2011 15:52 0
4087.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7455
4087.cudf.caixa.log.time 09-Mar-2011 15:52 203
4087.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4088.cudf.caixa.error 09-Mar-2011 15:52 43
4088.cudf.caixa.log 09-Mar-2011 15:52 0
4088.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13017
4088.cudf.caixa.log.time 09-Mar-2011 15:52 203
4088.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4089.cudf.caixa.error 09-Mar-2011 15:52 43
4089.cudf.caixa.log 09-Mar-2011 15:52 0
4089.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7111
4089.cudf.caixa.log.time 09-Mar-2011 15:52 203
4089.cudf.caixa.result.bz2 09-Mar-2011 15:52 9682
4090.cudf.caixa.error 09-Mar-2011 15:52 43
4090.cudf.caixa.log 09-Mar-2011 15:52 0
4090.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7732
4090.cudf.caixa.log.time 09-Mar-2011 15:52 202
4090.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4091.cudf.caixa.error 09-Mar-2011 15:52 43
4091.cudf.caixa.log 09-Mar-2011 15:52 0
4091.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8077
4091.cudf.caixa.log.time 09-Mar-2011 15:52 203
4091.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4092.cudf.caixa.error 09-Mar-2011 15:52 43
4092.cudf.caixa.log 09-Mar-2011 15:52 0
4092.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9283
4092.cudf.caixa.log.time 09-Mar-2011 15:52 203
4092.cudf.caixa.result.bz2 09-Mar-2011 15:52 15071
4110.cudf.caixa.error 09-Mar-2011 15:52 43
4110.cudf.caixa.log 09-Mar-2011 15:52 0
4110.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7537
4110.cudf.caixa.log.time 09-Mar-2011 15:52 200
4110.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4113.cudf.caixa.error 09-Mar-2011 15:52 43
4113.cudf.caixa.log 09-Mar-2011 15:52 0
4113.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12654
4113.cudf.caixa.log.time 09-Mar-2011 15:52 203
4113.cudf.caixa.result.bz2 09-Mar-2011 15:52 15096
4114.cudf.caixa.error 09-Mar-2011 15:52 43
4114.cudf.caixa.log 09-Mar-2011 15:52 0
4114.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8379
4114.cudf.caixa.log.time 09-Mar-2011 15:52 203
4114.cudf.caixa.result.bz2 09-Mar-2011 15:52 15068
4115.cudf.caixa.error 09-Mar-2011 15:52 43
4115.cudf.caixa.log 09-Mar-2011 15:52 0
4115.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8405
4115.cudf.caixa.log.time 09-Mar-2011 15:52 203
4115.cudf.caixa.result.bz2 09-Mar-2011 15:52 15096
4116.cudf.caixa.error 09-Mar-2011 15:52 43
4116.cudf.caixa.log 09-Mar-2011 15:52 0
4116.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11452
4116.cudf.caixa.log.time 09-Mar-2011 15:52 202
4116.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4117.cudf.caixa.error 09-Mar-2011 15:52 43
4117.cudf.caixa.log 09-Mar-2011 15:52 0
4117.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9282
4117.cudf.caixa.log.time 09-Mar-2011 15:52 203
4117.cudf.caixa.result.bz2 09-Mar-2011 15:52 15066
4119.cudf.caixa.error 09-Mar-2011 15:52 43
4119.cudf.caixa.log 09-Mar-2011 15:52 0
4119.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9623
4119.cudf.caixa.log.time 09-Mar-2011 15:52 203
4119.cudf.caixa.result.bz2 09-Mar-2011 15:52 14666
4121.cudf.caixa.error 09-Mar-2011 15:52 43
4121.cudf.caixa.log 09-Mar-2011 15:52 0
4121.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6563
4121.cudf.caixa.log.time 09-Mar-2011 15:52 203
4121.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4122.cudf.caixa.error 09-Mar-2011 15:52 43
4122.cudf.caixa.log 09-Mar-2011 15:52 0
4122.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6558
4122.cudf.caixa.log.time 09-Mar-2011 15:52 202
4122.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4123.cudf.caixa.error 09-Mar-2011 15:52 43
4123.cudf.caixa.log 09-Mar-2011 15:52 0
4123.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6545
4123.cudf.caixa.log.time 09-Mar-2011 15:52 202
4123.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
42.cudf.caixa.error 09-Mar-2011 15:52 43
42.cudf.caixa.log 09-Mar-2011 15:52 0
42.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7444
42.cudf.caixa.log.time 09-Mar-2011 15:52 203
42.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
43.cudf.caixa.error 09-Mar-2011 15:52 43
43.cudf.caixa.log 09-Mar-2011 15:52 0
43.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7346
43.cudf.caixa.log.time 09-Mar-2011 15:52 202
43.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
44.cudf.caixa.error 09-Mar-2011 15:52 43
44.cudf.caixa.log 09-Mar-2011 15:52 0
44.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7103
44.cudf.caixa.log.time 09-Mar-2011 15:52 202
44.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
46.cudf.caixa.error 09-Mar-2011 15:52 43
46.cudf.caixa.log 09-Mar-2011 15:52 0
46.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7102
46.cudf.caixa.log.time 09-Mar-2011 15:52 203
46.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
47.cudf.caixa.error 09-Mar-2011 15:52 43
47.cudf.caixa.log 09-Mar-2011 15:52 0
47.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6691
47.cudf.caixa.log.time 09-Mar-2011 15:52 201
47.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10603
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 201
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20888
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9360
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21150
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9685
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10616
519.cudf.caixa.error 09-Mar-2011 15:52 43
519.cudf.caixa.log 09-Mar-2011 15:52 0
519.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6753
519.cudf.caixa.log.time 09-Mar-2011 15:52 203
519.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
520.cudf.caixa.error 09-Mar-2011 15:52 43
520.cudf.caixa.log 09-Mar-2011 15:52 0
520.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7072
520.cudf.caixa.log.time 09-Mar-2011 15:52 203
520.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
521.cudf.caixa.error 09-Mar-2011 15:52 43
521.cudf.caixa.log 09-Mar-2011 15:52 0
521.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6893
521.cudf.caixa.log.time 09-Mar-2011 15:52 203
521.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
522.cudf.caixa.error 09-Mar-2011 15:52 43
522.cudf.caixa.log 09-Mar-2011 15:52 0
522.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7750
522.cudf.caixa.log.time 09-Mar-2011 15:52 203
522.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
534.cudf.caixa.error 09-Mar-2011 15:52 43
534.cudf.caixa.log 09-Mar-2011 15:52 0
534.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7725
534.cudf.caixa.log.time 09-Mar-2011 15:52 203
534.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
536.cudf.caixa.error 09-Mar-2011 15:52 43
536.cudf.caixa.log 09-Mar-2011 15:52 0
536.cudf.caixa.log.runsolver 09-Mar-2011 15:52 13315
536.cudf.caixa.log.time 09-Mar-2011 15:52 203
536.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
538.cudf.caixa.error 09-Mar-2011 15:52 43
538.cudf.caixa.log 09-Mar-2011 15:52 0
538.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6863
538.cudf.caixa.log.time 09-Mar-2011 15:52 202
538.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
550.cudf.caixa.error 09-Mar-2011 15:52 43
550.cudf.caixa.log 09-Mar-2011 15:52 0
550.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11770
550.cudf.caixa.log.time 09-Mar-2011 15:52 203
550.cudf.caixa.result.bz2 09-Mar-2011 15:52 7802
555.cudf.caixa.error 09-Mar-2011 15:52 43
555.cudf.caixa.log 09-Mar-2011 15:52 0
555.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6186
555.cudf.caixa.log.time 09-Mar-2011 15:52 202
555.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
556.cudf.caixa.error 09-Mar-2011 15:52 43
556.cudf.caixa.log 09-Mar-2011 15:52 0
556.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6553
556.cudf.caixa.log.time 09-Mar-2011 15:52 203
556.cudf.caixa.result.bz2 09-Mar-2011 15:52 7821
557.cudf.caixa.error 09-Mar-2011 15:52 43
557.cudf.caixa.log 09-Mar-2011 15:52 0
557.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7766
557.cudf.caixa.log.time 09-Mar-2011 15:52 203
557.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
558.cudf.caixa.error 09-Mar-2011 15:52 43
558.cudf.caixa.log 09-Mar-2011 15:52 0
558.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7352
558.cudf.caixa.log.time 09-Mar-2011 15:52 203
558.cudf.caixa.result.bz2 09-Mar-2011 15:52 7802
559.cudf.caixa.error 09-Mar-2011 15:52 43
559.cudf.caixa.log 09-Mar-2011 15:52 0
559.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7378
559.cudf.caixa.log.time 09-Mar-2011 15:52 202
559.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10200
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 201
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20888
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 43
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 0
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 7572
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 201
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf.debia..> 09-Mar-2011 15:52 803
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 8916
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 202
56e31304-c17a-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10616
571.cudf.caixa.error 09-Mar-2011 15:52 43
571.cudf.caixa.log 09-Mar-2011 15:52 0
571.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6553
571.cudf.caixa.log.time 09-Mar-2011 15:52 202
571.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
579.cudf.caixa.error 09-Mar-2011 15:52 43
579.cudf.caixa.log 09-Mar-2011 15:52 0
579.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6188
579.cudf.caixa.log.time 09-Mar-2011 15:52 202
579.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
58.cudf.caixa.error 09-Mar-2011 15:52 43
58.cudf.caixa.log 09-Mar-2011 15:52 0
58.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6722
58.cudf.caixa.log.time 09-Mar-2011 15:52 202
58.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
581.cudf.caixa.error 09-Mar-2011 15:52 43
581.cudf.caixa.log 09-Mar-2011 15:52 0
581.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12990
581.cudf.caixa.log.time 09-Mar-2011 15:52 202
581.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
582.cudf.caixa.error 09-Mar-2011 15:52 43
582.cudf.caixa.log 09-Mar-2011 15:52 0
582.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5876
582.cudf.caixa.log.time 09-Mar-2011 15:52 203
582.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
584.cudf.caixa.error 09-Mar-2011 15:52 43
584.cudf.caixa.log 09-Mar-2011 15:52 0
584.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11439
584.cudf.caixa.log.time 09-Mar-2011 15:52 203
584.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
589.cudf.caixa.error 09-Mar-2011 15:52 43
589.cudf.caixa.log 09-Mar-2011 15:52 0
589.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6773
589.cudf.caixa.log.time 09-Mar-2011 15:52 202
589.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 8508
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 203
58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 1801
590.cudf.caixa.error 09-Mar-2011 15:52 43
590.cudf.caixa.log 09-Mar-2011 15:52 0
590.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6218
590.cudf.caixa.log.time 09-Mar-2011 15:52 203
590.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
591.cudf.caixa.error 09-Mar-2011 15:52 43
591.cudf.caixa.log 09-Mar-2011 15:52 0
591.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6221
591.cudf.caixa.log.time 09-Mar-2011 15:52 203
591.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
593.cudf.caixa.error 09-Mar-2011 15:52 43
593.cudf.caixa.log 09-Mar-2011 15:52 0
593.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6217
593.cudf.caixa.log.time 09-Mar-2011 15:52 203
593.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
597.cudf.caixa.error 09-Mar-2011 15:52 43
597.cudf.caixa.log 09-Mar-2011 15:52 0
597.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6530
597.cudf.caixa.log.time 09-Mar-2011 15:52 203
597.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
63.cudf.caixa.error 09-Mar-2011 15:52 43
63.cudf.caixa.log 09-Mar-2011 15:52 0
63.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12088
63.cudf.caixa.log.time 09-Mar-2011 15:52 203
63.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
634.cudf.caixa.error 09-Mar-2011 15:52 43
634.cudf.caixa.log 09-Mar-2011 15:52 0
634.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7388
634.cudf.caixa.log.time 09-Mar-2011 15:52 203
634.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
642.cudf.caixa.error 09-Mar-2011 15:52 43
642.cudf.caixa.log 09-Mar-2011 15:52 0
642.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7385
642.cudf.caixa.log.time 09-Mar-2011 15:52 202
642.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
643.cudf.caixa.error 09-Mar-2011 15:52 43
643.cudf.caixa.log 09-Mar-2011 15:52 0
643.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6009
643.cudf.caixa.log.time 09-Mar-2011 15:52 204
643.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
645.cudf.caixa.error 09-Mar-2011 15:52 43
645.cudf.caixa.log 09-Mar-2011 15:52 0
645.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9365
645.cudf.caixa.log.time 09-Mar-2011 15:52 206
645.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
65.cudf.caixa.error 09-Mar-2011 15:52 43
65.cudf.caixa.log 09-Mar-2011 15:52 0
65.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6889
65.cudf.caixa.log.time 09-Mar-2011 15:52 203
65.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
650.cudf.caixa.error 09-Mar-2011 15:52 43
650.cudf.caixa.log 09-Mar-2011 15:52 0
650.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8083
650.cudf.caixa.log.time 09-Mar-2011 15:52 203
650.cudf.caixa.result.bz2 09-Mar-2011 15:52 9150
654.cudf.caixa.error 09-Mar-2011 15:52 43
654.cudf.caixa.log 09-Mar-2011 15:52 0
654.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8084
654.cudf.caixa.log.time 09-Mar-2011 15:52 203
654.cudf.caixa.result.bz2 09-Mar-2011 15:52 9139
657.cudf.caixa.error 09-Mar-2011 15:52 43
657.cudf.caixa.log 09-Mar-2011 15:52 0
657.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5900
657.cudf.caixa.log.time 09-Mar-2011 15:52 202
657.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
658.cudf.caixa.error 09-Mar-2011 15:52 43
658.cudf.caixa.log 09-Mar-2011 15:52 0
658.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5640
658.cudf.caixa.log.time 09-Mar-2011 15:52 203
658.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
66.cudf.caixa.error 09-Mar-2011 15:52 43
66.cudf.caixa.log 09-Mar-2011 15:52 0
66.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8082
66.cudf.caixa.log.time 09-Mar-2011 15:52 203
66.cudf.caixa.result.bz2 09-Mar-2011 15:52 9006
672.cudf.caixa.error 09-Mar-2011 15:52 43
672.cudf.caixa.log 09-Mar-2011 15:52 0
672.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7227
672.cudf.caixa.log.time 09-Mar-2011 15:52 203
672.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 10343
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20493
690.cudf.caixa.error 09-Mar-2011 15:52 43
690.cudf.caixa.log 09-Mar-2011 15:52 0
690.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5978
690.cudf.caixa.log.time 09-Mar-2011 15:52 203
690.cudf.caixa.result.bz2 09-Mar-2011 15:52 9216
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10453
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 202
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20888
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 12398
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20474
74.cudf.caixa.error 09-Mar-2011 15:52 43
74.cudf.caixa.log 09-Mar-2011 15:52 0
74.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7000
74.cudf.caixa.log.time 09-Mar-2011 15:52 202
74.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
745.cudf.caixa.error 09-Mar-2011 15:52 43
745.cudf.caixa.log 09-Mar-2011 15:52 0
745.cudf.caixa.log.runsolver 09-Mar-2011 15:52 11456
745.cudf.caixa.log.time 09-Mar-2011 15:52 203
745.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
770.cudf.caixa.error 09-Mar-2011 15:52 43
770.cudf.caixa.log 09-Mar-2011 15:52 0
770.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5651
770.cudf.caixa.log.time 09-Mar-2011 15:52 204
770.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
775.cudf.caixa.error 09-Mar-2011 15:52 43
775.cudf.caixa.log 09-Mar-2011 15:52 0
775.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5972
775.cudf.caixa.log.time 09-Mar-2011 15:52 205
775.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
778.cudf.caixa.error 09-Mar-2011 15:52 43
778.cudf.caixa.log 09-Mar-2011 15:52 0
778.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5991
778.cudf.caixa.log.time 09-Mar-2011 15:52 205
778.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
779.cudf.caixa.error 09-Mar-2011 15:52 43
779.cudf.caixa.log 09-Mar-2011 15:52 0
779.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7429
779.cudf.caixa.log.time 09-Mar-2011 15:52 203
779.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
781.cudf.caixa.error 09-Mar-2011 15:52 43
781.cudf.caixa.log 09-Mar-2011 15:52 0
781.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5672
781.cudf.caixa.log.time 09-Mar-2011 15:52 205
781.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
787.cudf.caixa.error 09-Mar-2011 15:52 43
787.cudf.caixa.log 09-Mar-2011 15:52 0
787.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5119
787.cudf.caixa.log.time 09-Mar-2011 15:52 205
787.cudf.caixa.result.bz2 09-Mar-2011 15:52 213
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 13751
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 203
7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 1801
801.cudf.caixa.error 09-Mar-2011 15:52 43
801.cudf.caixa.log 09-Mar-2011 15:52 0
801.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12626
801.cudf.caixa.log.time 09-Mar-2011 15:52 203
801.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
808.cudf.caixa.error 09-Mar-2011 15:52 43
808.cudf.caixa.log 09-Mar-2011 15:52 0
808.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7429
808.cudf.caixa.log.time 09-Mar-2011 15:52 203
808.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
809.cudf.caixa.error 09-Mar-2011 15:52 43
809.cudf.caixa.log 09-Mar-2011 15:52 0
809.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7399
809.cudf.caixa.log.time 09-Mar-2011 15:52 203
809.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
811.cudf.caixa.error 09-Mar-2011 15:52 43
811.cudf.caixa.log 09-Mar-2011 15:52 0
811.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7771
811.cudf.caixa.log.time 09-Mar-2011 15:52 203
811.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
812.cudf.caixa.error 09-Mar-2011 15:52 43
812.cudf.caixa.log 09-Mar-2011 15:52 0
812.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6757
812.cudf.caixa.log.time 09-Mar-2011 15:52 202
812.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
813.cudf.caixa.error 09-Mar-2011 15:52 43
813.cudf.caixa.log 09-Mar-2011 15:52 0
813.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5890
813.cudf.caixa.log.time 09-Mar-2011 15:52 202
813.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
814.cudf.caixa.error 09-Mar-2011 15:52 43
814.cudf.caixa.log 09-Mar-2011 15:52 0
814.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6710
814.cudf.caixa.log.time 09-Mar-2011 15:52 202
814.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
815.cudf.caixa.error 09-Mar-2011 15:52 43
815.cudf.caixa.log 09-Mar-2011 15:52 0
815.cudf.caixa.log.runsolver 09-Mar-2011 15:52 8103
815.cudf.caixa.log.time 09-Mar-2011 15:52 202
815.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
816.cudf.caixa.error 09-Mar-2011 15:52 43
816.cudf.caixa.log 09-Mar-2011 15:52 0
816.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7759
816.cudf.caixa.log.time 09-Mar-2011 15:52 202
816.cudf.caixa.result.bz2 09-Mar-2011 15:52 9351
817.cudf.caixa.error 09-Mar-2011 15:52 43
817.cudf.caixa.log 09-Mar-2011 15:52 0
817.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5875
817.cudf.caixa.log.time 09-Mar-2011 15:52 204
817.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
818.cudf.caixa.error 09-Mar-2011 15:52 43
818.cudf.caixa.log 09-Mar-2011 15:52 0
818.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7557
818.cudf.caixa.log.time 09-Mar-2011 15:52 201
818.cudf.caixa.result.bz2 09-Mar-2011 15:52 9351
819.cudf.caixa.error 09-Mar-2011 15:52 43
819.cudf.caixa.log 09-Mar-2011 15:52 0
819.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6405
819.cudf.caixa.log.time 09-Mar-2011 15:52 203
819.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
820.cudf.caixa.error 09-Mar-2011 15:52 43
820.cudf.caixa.log 09-Mar-2011 15:52 0
820.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7325
820.cudf.caixa.log.time 09-Mar-2011 15:52 203
820.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
821.cudf.caixa.error 09-Mar-2011 15:52 43
821.cudf.caixa.log 09-Mar-2011 15:52 0
821.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7341
821.cudf.caixa.log.time 09-Mar-2011 15:52 203
821.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
822.cudf.caixa.error 09-Mar-2011 15:52 43
822.cudf.caixa.log 09-Mar-2011 15:52 0
822.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7323
822.cudf.caixa.log.time 09-Mar-2011 15:52 203
822.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
832.cudf.caixa.error 09-Mar-2011 15:52 43
832.cudf.caixa.log 09-Mar-2011 15:52 0
832.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7325
832.cudf.caixa.log.time 09-Mar-2011 15:52 203
832.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
837.cudf.caixa.error 09-Mar-2011 15:52 43
837.cudf.caixa.log 09-Mar-2011 15:52 0
837.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7295
837.cudf.caixa.log.time 09-Mar-2011 15:52 203
837.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
841.cudf.caixa.error 09-Mar-2011 15:52 43
841.cudf.caixa.log 09-Mar-2011 15:52 0
841.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7009
841.cudf.caixa.log.time 09-Mar-2011 15:52 202
841.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
843.cudf.caixa.error 09-Mar-2011 15:52 43
843.cudf.caixa.log 09-Mar-2011 15:52 0
843.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6451
843.cudf.caixa.log.time 09-Mar-2011 15:52 202
843.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
847.cudf.caixa.error 09-Mar-2011 15:52 43
847.cudf.caixa.log 09-Mar-2011 15:52 0
847.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6489
847.cudf.caixa.log.time 09-Mar-2011 15:52 203
847.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
855.cudf.caixa.error 09-Mar-2011 15:52 43
855.cudf.caixa.log 09-Mar-2011 15:52 0
855.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12414
855.cudf.caixa.log.time 09-Mar-2011 15:52 203
855.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
856.cudf.caixa.error 09-Mar-2011 15:52 43
856.cudf.caixa.log 09-Mar-2011 15:52 0
856.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7343
856.cudf.caixa.log.time 09-Mar-2011 15:52 202
856.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
858.cudf.caixa.error 09-Mar-2011 15:52 43
858.cudf.caixa.log 09-Mar-2011 15:52 0
858.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7647
858.cudf.caixa.log.time 09-Mar-2011 15:52 203
858.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
868.cudf.caixa.error 09-Mar-2011 15:52 43
868.cudf.caixa.log 09-Mar-2011 15:52 0
868.cudf.caixa.log.runsolver 09-Mar-2011 15:52 9219
868.cudf.caixa.log.time 09-Mar-2011 15:52 205
868.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
869.cudf.caixa.error 09-Mar-2011 15:52 43
869.cudf.caixa.log 09-Mar-2011 15:52 0
869.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5603
869.cudf.caixa.log.time 09-Mar-2011 15:52 204
869.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
873.cudf.caixa.error 09-Mar-2011 15:52 43
873.cudf.caixa.log 09-Mar-2011 15:52 0
873.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6476
873.cudf.caixa.log.time 09-Mar-2011 15:52 203
873.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 11501
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
8ad21cec-4b22-11df-b280-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20474
902.cudf.caixa.error 09-Mar-2011 15:52 43
902.cudf.caixa.log 09-Mar-2011 15:52 0
902.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5629
902.cudf.caixa.log.time 09-Mar-2011 15:52 205
902.cudf.caixa.result.bz2 09-Mar-2011 15:52 1670
933.cudf.caixa.error 09-Mar-2011 15:52 43
933.cudf.caixa.log 09-Mar-2011 15:52 0
933.cudf.caixa.log.runsolver 09-Mar-2011 15:52 12764
933.cudf.caixa.log.time 09-Mar-2011 15:52 203
933.cudf.caixa.result.bz2 09-Mar-2011 15:52 9564
937.cudf.caixa.error 09-Mar-2011 15:52 43
937.cudf.caixa.log 09-Mar-2011 15:52 0
937.cudf.caixa.log.runsolver 09-Mar-2011 15:52 6811
937.cudf.caixa.log.time 09-Mar-2011 15:52 203
937.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
944.cudf.caixa.error 09-Mar-2011 15:52 43
944.cudf.caixa.log 09-Mar-2011 15:52 0
944.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7647
944.cudf.caixa.log.time 09-Mar-2011 15:52 199
944.cudf.caixa.result.bz2 09-Mar-2011 15:52 9567
947.cudf.caixa.error 09-Mar-2011 15:52 43
947.cudf.caixa.log 09-Mar-2011 15:52 0
947.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7320
947.cudf.caixa.log.time 09-Mar-2011 15:52 203
947.cudf.caixa.result.bz2 09-Mar-2011 15:52 9567
948.cudf.caixa.error 09-Mar-2011 15:52 43
948.cudf.caixa.log 09-Mar-2011 15:52 0
948.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7321
948.cudf.caixa.log.time 09-Mar-2011 15:52 203
948.cudf.caixa.result.bz2 09-Mar-2011 15:52 9572
950.cudf.caixa.error 09-Mar-2011 15:52 43
950.cudf.caixa.log 09-Mar-2011 15:52 0
950.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7673
950.cudf.caixa.log.time 09-Mar-2011 15:52 203
950.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
951.cudf.caixa.error 09-Mar-2011 15:52 43
951.cudf.caixa.log 09-Mar-2011 15:52 0
951.cudf.caixa.log.runsolver 09-Mar-2011 15:52 7988
951.cudf.caixa.log.time 09-Mar-2011 15:52 202
951.cudf.caixa.result.bz2 09-Mar-2011 15:52 9571
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9941
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 202
978532fa-c730-11df-b070-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20888
990.cudf.caixa.error 09-Mar-2011 15:52 43
990.cudf.caixa.log 09-Mar-2011 15:52 0
990.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5947
990.cudf.caixa.log.time 09-Mar-2011 15:52 203
990.cudf.caixa.result.bz2 09-Mar-2011 15:52 1634
991.cudf.caixa.error 09-Mar-2011 15:52 43
991.cudf.caixa.log 09-Mar-2011 15:52 0
991.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5579
991.cudf.caixa.log.time 09-Mar-2011 15:52 205
991.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
992.cudf.caixa.error 09-Mar-2011 15:52 43
992.cudf.caixa.log 09-Mar-2011 15:52 0
992.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5279
992.cudf.caixa.log.time 09-Mar-2011 15:52 205
992.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
993.cudf.caixa.error 09-Mar-2011 15:52 43
993.cudf.caixa.log 09-Mar-2011 15:52 0
993.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5583
993.cudf.caixa.log.time 09-Mar-2011 15:52 205
993.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
995.cudf.caixa.error 09-Mar-2011 15:52 43
995.cudf.caixa.log 09-Mar-2011 15:52 0
995.cudf.caixa.log.runsolver 09-Mar-2011 15:52 5613
995.cudf.caixa.log.time 09-Mar-2011 15:52 204
995.cudf.caixa.result.bz2 09-Mar-2011 15:52 42
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 9577
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20516
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 14519
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 202
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 20888
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 14511
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 202
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21150
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 9565
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21150
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52 43
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52 0
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52 11880
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52 203
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.debia..> 09-Mar-2011 15:52 20751
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 43
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 0
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 10829
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 204
e8a3eb4c-4c81-11df-8b8c-00163e7a6f5e.cudf.debia..> 09-Mar-2011 15:52 20516
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 43
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 0
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 10641
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 203
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf.debia..> 09-Mar-2011 15:52 21230
rand102.cudf.heavy.error 09-Mar-2011 15:52 134
rand102.cudf.heavy.log 09-Mar-2011 15:52 0
rand102.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7282
rand102.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand102.cudf.heavy.result.bz2 09-Mar-2011 15:52 7755
rand133.cudf.heavy.error 09-Mar-2011 15:52 43
rand133.cudf.heavy.log 09-Mar-2011 15:52 0
rand133.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6425
rand133.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand133.cudf.heavy.result.bz2 09-Mar-2011 15:52 8464
rand151.cudf.heavy.error 09-Mar-2011 15:52 43
rand151.cudf.heavy.log 09-Mar-2011 15:52 0
rand151.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7107
rand151.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand151.cudf.heavy.result.bz2 09-Mar-2011 15:52 7901
rand171.cudf.heavy.error 09-Mar-2011 15:52 43
rand171.cudf.heavy.log 09-Mar-2011 15:52 0
rand171.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6458
rand171.cudf.heavy.log.time 09-Mar-2011 15:52 200
rand171.cudf.heavy.result.bz2 09-Mar-2011 15:52 8518
rand190.cudf.heavy.error 09-Mar-2011 15:52 43
rand190.cudf.heavy.log 09-Mar-2011 15:52 0
rand190.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6781
rand190.cudf.heavy.log.time 09-Mar-2011 15:52 200
rand190.cudf.heavy.result.bz2 09-Mar-2011 15:52 9011
rand239.cudf.heavy.error 09-Mar-2011 15:52 43
rand239.cudf.heavy.log 09-Mar-2011 15:52 0
rand239.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7950
rand239.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand239.cudf.heavy.result.bz2 09-Mar-2011 15:52 7466
rand327.cudf.heavy.error 09-Mar-2011 15:52 43
rand327.cudf.heavy.log 09-Mar-2011 15:52 0
rand327.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7202
rand327.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand327.cudf.heavy.result.bz2 09-Mar-2011 15:52 7781
rand384.cudf.heavy.error 09-Mar-2011 15:52 43
rand384.cudf.heavy.log 09-Mar-2011 15:52 0
rand384.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6870
rand384.cudf.heavy.log.time 09-Mar-2011 15:52 203
rand384.cudf.heavy.result.bz2 09-Mar-2011 15:52 7475
rand4.cudf.heavy.error 09-Mar-2011 15:52 43
rand4.cudf.heavy.log 09-Mar-2011 15:52 0
rand4.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6189
rand4.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand4.cudf.heavy.result.bz2 09-Mar-2011 15:52 6439
rand469.cudf.heavy.error 09-Mar-2011 15:52 43
rand469.cudf.heavy.log 09-Mar-2011 15:52 0
rand469.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6858
rand469.cudf.heavy.log.time 09-Mar-2011 15:52 199
rand469.cudf.heavy.result.bz2 09-Mar-2011 15:52 7252
rand565.cudf.heavy.error 09-Mar-2011 15:52 43
rand565.cudf.heavy.log 09-Mar-2011 15:52 0
rand565.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6304
rand565.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand565.cudf.heavy.result.bz2 09-Mar-2011 15:52 7553
rand601.cudf.heavy.error 09-Mar-2011 15:52 43
rand601.cudf.heavy.log 09-Mar-2011 15:52 0
rand601.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6787
rand601.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand601.cudf.heavy.result.bz2 09-Mar-2011 15:52 7414
rand614.cudf.heavy.error 09-Mar-2011 15:52 43
rand614.cudf.heavy.log 09-Mar-2011 15:52 0
rand614.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7184
rand614.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand614.cudf.heavy.result.bz2 09-Mar-2011 15:52 7113
rand64.cudf.heavy.error 09-Mar-2011 15:52 43
rand64.cudf.heavy.log 09-Mar-2011 15:52 0
rand64.cudf.heavy.log.runsolver 09-Mar-2011 15:52 5670
rand64.cudf.heavy.log.time 09-Mar-2011 15:52 200
rand64.cudf.heavy.result.bz2 09-Mar-2011 15:52 7335
rand67.cudf.heavy.error 09-Mar-2011 15:52 43
rand67.cudf.heavy.log 09-Mar-2011 15:52 0
rand67.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6502
rand67.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand67.cudf.heavy.result.bz2 09-Mar-2011 15:52 7633
rand91.cudf.heavy.error 09-Mar-2011 15:52 43
rand91.cudf.heavy.log 09-Mar-2011 15:52 0
rand91.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7190
rand91.cudf.heavy.log.time 09-Mar-2011 15:52 199
rand91.cudf.heavy.result.bz2 09-Mar-2011 15:52 8022
rand948.cudf.heavy.error 09-Mar-2011 15:52 43
rand948.cudf.heavy.log 09-Mar-2011 15:52 0
rand948.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7199
rand948.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand948.cudf.heavy.result.bz2 09-Mar-2011 15:52 7487
rand952.cudf.heavy.error 09-Mar-2011 15:52 43
rand952.cudf.heavy.log 09-Mar-2011 15:52 0
rand952.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6528
rand952.cudf.heavy.log.time 09-Mar-2011 15:52 202
rand952.cudf.heavy.result.bz2 09-Mar-2011 15:52 7074
rand957.cudf.heavy.error 09-Mar-2011 15:52 43
rand957.cudf.heavy.log 09-Mar-2011 15:52 0
rand957.cudf.heavy.log.runsolver 09-Mar-2011 15:52 6841
rand957.cudf.heavy.log.time 09-Mar-2011 15:52 200
rand957.cudf.heavy.result.bz2 09-Mar-2011 15:52 7549
rand967.cudf.heavy.error 09-Mar-2011 15:52 43
rand967.cudf.heavy.log 09-Mar-2011 15:52 0
rand967.cudf.heavy.log.runsolver 09-Mar-2011 15:52 7409
rand967.cudf.heavy.log.time 09-Mar-2011 15:52 203
rand967.cudf.heavy.result.bz2 09-Mar-2011 15:52 8477
rand992.cudf.heavy.error 09-Mar-2011 15:52 43
rand992.cudf.heavy.log 09-Mar-2011 15:52 0
rand992.cudf.heavy.log.runsolver 09-Mar-2011 15:52 11567
rand992.cudf.heavy.log.time 09-Mar-2011 15:52 201
rand992.cudf.heavy.result.bz2 09-Mar-2011 15:52 7520