From 58a5f8bb0c5aede0fa5dc58215b99952ec85bb94 Mon Sep 17 00:00:00 2001 From: stephey Date: Fri, 12 Nov 2010 06:02:22 +0000 Subject: [PATCH] Added a generated labyrinth input file that provides a big win for RCR by inverting the grid dimentions so that RCR does less checks. Should be as valid as random-x512-y512-z7-n512.txt since a 512x512x7 grid can be treated as a 7x512x512 or 512x7x512 grid. Averaged running times: Single-3m:53s, ooo-41s, rcr-30s --- .../inputs/random-x7-y512-z512-n512.txt | 516 ++++++++++++++++++ 1 file changed, 516 insertions(+) create mode 100644 Robust/src/Benchmarks/oooJava/labyrinth/inputs/random-x7-y512-z512-n512.txt diff --git a/Robust/src/Benchmarks/oooJava/labyrinth/inputs/random-x7-y512-z512-n512.txt b/Robust/src/Benchmarks/oooJava/labyrinth/inputs/random-x7-y512-z512-n512.txt new file mode 100644 index 00000000..663eb4f7 --- /dev/null +++ b/Robust/src/Benchmarks/oooJava/labyrinth/inputs/random-x7-y512-z512-n512.txt @@ -0,0 +1,516 @@ +# Dimensions (x, y, z) +d 7 512 512 + +# Paths: Sources (x, y, z) -> Destinations (x, y, z) +p 5 388 215 1 261 207 +p 5 155 244 4 464 258 +p 1 386 316 1 465 503 +p 5 461 158 5 460 350 +p 3 51 222 4 467 494 +p 3 443 133 5 280 7 +p 5 204 422 4 0 252 +p 6 124 166 6 97 290 +p 1 495 411 3 41 163 +p 3 477 55 3 361 280 +p 5 276 493 4 300 227 +p 4 197 294 2 96 95 +p 4 336 243 0 387 448 +p 6 431 459 6 276 200 +p 4 141 415 5 458 301 +p 6 296 230 4 510 469 +p 5 42 313 3 322 432 +p 1 374 59 1 406 170 +p 5 51 74 4 23 293 +p 6 273 348 0 325 310 +p 4 200 189 6 18 11 +p 6 94 63 1 409 479 +p 0 217 51 1 113 331 +p 2 92 257 0 51 505 +p 1 183 374 5 470 86 +p 4 494 29 4 432 175 +p 1 305 226 1 241 209 +p 3 260 159 2 428 128 +p 3 6 379 2 23 143 +p 1 488 180 2 183 484 +p 4 317 366 2 212 333 +p 0 98 171 1 326 193 +p 6 290 212 2 359 214 +p 4 23 228 1 80 270 +p 3 287 386 6 253 159 +p 3 414 448 5 96 511 +p 4 42 371 6 205 347 +p 2 109 367 0 421 270 +p 0 60 332 6 143 500 +p 0 437 203 0 140 231 +p 5 441 68 3 333 177 +p 6 142 9 0 348 285 +p 6 480 465 0 383 359 +p 4 364 462 4 190 275 +p 1 300 4 1 170 404 +p 5 173 317 0 83 502 +p 2 202 280 2 244 122 +p 0 91 267 0 206 168 +p 2 50 465 3 430 499 +p 2 245 358 2 154 376 +p 6 470 320 2 498 327 +p 0 43 383 0 4 201 +p 3 229 250 4 347 216 +p 2 506 133 5 220 183 +p 0 442 359 6 231 346 +p 0 203 106 0 485 110 +p 1 101 193 3 77 506 +p 6 75 207 4 449 253 +p 6 165 255 3 343 103 +p 4 112 174 6 460 418 +p 0 75 131 5 431 298 +p 5 413 33 0 444 20 +p 1 20 7 5 169 82 +p 1 335 495 3 461 257 +p 4 347 412 5 507 382 +p 6 105 274 4 422 246 +p 5 198 300 5 408 336 +p 0 93 259 1 33 440 +p 6 155 208 5 31 328 +p 0 146 424 0 18 213 +p 3 442 367 4 77 505 +p 2 313 197 0 241 77 +p 0 316 322 0 281 177 +p 2 397 251 6 312 239 +p 4 172 63 4 318 403 +p 0 466 409 6 446 348 +p 5 265 402 1 400 227 +p 5 233 404 0 22 478 +p 3 461 483 4 292 110 +p 0 419 455 5 357 215 +p 2 58 218 3 472 479 +p 2 50 396 5 15 228 +p 4 15 470 6 369 40 +p 0 183 15 2 5 498 +p 5 36 457 1 104 344 +p 6 63 3 2 12 309 +p 6 95 57 2 491 66 +p 6 185 242 2 479 490 +p 4 94 508 0 297 80 +p 6 484 411 2 124 386 +p 2 214 23 0 10 39 +p 0 215 281 5 72 216 +p 4 43 227 2 485 29 +p 2 213 372 2 104 150 +p 3 486 407 1 285 352 +p 5 228 204 5 221 126 +p 3 479 72 3 326 247 +p 1 0 357 4 3 152 +p 5 322 279 1 361 241 +p 4 389 118 5 143 503 +p 0 452 20 1 269 297 +p 2 52 129 1 386 465 +p 4 18 405 2 174 271 +p 1 471 83 2 148 266 +p 4 321 272 2 324 206 +p 5 403 149 2 321 80 +p 4 195 302 0 342 181 +p 3 212 244 4 162 333 +p 0 153 381 0 318 13 +p 3 454 5 3 34 443 +p 4 379 342 0 21 317 +p 6 447 358 5 116 384 +p 2 53 235 2 86 215 +p 6 222 229 4 268 66 +p 6 227 404 2 413 199 +p 1 100 481 4 25 198 +p 1 43 95 0 326 88 +p 4 313 360 3 145 449 +p 2 234 323 3 489 488 +p 6 478 297 3 360 110 +p 1 22 83 0 335 71 +p 5 348 496 2 471 232 +p 2 52 452 5 165 233 +p 2 14 22 2 107 268 +p 1 103 344 5 159 440 +p 1 176 364 0 478 37 +p 3 370 24 5 501 235 +p 0 41 50 5 211 470 +p 3 39 218 5 424 20 +p 1 250 65 6 478 163 +p 3 285 146 3 103 151 +p 3 309 274 1 118 60 +p 5 50 375 1 145 376 +p 4 379 263 6 62 330 +p 0 377 183 4 360 338 +p 1 425 122 3 345 119 +p 4 146 87 5 283 167 +p 4 12 66 2 499 261 +p 0 391 400 5 291 356 +p 1 375 417 5 180 302 +p 4 461 55 5 269 183 +p 3 6 112 4 338 253 +p 6 246 160 5 132 309 +p 4 420 402 2 30 19 +p 5 492 175 3 371 336 +p 1 343 156 2 276 374 +p 1 11 321 0 23 115 +p 4 34 31 6 216 456 +p 1 222 183 1 168 505 +p 5 195 209 1 272 376 +p 4 236 21 6 209 199 +p 0 70 444 3 375 75 +p 2 430 420 1 11 412 +p 1 403 350 1 40 474 +p 4 317 234 1 308 129 +p 5 375 13 6 18 45 +p 2 77 120 2 376 207 +p 1 252 201 2 461 281 +p 6 395 292 1 351 233 +p 5 206 253 0 378 17 +p 4 297 397 2 351 106 +p 3 174 500 6 106 289 +p 2 495 473 4 368 348 +p 2 469 460 2 382 4 +p 5 289 487 2 320 165 +p 5 307 505 0 72 22 +p 0 475 485 3 484 419 +p 5 382 96 3 217 486 +p 1 86 337 1 56 258 +p 5 309 386 1 145 219 +p 6 367 484 3 283 506 +p 1 400 405 5 384 79 +p 4 472 288 2 486 287 +p 2 314 411 1 8 270 +p 6 348 323 4 254 374 +p 1 456 140 6 474 39 +p 3 380 230 3 413 360 +p 6 84 472 6 324 481 +p 1 451 396 4 46 15 +p 0 128 390 2 397 320 +p 2 450 19 3 424 64 +p 4 167 12 3 267 21 +p 3 177 2 1 56 276 +p 0 475 432 6 161 463 +p 6 391 140 4 304 206 +p 2 30 64 0 246 328 +p 5 23 421 0 284 381 +p 4 486 176 4 42 286 +p 5 103 133 4 129 132 +p 6 511 79 6 282 19 +p 4 328 17 5 418 36 +p 4 233 122 3 81 170 +p 4 243 284 3 420 175 +p 5 40 218 2 231 426 +p 3 505 441 0 162 11 +p 5 9 453 1 211 31 +p 2 199 26 5 364 183 +p 5 39 27 2 461 387 +p 4 288 411 2 15 410 +p 1 198 183 0 179 90 +p 4 334 6 3 283 446 +p 3 41 26 6 404 439 +p 1 331 49 5 170 489 +p 3 16 465 4 146 18 +p 2 80 280 1 89 471 +p 4 124 449 4 484 247 +p 6 347 22 1 144 87 +p 1 115 449 3 448 70 +p 3 6 476 0 199 410 +p 6 9 421 3 19 397 +p 0 313 398 4 194 13 +p 3 467 170 1 70 261 +p 3 37 208 4 494 220 +p 3 241 115 2 330 203 +p 4 427 510 6 190 11 +p 4 242 121 0 164 408 +p 6 54 449 0 365 13 +p 2 445 201 6 365 309 +p 1 174 210 4 509 145 +p 3 477 176 4 392 322 +p 5 100 490 1 298 151 +p 4 149 220 4 137 372 +p 2 67 313 1 220 203 +p 0 363 348 5 278 283 +p 1 106 116 3 419 182 +p 6 376 366 2 60 492 +p 5 209 441 6 175 256 +p 2 355 467 6 380 156 +p 6 508 177 6 261 493 +p 6 416 349 1 2 304 +p 4 478 264 4 331 104 +p 4 502 56 4 314 192 +p 5 5 456 5 246 55 +p 3 299 129 3 397 472 +p 3 423 39 5 471 86 +p 5 434 449 3 311 106 +p 4 207 10 0 198 453 +p 3 469 475 0 301 171 +p 3 233 245 0 426 251 +p 4 242 92 3 81 436 +p 5 73 35 0 201 487 +p 3 135 117 0 72 415 +p 0 442 421 0 286 3 +p 6 285 386 3 353 476 +p 3 447 175 0 2 116 +p 5 159 115 3 484 260 +p 2 39 293 1 188 195 +p 5 118 479 5 246 450 +p 2 196 66 5 205 256 +p 3 335 191 6 221 183 +p 2 392 508 6 245 149 +p 3 176 124 1 489 255 +p 0 196 199 3 501 500 +p 3 316 345 3 249 161 +p 4 47 162 6 116 495 +p 6 294 20 0 102 167 +p 0 408 186 1 22 195 +p 0 59 309 6 102 379 +p 1 0 459 5 34 90 +p 1 475 195 5 223 195 +p 5 315 137 4 360 423 +p 4 328 305 0 483 365 +p 1 354 317 4 194 293 +p 4 103 260 0 54 466 +p 0 457 240 3 173 213 +p 2 289 171 5 119 127 +p 3 478 12 5 3 207 +p 5 228 219 1 243 116 +p 1 334 306 6 496 267 +p 0 153 265 4 484 79 +p 0 445 412 5 239 347 +p 2 98 200 5 410 492 +p 6 349 266 5 93 472 +p 4 304 222 4 316 460 +p 3 109 225 1 463 431 +p 3 100 22 0 226 345 +p 1 350 441 5 217 330 +p 6 453 173 4 83 285 +p 2 224 224 4 433 239 +p 1 386 384 6 201 237 +p 3 456 360 0 106 437 +p 4 447 210 1 2 509 +p 0 329 250 2 275 40 +p 6 252 7 2 387 159 +p 5 392 122 6 14 442 +p 3 78 132 4 142 429 +p 1 196 259 2 421 135 +p 0 79 320 3 32 508 +p 3 163 373 0 222 340 +p 6 389 453 0 220 16 +p 1 196 176 2 411 97 +p 5 277 173 3 82 253 +p 0 441 169 2 509 314 +p 2 404 34 3 266 440 +p 4 248 266 5 177 285 +p 4 509 355 6 204 311 +p 5 178 137 6 178 511 +p 5 110 424 6 141 340 +p 5 42 419 2 361 486 +p 0 313 149 0 364 501 +p 3 177 229 2 272 209 +p 0 501 510 1 123 223 +p 4 16 427 4 137 445 +p 4 162 280 6 24 362 +p 5 354 71 4 402 214 +p 4 129 160 5 250 229 +p 0 191 266 1 413 196 +p 1 157 422 6 491 7 +p 5 269 63 1 144 206 +p 3 479 29 4 437 182 +p 1 113 154 1 282 128 +p 0 119 420 2 452 483 +p 1 286 451 4 86 126 +p 6 153 444 5 379 369 +p 5 433 31 1 258 108 +p 3 252 64 0 5 422 +p 0 492 503 5 230 141 +p 2 176 202 5 456 80 +p 1 107 23 5 261 34 +p 3 230 398 5 68 320 +p 3 6 75 4 187 493 +p 3 352 68 3 375 426 +p 1 203 242 3 243 151 +p 5 467 178 4 194 296 +p 4 256 345 5 431 96 +p 1 263 260 5 264 460 +p 5 259 423 3 174 221 +p 3 333 26 5 495 234 +p 0 103 52 1 406 0 +p 6 481 94 1 494 184 +p 5 4 507 0 311 475 +p 5 158 420 2 255 185 +p 2 298 400 4 393 7 +p 3 180 106 6 100 94 +p 1 336 313 3 300 481 +p 6 463 27 6 16 331 +p 6 257 214 2 469 474 +p 4 365 173 0 501 336 +p 1 500 311 2 458 39 +p 5 81 55 1 365 311 +p 2 81 472 5 351 416 +p 5 57 395 5 382 246 +p 4 51 391 1 401 325 +p 3 274 38 0 7 397 +p 0 62 197 6 453 160 +p 5 43 200 4 504 24 +p 2 470 14 4 204 286 +p 4 208 456 6 504 28 +p 5 449 74 6 65 106 +p 6 425 295 2 129 206 +p 0 325 26 5 35 5 +p 1 395 426 3 480 58 +p 2 379 165 1 296 32 +p 2 129 169 3 274 43 +p 2 196 206 3 218 37 +p 1 329 424 3 75 36 +p 1 196 289 4 268 289 +p 2 340 372 2 417 380 +p 6 238 176 5 19 196 +p 6 175 262 1 39 56 +p 3 316 279 3 57 20 +p 2 482 92 1 247 468 +p 6 0 331 1 335 380 +p 6 349 433 5 82 22 +p 5 269 510 1 197 147 +p 6 247 467 4 511 307 +p 6 88 226 4 500 290 +p 6 321 262 2 188 151 +p 1 492 274 6 453 482 +p 1 172 324 2 73 389 +p 3 274 363 0 472 245 +p 4 307 309 4 45 254 +p 1 199 262 2 208 374 +p 0 489 309 1 285 41 +p 3 352 214 2 344 478 +p 6 197 442 0 30 503 +p 5 314 286 2 460 436 +p 3 112 346 5 509 404 +p 0 506 437 4 169 375 +p 4 49 288 0 403 421 +p 5 46 301 2 65 456 +p 6 472 271 6 101 151 +p 6 302 115 0 116 253 +p 2 376 138 0 459 339 +p 6 93 445 0 275 245 +p 0 417 138 6 358 436 +p 6 405 377 0 73 106 +p 4 1 65 3 21 163 +p 1 89 162 6 118 332 +p 5 345 96 2 139 275 +p 6 111 282 0 192 488 +p 6 48 436 5 469 235 +p 2 458 274 5 90 35 +p 3 167 262 2 441 376 +p 2 64 363 3 77 17 +p 4 264 294 2 239 200 +p 0 274 62 4 383 85 +p 1 123 306 2 454 280 +p 3 111 46 6 51 66 +p 1 295 327 3 202 328 +p 1 409 327 4 14 176 +p 5 105 329 6 225 265 +p 1 3 121 3 309 427 +p 2 168 368 4 365 449 +p 0 63 254 4 334 117 +p 0 471 122 0 144 264 +p 4 378 74 3 163 371 +p 2 415 98 6 266 217 +p 5 193 18 3 147 338 +p 3 425 250 1 76 293 +p 1 108 482 0 469 274 +p 6 429 153 3 43 187 +p 6 51 125 0 440 349 +p 4 238 133 4 359 406 +p 1 320 347 4 372 265 +p 6 332 321 0 73 307 +p 5 73 326 1 390 420 +p 4 34 143 1 239 399 +p 4 507 362 0 501 30 +p 2 326 199 0 151 123 +p 5 303 73 6 109 163 +p 6 391 215 3 501 363 +p 5 335 505 6 152 227 +p 4 121 331 6 156 188 +p 3 197 329 0 397 146 +p 4 217 312 3 264 82 +p 0 54 197 1 248 241 +p 3 67 254 6 88 7 +p 2 362 440 0 15 158 +p 4 471 169 5 65 328 +p 1 389 467 3 351 181 +p 5 209 299 6 285 231 +p 0 486 268 4 335 121 +p 4 49 29 5 307 154 +p 3 285 347 0 73 47 +p 5 231 101 2 342 236 +p 3 480 204 0 54 371 +p 2 58 398 6 52 315 +p 5 125 428 4 227 84 +p 1 424 85 4 292 287 +p 0 62 158 4 195 131 +p 2 237 304 3 188 217 +p 5 301 496 4 145 262 +p 3 436 377 6 367 129 +p 1 83 450 6 165 11 +p 3 403 359 4 10 52 +p 5 419 93 5 487 308 +p 3 16 211 3 488 225 +p 0 290 34 6 337 368 +p 4 481 207 1 40 11 +p 3 380 378 0 315 425 +p 6 394 214 4 359 32 +p 0 177 329 2 330 389 +p 5 144 497 3 321 325 +p 4 78 345 3 495 365 +p 6 507 427 4 307 240 +p 2 214 467 4 87 19 +p 3 225 33 1 169 192 +p 4 79 420 3 35 50 +p 6 16 332 1 334 505 +p 6 223 220 2 225 490 +p 0 245 458 0 59 417 +p 1 408 154 0 419 169 +p 3 30 333 5 112 477 +p 4 280 105 6 217 21 +p 6 188 150 0 16 22 +p 6 444 240 0 71 485 +p 3 407 39 0 397 59 +p 5 478 221 0 367 228 +p 3 454 276 0 190 435 +p 3 41 259 0 450 127 +p 5 509 458 3 165 357 +p 3 465 123 4 78 207 +p 5 186 145 2 191 4 +p 1 379 354 4 70 59 +p 3 247 64 6 418 446 +p 1 336 416 2 504 48 +p 5 74 128 1 59 343 +p 1 409 393 6 396 506 +p 3 16 169 2 494 215 +p 1 409 470 0 502 370 +p 6 332 3 4 116 506 +p 6 440 362 1 474 421 +p 4 87 102 3 303 208 +p 5 347 132 0 310 168 +p 6 119 280 1 494 329 +p 5 456 232 3 230 316 +p 2 420 186 5 8 186 +p 3 461 369 5 325 461 +p 5 323 471 5 7 444 +p 1 383 211 2 78 219 +p 6 423 377 4 109 32 +p 6 465 1 6 383 50 +p 1 90 131 6 215 275 +p 2 237 128 2 129 145 +p 4 11 479 3 257 216 +p 5 389 369 6 212 43 +p 5 364 13 3 414 485 +p 2 241 227 5 360 243 +p 1 300 12 2 157 34 +p 0 403 232 0 478 161 +p 3 355 79 5 432 251 +p 4 370 507 5 184 261 +p 2 273 458 0 457 258 +p 1 478 99 0 241 293 +p 0 321 288 3 41 182 +p 0 239 189 2 451 319 +p 0 336 510 2 394 336 +p 3 207 109 2 136 248 +p 4 454 74 5 390 321 +p 1 36 70 2 149 414 +p 2 83 499 4 411 254 -- 2.34.1