Wrap text
|
|
Pivot strategy
Rehearsal ----------------------------------------------------------------------
6 numbers at 5 median threshold 0.000350 0.000000 0.000350 ( 0.000359)
6 numbers at 10 median threshold 0.000276 0.000000 0.000276 ( 0.000282)
6 numbers at 25 median threshold 0.000268 0.000000 0.000268 ( 0.000272)
6 numbers at 50 median threshold 0.000277 0.000000 0.000277 ( 0.000284)
6 numbers at 100 median threshold 0.000266 0.000000 0.000266 ( 0.000269)
6 numbers at 125 median threshold 0.000266 0.000000 0.000266 ( 0.000269)
6 numbers at 175 median threshold 0.000267 0.000000 0.000267 ( 0.000271)
6 numbers at 250 median threshold 0.000263 0.000000 0.000263 ( 0.000267)
6 numbers at 500 median threshold 0.000266 0.000000 0.000266 ( 0.000269)
6 numbers at 750 median threshold 0.000266 0.000000 0.000266 ( 0.000268)
6 numbers at 1000 median threshold 0.000261 0.000000 0.000261 ( 0.000264)
6 numbers at 1500 median threshold 0.000293 0.000000 0.000293 ( 0.000295)
------------------------------------------------------------- total: 0.003319sec
user system total real
6 numbers at 5 median threshold 0.000313 0.000000 0.000313 ( 0.000320)
6 numbers at 10 median threshold 0.000312 0.000000 0.000312 ( 0.000320)
6 numbers at 25 median threshold 0.000316 0.000000 0.000316 ( 0.000324)
6 numbers at 50 median threshold 0.000318 0.000000 0.000318 ( 0.000325)
6 numbers at 100 median threshold 0.000314 0.000000 0.000314 ( 0.000322)
6 numbers at 125 median threshold 0.000314 0.000000 0.000314 ( 0.000321)
6 numbers at 175 median threshold 0.000315 0.000000 0.000315 ( 0.000339)
6 numbers at 250 median threshold 0.000349 0.000000 0.000349 ( 0.000356)
6 numbers at 500 median threshold 0.000344 0.000000 0.000344 ( 0.000352)
6 numbers at 750 median threshold 0.000335 0.000000 0.000335 ( 0.000342)
6 numbers at 1000 median threshold 0.000318 0.000000 0.000318 ( 0.000324)
6 numbers at 1500 median threshold 0.000316 0.000000 0.000316 ( 0.000324)
Rehearsal ---------------------------------------------------------------------
6 numbers at 55 median threshold 0.000287 0.000000 0.000287 ( 0.000293)
6 numbers at 75 median threshold 0.000261 0.000000 0.000261 ( 0.000265)
6 numbers at 85 median threshold 0.000265 0.000000 0.000265 ( 0.000269)
6 numbers at 95 median threshold 0.000264 0.000000 0.000264 ( 0.000267)
6 numbers at 105 median threshold 0.000268 0.000000 0.000268 ( 0.000274)
6 numbers at 125 median threshold 0.000313 0.000000 0.000313 ( 0.000314)
6 numbers at 495 median threshold 0.000263 0.000000 0.000263 ( 0.000266)
6 numbers at 500 median threshold 0.000265 0.000000 0.000265 ( 0.000269)
6 numbers at 505 median threshold 0.000257 0.000000 0.000257 ( 0.000259)
6 numbers at 525 median threshold 0.000314 0.000000 0.000314 ( 0.000316)
------------------------------------------------------------ total: 0.002757sec
user system total real
6 numbers at 55 median threshold 0.000311 0.000000 0.000311 ( 0.000319)
6 numbers at 75 median threshold 0.000348 0.000000 0.000348 ( 0.000354)
6 numbers at 85 median threshold 0.000316 0.000000 0.000316 ( 0.000324)
6 numbers at 95 median threshold 0.000351 0.000000 0.000351 ( 0.000364)
6 numbers at 105 median threshold 0.000319 0.000000 0.000319 ( 0.000328)
6 numbers at 125 median threshold 0.000319 0.000000 0.000319 ( 0.000327)
6 numbers at 495 median threshold 0.000317 0.000000 0.000317 ( 0.000324)
6 numbers at 500 median threshold 0.000317 0.000000 0.000317 ( 0.000325)
6 numbers at 505 median threshold 0.000319 0.000000 0.000319 ( 0.000327)
6 numbers at 525 median threshold 0.000319 0.000000 0.000319 ( 0.000326)
Rehearsal -----------------------------------------------------------------------
18 numbers at 5 median threshold 0.000358 0.000000 0.000358 ( 0.000366)
18 numbers at 10 median threshold 0.000371 0.000000 0.000371 ( 0.000375)
18 numbers at 25 median threshold 0.000377 0.000000 0.000377 ( 0.000382)
18 numbers at 50 median threshold 0.000382 0.000000 0.000382 ( 0.000386)
18 numbers at 100 median threshold 0.000402 0.000000 0.000402 ( 0.000405)
18 numbers at 125 median threshold 0.000327 0.000000 0.000327 ( 0.000329)
18 numbers at 175 median threshold 0.000331 0.000000 0.000331 ( 0.000333)
18 numbers at 250 median threshold 0.000331 0.000000 0.000331 ( 0.000335)
18 numbers at 500 median threshold 0.000365 0.000000 0.000365 ( 0.000368)
18 numbers at 750 median threshold 0.000365 0.000000 0.000365 ( 0.000368)
18 numbers at 1000 median threshold 0.000379 0.000000 0.000379 ( 0.000382)
18 numbers at 1500 median threshold 0.000338 0.000000 0.000338 ( 0.000342)
-------------------------------------------------------------- total: 0.004326sec
user system total real
18 numbers at 5 median threshold 0.000434 0.000000 0.000434 ( 0.000441)
18 numbers at 10 median threshold 0.000453 0.000000 0.000453 ( 0.000460)
18 numbers at 25 median threshold 0.000383 0.000000 0.000383 ( 0.000391)
18 numbers at 50 median threshold 0.000432 0.000000 0.000432 ( 0.000439)
18 numbers at 100 median threshold 0.000421 0.000000 0.000421 ( 0.000427)
18 numbers at 125 median threshold 0.000375 0.000000 0.000375 ( 0.000382)
18 numbers at 175 median threshold 0.000344 0.000000 0.000344 ( 0.000353)
18 numbers at 250 median threshold 0.000462 0.000000 0.000462 ( 0.000469)
18 numbers at 500 median threshold 0.000375 0.000000 0.000375 ( 0.000382)
18 numbers at 750 median threshold 0.000425 0.000000 0.000425 ( 0.000430)
18 numbers at 1000 median threshold 0.000451 0.000000 0.000451 ( 0.000459)
18 numbers at 1500 median threshold 0.000441 0.000000 0.000441 ( 0.000450)
Rehearsal ----------------------------------------------------------------------
18 numbers at 55 median threshold 0.000396 0.000000 0.000396 ( 0.000349)
18 numbers at 75 median threshold 0.000327 0.000000 0.000327 ( 0.000330)
18 numbers at 85 median threshold 0.000390 0.000000 0.000390 ( 0.000390)
18 numbers at 95 median threshold 0.000380 0.000000 0.000380 ( 0.000382)
18 numbers at 105 median threshold 0.000289 0.000000 0.000289 ( 0.000294)
18 numbers at 125 median threshold 0.000345 0.000000 0.000345 ( 0.000348)
18 numbers at 495 median threshold 0.000374 0.000000 0.000374 ( 0.000379)
18 numbers at 500 median threshold 0.000386 0.000000 0.000386 ( 0.000390)
18 numbers at 505 median threshold 0.000381 0.000000 0.000381 ( 0.000385)
18 numbers at 525 median threshold 0.000311 0.000000 0.000311 ( 0.000314)
------------------------------------------------------------- total: 0.003579sec
user system total real
18 numbers at 55 median threshold 0.000414 0.000000 0.000414 ( 0.000421)
18 numbers at 75 median threshold 0.000387 0.000000 0.000387 ( 0.000395)
18 numbers at 85 median threshold 0.000415 0.000000 0.000415 ( 0.000422)
18 numbers at 95 median threshold 0.000436 0.000000 0.000436 ( 0.000443)
18 numbers at 105 median threshold 0.000418 0.000000 0.000418 ( 0.000426)
18 numbers at 125 median threshold 0.000439 0.000000 0.000439 ( 0.000447)
18 numbers at 495 median threshold 0.000348 0.000000 0.000348 ( 0.000357)
18 numbers at 500 median threshold 0.000375 0.000000 0.000375 ( 0.000383)
18 numbers at 505 median threshold 0.000419 0.000000 0.000419 ( 0.000482)
18 numbers at 525 median threshold 0.000439 0.000000 0.000439 ( 0.000446)
Rehearsal -----------------------------------------------------------------------
42 numbers at 5 median threshold 0.000781 0.000000 0.000781 ( 0.000788)
42 numbers at 10 median threshold 0.000305 0.000000 0.000305 ( 0.000308)
42 numbers at 25 median threshold 0.000312 0.000000 0.000312 ( 0.000316)
42 numbers at 50 median threshold 0.000348 0.000000 0.000348 ( 0.000351)
42 numbers at 100 median threshold 0.000415 0.000000 0.000415 ( 0.000416)
42 numbers at 125 median threshold 0.000355 0.000000 0.000355 ( 0.000357)
42 numbers at 175 median threshold 0.000403 0.000000 0.000403 ( 0.000407)
42 numbers at 250 median threshold 0.000312 0.000000 0.000312 ( 0.000316)
42 numbers at 500 median threshold 0.000694 0.000000 0.000694 ( 0.000696)
42 numbers at 750 median threshold 0.000778 0.000000 0.000778 ( 0.000781)
42 numbers at 1000 median threshold 0.000661 0.000000 0.000661 ( 0.000664)
42 numbers at 1500 median threshold 0.000707 0.000000 0.000707 ( 0.000712)
-------------------------------------------------------------- total: 0.006071sec
user system total real
42 numbers at 5 median threshold 0.000361 0.000000 0.000361 ( 0.000368)
42 numbers at 10 median threshold 0.000364 0.000000 0.000364 ( 0.000372)
42 numbers at 25 median threshold 0.000412 0.000000 0.000412 ( 0.000420)
42 numbers at 50 median threshold 0.000859 0.000000 0.000859 ( 0.000867)
42 numbers at 100 median threshold 0.000364 0.000000 0.000364 ( 0.000371)
42 numbers at 125 median threshold 0.000381 0.000000 0.000381 ( 0.000387)
42 numbers at 175 median threshold 0.000718 0.000000 0.000718 ( 0.000726)
42 numbers at 250 median threshold 0.000414 0.000000 0.000414 ( 0.000422)
42 numbers at 500 median threshold 0.000366 0.000000 0.000366 ( 0.000373)
42 numbers at 750 median threshold 0.000757 0.000000 0.000757 ( 0.000764)
42 numbers at 1000 median threshold 0.000368 0.000000 0.000368 ( 0.000375)
42 numbers at 1500 median threshold 0.000368 0.000000 0.000368 ( 0.000376)
Rehearsal ----------------------------------------------------------------------
42 numbers at 55 median threshold 0.000853 0.000000 0.000853 ( 0.000859)
42 numbers at 75 median threshold 0.000878 0.000000 0.000878 ( 0.000880)
42 numbers at 85 median threshold 0.000310 0.000000 0.000310 ( 0.000315)
42 numbers at 95 median threshold 0.000303 0.000000 0.000303 ( 0.000306)
42 numbers at 105 median threshold 0.000343 0.000000 0.000343 ( 0.000347)
42 numbers at 125 median threshold 0.000465 0.000000 0.000465 ( 0.000467)
42 numbers at 495 median threshold 0.000326 0.000000 0.000326 ( 0.000329)
42 numbers at 500 median threshold 0.000303 0.000000 0.000303 ( 0.000305)
42 numbers at 505 median threshold 0.000380 0.000000 0.000380 ( 0.000383)
42 numbers at 525 median threshold 0.000814 0.000000 0.000814 ( 0.000815)
------------------------------------------------------------- total: 0.004975sec
user system total real
42 numbers at 55 median threshold 0.000363 0.000000 0.000363 ( 0.000370)
42 numbers at 75 median threshold 0.000858 0.000000 0.000858 ( 0.000868)
42 numbers at 85 median threshold 0.000835 0.000000 0.000835 ( 0.000843)
42 numbers at 95 median threshold 0.000403 0.000000 0.000403 ( 0.000443)
42 numbers at 105 median threshold 0.000737 0.000000 0.000737 ( 0.000745)
42 numbers at 125 median threshold 0.000814 0.000000 0.000814 ( 0.000823)
42 numbers at 495 median threshold 0.000824 0.000000 0.000824 ( 0.000832)
42 numbers at 500 median threshold 0.000369 0.000000 0.000369 ( 0.000377)
42 numbers at 505 median threshold 0.000368 0.000000 0.000368 ( 0.000377)
42 numbers at 525 median threshold 0.000404 0.000000 0.000404 ( 0.000413)
Rehearsal -----------------------------------------------------------------------
60 numbers at 5 median threshold 0.000487 0.000000 0.000487 ( 0.000494)
60 numbers at 10 median threshold 0.000321 0.000000 0.000321 ( 0.000323)
60 numbers at 25 median threshold 0.000601 0.000000 0.000601 ( 0.000607)
60 numbers at 50 median threshold 0.000579 0.000000 0.000579 ( 0.000582)
60 numbers at 100 median threshold 0.000330 0.000000 0.000330 ( 0.000333)
60 numbers at 125 median threshold 0.000396 0.000000 0.000396 ( 0.000376)
60 numbers at 175 median threshold 0.000531 0.000000 0.000531 ( 0.000534)
60 numbers at 250 median threshold 0.001841 0.000000 0.001841 ( 0.001822)
60 numbers at 500 median threshold 0.000563 0.000000 0.000563 ( 0.000568)
60 numbers at 750 median threshold 0.000334 0.000000 0.000334 ( 0.000338)
60 numbers at 1000 median threshold 0.001575 0.000000 0.001575 ( 0.001577)
60 numbers at 1500 median threshold 0.000328 0.000000 0.000328 ( 0.000331)
-------------------------------------------------------------- total: 0.007886sec
user system total real
60 numbers at 5 median threshold 0.001503 0.000000 0.001503 ( 0.001513)
60 numbers at 10 median threshold 0.001439 0.000000 0.001439 ( 0.001432)
60 numbers at 25 median threshold 0.000510 0.000000 0.000510 ( 0.000517)
60 numbers at 50 median threshold 0.000389 0.000000 0.000389 ( 0.000397)
60 numbers at 100 median threshold 0.000419 0.000000 0.000419 ( 0.000427)
60 numbers at 125 median threshold 0.000423 0.000000 0.000423 ( 0.000431)
60 numbers at 175 median threshold 0.001719 0.000000 0.001719 ( 0.001726)
60 numbers at 250 median threshold 0.000524 0.000000 0.000524 ( 0.000531)
60 numbers at 500 median threshold 0.000379 0.000000 0.000379 ( 0.000386)
60 numbers at 750 median threshold 0.000619 0.000000 0.000619 ( 0.000626)
60 numbers at 1000 median threshold 0.000391 0.000000 0.000391 ( 0.000398)
60 numbers at 1500 median threshold 0.000381 0.000000 0.000381 ( 0.000390)
Rehearsal ----------------------------------------------------------------------
60 numbers at 55 median threshold 0.000383 0.000000 0.000383 ( 0.000389)
60 numbers at 75 median threshold 0.000400 0.000000 0.000400 ( 0.000403)
60 numbers at 85 median threshold 0.000503 0.000000 0.000503 ( 0.000506)
60 numbers at 95 median threshold 0.000498 0.000000 0.000498 ( 0.000502)
60 numbers at 105 median threshold 0.000489 0.000000 0.000489 ( 0.000491)
60 numbers at 125 median threshold 0.000319 0.000000 0.000319 ( 0.000321)
60 numbers at 495 median threshold 0.000320 0.000000 0.000320 ( 0.000323)
60 numbers at 500 median threshold 0.001395 0.000000 0.001395 ( 0.001399)
60 numbers at 505 median threshold 0.000406 0.000000 0.000406 ( 0.000409)
60 numbers at 525 median threshold 0.000625 0.000000 0.000625 ( 0.000628)
------------------------------------------------------------- total: 0.005338sec
user system total real
60 numbers at 55 median threshold 0.001635 0.000000 0.001635 ( 0.001642)
60 numbers at 75 median threshold 0.000646 0.000000 0.000646 ( 0.000652)
60 numbers at 85 median threshold 0.000418 0.000000 0.000418 ( 0.000459)
60 numbers at 95 median threshold 0.000379 0.000000 0.000379 ( 0.000387)
60 numbers at 105 median threshold 0.001617 0.000000 0.001617 ( 0.001625)
60 numbers at 125 median threshold 0.000383 0.000000 0.000383 ( 0.000391)
60 numbers at 495 median threshold 0.000389 0.000000 0.000389 ( 0.000397)
60 numbers at 500 median threshold 0.000428 0.000000 0.000428 ( 0.000435)
60 numbers at 505 median threshold 0.000576 0.000000 0.000576 ( 0.000584)
60 numbers at 525 median threshold 0.000519 0.000000 0.000519 ( 0.000527)
Rehearsal ------------------------------------------------------------------------
150 numbers at 5 median threshold 0.000621 0.000000 0.000621 ( 0.000627)
150 numbers at 10 median threshold 0.000662 0.000000 0.000662 ( 0.000665)
150 numbers at 25 median threshold 0.001292 0.000000 0.001292 ( 0.001297)
150 numbers at 50 median threshold 0.000778 0.000000 0.000778 ( 0.000781)
150 numbers at 100 median threshold 0.001011 0.000000 0.001011 ( 0.001012)
150 numbers at 125 median threshold 0.008657 0.000000 0.008657 ( 0.008658)
150 numbers at 175 median threshold 0.000418 0.000000 0.000418 ( 0.000421)
150 numbers at 250 median threshold 0.001867 0.000000 0.001867 ( 0.001870)
150 numbers at 500 median threshold 0.000419 0.000000 0.000419 ( 0.000423)
150 numbers at 750 median threshold 0.000422 0.000000 0.000422 ( 0.000425)
150 numbers at 1000 median threshold 0.000408 0.000000 0.000408 ( 0.000412)
150 numbers at 1500 median threshold 0.000404 0.000000 0.000404 ( 0.000407)
--------------------------------------------------------------- total: 0.016959sec
user system total real
150 numbers at 5 median threshold 0.000725 0.000000 0.000725 ( 0.000731)
150 numbers at 10 median threshold 0.000491 0.000000 0.000491 ( 0.000498)
150 numbers at 25 median threshold 0.000488 0.000000 0.000488 ( 0.000496)
150 numbers at 50 median threshold 0.000449 0.000000 0.000449 ( 0.000457)
150 numbers at 100 median threshold 0.001154 0.000000 0.001154 ( 0.001162)
150 numbers at 125 median threshold 0.001235 0.000000 0.001235 ( 0.001242)
150 numbers at 175 median threshold 0.008258 0.000000 0.008258 ( 0.008264)
150 numbers at 250 median threshold 0.001622 0.000000 0.001622 ( 0.001629)
150 numbers at 500 median threshold 0.000479 0.000000 0.000479 ( 0.000487)
150 numbers at 750 median threshold 0.000752 0.000000 0.000752 ( 0.000758)
150 numbers at 1000 median threshold 0.000471 0.000000 0.000471 ( 0.000478)
150 numbers at 1500 median threshold 0.000479 0.000000 0.000479 ( 0.000488)
Rehearsal -----------------------------------------------------------------------
150 numbers at 55 median threshold 0.000421 0.000000 0.000421 ( 0.000426)
150 numbers at 75 median threshold 0.000386 0.000000 0.000386 ( 0.000390)
150 numbers at 85 median threshold 0.001849 0.000000 0.001849 ( 0.001853)
150 numbers at 95 median threshold 0.001245 0.000000 0.001245 ( 0.001248)
150 numbers at 105 median threshold 0.001795 0.000000 0.001795 ( 0.001798)
150 numbers at 125 median threshold 0.000624 0.000000 0.000624 ( 0.000627)
150 numbers at 495 median threshold 0.001072 0.000000 0.001072 ( 0.001075)
150 numbers at 500 median threshold 0.000986 0.000000 0.000986 ( 0.000987)
150 numbers at 505 median threshold 0.000796 0.000000 0.000796 ( 0.000798)
150 numbers at 525 median threshold 0.000469 0.000000 0.000469 ( 0.000472)
-------------------------------------------------------------- total: 0.009643sec
user system total real
150 numbers at 55 median threshold 0.001270 0.000000 0.001270 ( 0.001277)
150 numbers at 75 median threshold 0.001574 0.000000 0.001574 ( 0.001582)
150 numbers at 85 median threshold 0.000501 0.000000 0.000501 ( 0.000509)
150 numbers at 95 median threshold 0.008378 0.000000 0.008378 ( 0.008384)
150 numbers at 105 median threshold 0.000905 0.000000 0.000905 ( 0.000914)
150 numbers at 125 median threshold 0.009172 0.000000 0.009172 ( 0.009179)
150 numbers at 495 median threshold 0.000478 0.000000 0.000478 ( 0.000487)
150 numbers at 500 median threshold 0.000492 0.000000 0.000492 ( 0.000499)
150 numbers at 505 median threshold 0.000686 0.000000 0.000686 ( 0.000694)
150 numbers at 525 median threshold 0.000497 0.000000 0.000497 ( 0.000505)
Rehearsal ------------------------------------------------------------------------
300 numbers at 5 median threshold 0.002935 0.000000 0.002935 ( 0.002940)
300 numbers at 10 median threshold 0.031885 0.000000 0.031885 ( 0.031886)
300 numbers at 25 median threshold 0.008580 0.000000 0.008580 ( 0.008581)
300 numbers at 50 median threshold 0.001293 0.000000 0.001293 ( 0.001297)
300 numbers at 100 median threshold 0.004835 0.000000 0.004835 ( 0.004839)
300 numbers at 125 median threshold 0.003757 0.000000 0.003757 ( 0.003759)
300 numbers at 175 median threshold 0.001260 0.000000 0.001260 ( 0.001263)
300 numbers at 250 median threshold 0.008573 0.000000 0.008573 ( 0.008574)
300 numbers at 500 median threshold 0.003426 0.000000 0.003426 ( 0.003429)
300 numbers at 750 median threshold 0.000562 0.000000 0.000562 ( 0.000565)
300 numbers at 1000 median threshold 0.003266 0.000000 0.003266 ( 0.003269)
300 numbers at 1500 median threshold 0.000464 0.000000 0.000464 ( 0.000467)
--------------------------------------------------------------- total: 0.070836sec
user system total real
300 numbers at 5 median threshold 0.000567 0.000000 0.000567 ( 0.000572)
300 numbers at 10 median threshold 0.000639 0.000000 0.000639 ( 0.000647)
300 numbers at 25 median threshold 0.032069 0.000000 0.032069 ( 0.032074)
300 numbers at 50 median threshold 0.000571 0.000000 0.000571 ( 0.000579)
300 numbers at 100 median threshold 0.000611 0.000000 0.000611 ( 0.000619)
300 numbers at 125 median threshold 0.000615 0.000000 0.000615 ( 0.000622)
300 numbers at 175 median threshold 0.002787 0.000000 0.002787 ( 0.002794)
300 numbers at 250 median threshold 0.002387 0.000000 0.002387 ( 0.002395)
300 numbers at 500 median threshold 0.008281 0.000000 0.008281 ( 0.008287)
300 numbers at 750 median threshold 0.000547 0.000000 0.000547 ( 0.000555)
300 numbers at 1000 median threshold 0.009124 0.000000 0.009124 ( 0.009130)
300 numbers at 1500 median threshold 0.000562 0.000000 0.000562 ( 0.000570)
Rehearsal -----------------------------------------------------------------------
300 numbers at 55 median threshold 0.005264 0.000000 0.005264 ( 0.005267)
300 numbers at 75 median threshold 0.000592 0.000000 0.000592 ( 0.000595)
300 numbers at 85 median threshold 0.006313 0.000000 0.006313 ( 0.006315)
300 numbers at 95 median threshold 0.005940 0.000000 0.005940 ( 0.005942)
300 numbers at 105 median threshold 0.000561 0.000000 0.000561 ( 0.000564)
300 numbers at 125 median threshold 0.000462 0.000000 0.000462 ( 0.000465)
300 numbers at 495 median threshold 0.000931 0.000000 0.000931 ( 0.000934)
300 numbers at 500 median threshold 0.004748 0.000000 0.004748 ( 0.004749)
300 numbers at 505 median threshold 0.000576 0.000000 0.000576 ( 0.000580)
300 numbers at 525 median threshold 0.001752 0.000000 0.001752 ( 0.001757)
-------------------------------------------------------------- total: 0.027139sec
user system total real
300 numbers at 55 median threshold 0.000711 0.000000 0.000711 ( 0.000719)
300 numbers at 75 median threshold 0.002381 0.000000 0.002381 ( 0.002388)
300 numbers at 85 median threshold 0.000546 0.000000 0.000546 ( 0.000553)
300 numbers at 95 median threshold 0.000596 0.000000 0.000596 ( 0.000602)
300 numbers at 105 median threshold 0.000587 0.000000 0.000587 ( 0.000595)
300 numbers at 125 median threshold 0.000602 0.000000 0.000602 ( 0.000610)
300 numbers at 495 median threshold 0.000603 0.000000 0.000603 ( 0.000610)
300 numbers at 500 median threshold 0.000541 0.000000 0.000541 ( 0.000550)
300 numbers at 505 median threshold 0.000633 0.000000 0.000633 ( 0.000641)
300 numbers at 525 median threshold 0.002611 0.000000 0.002611 ( 0.002619)
Rehearsal ------------------------------------------------------------------------
396 numbers at 5 median threshold 0.000599 0.000000 0.000599 ( 0.000605)
396 numbers at 10 median threshold 0.000532 0.000000 0.000532 ( 0.000535)
396 numbers at 25 median threshold 0.000684 0.000000 0.000684 ( 0.000687)
396 numbers at 50 median threshold 0.000678 0.000000 0.000678 ( 0.000679)
396 numbers at 100 median threshold 0.000595 0.000000 0.000595 ( 0.000599)
396 numbers at 125 median threshold 0.000604 0.000000 0.000604 ( 0.000607)
396 numbers at 175 median threshold 0.000591 0.000000 0.000591 ( 0.000595)
396 numbers at 250 median threshold 0.000625 0.000000 0.000625 ( 0.000629)
396 numbers at 500 median threshold 0.000609 0.000000 0.000609 ( 0.000613)
396 numbers at 750 median threshold 0.000731 0.000000 0.000731 ( 0.000732)
396 numbers at 1000 median threshold 0.000559 0.000000 0.000559 ( 0.000563)
396 numbers at 1500 median threshold 0.060231 0.000000 0.060231 ( 0.060227)
--------------------------------------------------------------- total: 0.067038sec
user system total real
396 numbers at 5 median threshold 0.011306 0.000000 0.011306 ( 0.011311)
396 numbers at 10 median threshold 0.000599 0.000000 0.000599 ( 0.000607)
396 numbers at 25 median threshold 0.000687 0.000000 0.000687 ( 0.000695)
396 numbers at 50 median threshold 0.000706 0.000000 0.000706 ( 0.000713)
396 numbers at 100 median threshold 0.004594 0.000000 0.004594 ( 0.004597)
396 numbers at 125 median threshold 0.000704 0.000000 0.000704 ( 0.000712)
396 numbers at 175 median threshold 0.002295 0.000000 0.002295 ( 0.002301)
396 numbers at 250 median threshold 0.002984 0.000000 0.002984 ( 0.002991)
396 numbers at 500 median threshold 0.004125 0.000000 0.004125 ( 0.004133)
396 numbers at 750 median threshold 0.000734 0.000000 0.000734 ( 0.000741)
396 numbers at 1000 median threshold 0.008517 0.000000 0.008517 ( 0.008514)
396 numbers at 1500 median threshold 0.005674 0.000000 0.005674 ( 0.005681)
Rehearsal -----------------------------------------------------------------------
396 numbers at 55 median threshold 0.000699 0.000000 0.000699 ( 0.000704)
396 numbers at 75 median threshold 0.000744 0.000000 0.000744 ( 0.000746)
396 numbers at 85 median threshold 0.000649 0.000000 0.000649 ( 0.000652)
396 numbers at 95 median threshold 0.000688 0.000000 0.000688 ( 0.000691)
396 numbers at 105 median threshold 0.000689 0.000000 0.000689 ( 0.000692)
396 numbers at 125 median threshold 0.000673 0.000000 0.000673 ( 0.000677)
396 numbers at 495 median threshold 0.000624 0.000000 0.000624 ( 0.000626)
396 numbers at 500 median threshold 0.000574 0.000000 0.000574 ( 0.000580)
396 numbers at 505 median threshold 0.005701 0.000000 0.005701 ( 0.005704)
396 numbers at 525 median threshold 0.000532 0.000000 0.000532 ( 0.000535)
-------------------------------------------------------------- total: 0.011573sec
user system total real
396 numbers at 55 median threshold 0.000829 0.000000 0.000829 ( 0.000836)
396 numbers at 75 median threshold 0.014185 0.000000 0.014185 ( 0.014189)
396 numbers at 85 median threshold 0.004847 0.000000 0.004847 ( 0.004854)
396 numbers at 95 median threshold 0.000668 0.000000 0.000668 ( 0.000675)
396 numbers at 105 median threshold 0.002139 0.000000 0.002139 ( 0.002147)
396 numbers at 125 median threshold 0.011298 0.000000 0.011298 ( 0.011302)
396 numbers at 495 median threshold 0.001168 0.000000 0.001168 ( 0.001175)
396 numbers at 500 median threshold 0.000699 0.000000 0.000699 ( 0.000707)
396 numbers at 505 median threshold 0.000596 0.000000 0.000596 ( 0.000604)
396 numbers at 525 median threshold 0.009260 0.000000 0.009260 ( 0.009267)
Rehearsal ------------------------------------------------------------------------
666 numbers at 5 median threshold 0.000906 0.000000 0.000906 ( 0.000912)
666 numbers at 10 median threshold 0.000891 0.000000 0.000891 ( 0.000893)
666 numbers at 25 median threshold 0.000993 0.000000 0.000993 ( 0.000996)
666 numbers at 50 median threshold 0.035184 0.000000 0.035184 ( 0.035184)
666 numbers at 100 median threshold 0.000805 0.000000 0.000805 ( 0.000808)
666 numbers at 125 median threshold 0.001009 0.000000 0.001009 ( 0.001013)
666 numbers at 175 median threshold 0.000979 0.000000 0.000979 ( 0.000982)
666 numbers at 250 median threshold 0.010149 0.000000 0.010149 ( 0.010149)
666 numbers at 500 median threshold 0.000729 0.000000 0.000729 ( 0.000733)
666 numbers at 750 median threshold 0.023632 0.000000 0.023632 ( 0.023626)
666 numbers at 1000 median threshold 0.000754 0.000000 0.000754 ( 0.000758)
666 numbers at 1500 median threshold 0.031369 0.000000 0.031369 ( 0.031370)
--------------------------------------------------------------- total: 0.107400sec
user system total real
666 numbers at 5 median threshold 0.037412 0.000000 0.037412 ( 0.037412)
666 numbers at 10 median threshold 0.010521 0.000000 0.010521 ( 0.010526)
666 numbers at 25 median threshold 0.001053 0.000000 0.001053 ( 0.001060)
666 numbers at 50 median threshold 0.001045 0.000000 0.001045 ( 0.001053)
666 numbers at 100 median threshold 0.001035 0.000000 0.001035 ( 0.001041)
666 numbers at 125 median threshold 0.040476 0.000000 0.040476 ( 0.040481)
666 numbers at 175 median threshold 0.030049 0.000000 0.030049 ( 0.030053)
666 numbers at 250 median threshold 0.010792 0.000000 0.010792 ( 0.010799)
666 numbers at 500 median threshold 0.001071 0.000000 0.001071 ( 0.001078)
666 numbers at 750 median threshold 0.001030 0.000000 0.001030 ( 0.001037)
666 numbers at 1000 median threshold 0.000969 0.000000 0.000969 ( 0.000976)
666 numbers at 1500 median threshold 0.000826 0.000000 0.000826 ( 0.000834)
Rehearsal -----------------------------------------------------------------------
666 numbers at 55 median threshold 0.002681 0.000000 0.002681 ( 0.002684)
666 numbers at 75 median threshold 0.002786 0.000000 0.002786 ( 0.002786)
666 numbers at 85 median threshold 0.002506 0.000000 0.002506 ( 0.002507)
666 numbers at 95 median threshold 0.002523 0.000000 0.002523 ( 0.002525)
666 numbers at 105 median threshold 0.002491 0.000000 0.002491 ( 0.002494)
666 numbers at 125 median threshold 0.002518 0.000000 0.002518 ( 0.002520)
666 numbers at 495 median threshold 0.002465 0.000000 0.002465 ( 0.002469)
666 numbers at 500 median threshold 0.002515 0.000000 0.002515 ( 0.002517)
666 numbers at 505 median threshold 0.002471 0.000000 0.002471 ( 0.002474)
666 numbers at 525 median threshold 0.001584 0.000000 0.001584 ( 0.001586)
-------------------------------------------------------------- total: 0.024540sec
user system total real
666 numbers at 55 median threshold 0.002536 0.000000 0.002536 ( 0.002543)
666 numbers at 75 median threshold 0.001384 0.000000 0.001384 ( 0.001392)
666 numbers at 85 median threshold 0.001348 0.000000 0.001348 ( 0.001357)
666 numbers at 95 median threshold 0.002541 0.000000 0.002541 ( 0.002548)
666 numbers at 105 median threshold 0.002524 0.000000 0.002524 ( 0.002532)
666 numbers at 125 median threshold 0.002536 0.000000 0.002536 ( 0.002546)
666 numbers at 495 median threshold 0.002551 0.000000 0.002551 ( 0.002558)
666 numbers at 500 median threshold 0.002768 0.000000 0.002768 ( 0.002771)
666 numbers at 505 median threshold 0.002583 0.000000 0.002583 ( 0.002591)
666 numbers at 525 median threshold 0.002525 0.000000 0.002525 ( 0.002533)
Rehearsal -------------------------------------------------------------------------
1500 numbers at 5 median threshold 0.001576 0.000000 0.001576 ( 0.001582)
1500 numbers at 10 median threshold 0.008372 0.000000 0.008372 ( 0.008374)
1500 numbers at 25 median threshold 0.189570 0.000000 0.189570 ( 0.189563)
1500 numbers at 50 median threshold 0.053514 0.000000 0.053514 ( 0.053515)
1500 numbers at 100 median threshold 0.022405 0.000000 0.022405 ( 0.022401)
1500 numbers at 125 median threshold 0.127384 0.000000 0.127384 ( 0.127379)
1500 numbers at 175 median threshold 0.130012 0.000000 0.130012 ( 0.130003)
1500 numbers at 250 median threshold 0.043975 0.000000 0.043975 ( 0.043967)
1500 numbers at 500 median threshold 0.001930 0.000000 0.001930 ( 0.001930)
1500 numbers at 750 median threshold 0.001742 0.000000 0.001742 ( 0.001745)
1500 numbers at 1000 median threshold 0.001196 0.000000 0.001196 ( 0.001196)
1500 numbers at 1500 median threshold 0.014381 0.000000 0.014381 ( 0.014373)
---------------------------------------------------------------- total: 0.596057sec
user system total real
1500 numbers at 5 median threshold 0.001988 0.000000 0.001988 ( 0.001995)
1500 numbers at 10 median threshold 0.001397 0.000000 0.001397 ( 0.001404)
1500 numbers at 25 median threshold 0.014624 0.000000 0.014624 ( 0.014630)
1500 numbers at 50 median threshold 0.001727 0.000000 0.001727 ( 0.001734)
1500 numbers at 100 median threshold 0.001357 0.000000 0.001357 ( 0.001364)
1500 numbers at 125 median threshold 0.001960 0.000000 0.001960 ( 0.001966)
1500 numbers at 175 median threshold 0.110243 0.000000 0.110243 ( 0.110241)
1500 numbers at 250 median threshold 0.001933 0.000000 0.001933 ( 0.001941)
1500 numbers at 500 median threshold 0.001459 0.000000 0.001459 ( 0.001466)
1500 numbers at 750 median threshold 0.023848 0.000000 0.023848 ( 0.023852)
1500 numbers at 1000 median threshold 0.001578 0.000000 0.001578 ( 0.001586)
1500 numbers at 1500 median threshold 0.119902 0.000000 0.119902 ( 0.119901)
Rehearsal ------------------------------------------------------------------------
1500 numbers at 55 median threshold 0.001957 0.000000 0.001957 ( 0.001959)
1500 numbers at 75 median threshold 0.001812 0.000000 0.001812 ( 0.001815)
1500 numbers at 85 median threshold 0.001797 0.000000 0.001797 ( 0.001800)
1500 numbers at 95 median threshold 0.001770 0.000000 0.001770 ( 0.001772)
1500 numbers at 105 median threshold 0.002046 0.000000 0.002046 ( 0.002046)
1500 numbers at 125 median threshold 0.001809 0.000000 0.001809 ( 0.001813)
1500 numbers at 495 median threshold 0.001784 0.000000 0.001784 ( 0.001785)
1500 numbers at 500 median threshold 0.001778 0.000000 0.001778 ( 0.001781)
1500 numbers at 505 median threshold 0.001803 0.000000 0.001803 ( 0.001805)
1500 numbers at 525 median threshold 0.001766 0.000000 0.001766 ( 0.001769)
--------------------------------------------------------------- total: 0.018322sec
user system total real
1500 numbers at 55 median threshold 0.001846 0.000000 0.001846 ( 0.001854)
1500 numbers at 75 median threshold 0.001835 0.000000 0.001835 ( 0.001842)
1500 numbers at 85 median threshold 0.001820 0.000000 0.001820 ( 0.001827)
1500 numbers at 95 median threshold 0.001843 0.000000 0.001843 ( 0.001851)
1500 numbers at 105 median threshold 0.001840 0.000000 0.001840 ( 0.001849)
1500 numbers at 125 median threshold 0.001830 0.000000 0.001830 ( 0.001838)
1500 numbers at 495 median threshold 0.001859 0.000000 0.001859 ( 0.001866)
1500 numbers at 500 median threshold 0.001827 0.000000 0.001827 ( 0.001833)
1500 numbers at 505 median threshold 0.001856 0.000000 0.001856 ( 0.001864)
1500 numbers at 525 median threshold 0.002390 0.000000 0.002390 ( 0.002395)
Rehearsal -------------------------------------------------------------------------
3000 numbers at 5 median threshold 0.138674 0.000000 0.138674 ( 0.138669)
3000 numbers at 10 median threshold 0.263321 0.000000 0.263321 ( 0.263314)
3000 numbers at 25 median threshold 0.257056 0.000000 0.257056 ( 0.257049)
3000 numbers at 50 median threshold 0.265973 0.000000 0.265973 ( 0.265967)
3000 numbers at 100 median threshold 0.266730 0.000000 0.266730 ( 0.266722)
3000 numbers at 125 median threshold 0.266684 0.000000 0.266684 ( 0.266677)
3000 numbers at 175 median threshold 0.150974 0.000000 0.150974 ( 0.150967)
3000 numbers at 250 median threshold 0.261142 0.000000 0.261142 ( 0.261134)
3000 numbers at 500 median threshold 0.136830 0.000000 0.136830 ( 0.136821)
3000 numbers at 750 median threshold 0.266660 0.000000 0.266660 ( 0.266652)
3000 numbers at 1000 median threshold 0.266850 0.000000 0.266850 ( 0.266843)
3000 numbers at 1500 median threshold 0.268045 0.000000 0.268045 ( 0.268038)
---------------------------------------------------------------- total: 2.808939sec
user system total real
3000 numbers at 5 median threshold 0.264121 0.000000 0.264121 ( 0.264118)
3000 numbers at 10 median threshold 0.091662 0.000000 0.091662 ( 0.091659)
3000 numbers at 25 median threshold 0.263116 0.000000 0.263116 ( 0.263111)
3000 numbers at 50 median threshold 0.264096 0.000000 0.264096 ( 0.264093)
3000 numbers at 100 median threshold 0.138716 0.000000 0.138716 ( 0.138713)
3000 numbers at 125 median threshold 0.260954 0.000000 0.260954 ( 0.260952)
3000 numbers at 175 median threshold 0.277841 0.000000 0.277841 ( 0.277836)
3000 numbers at 250 median threshold 0.258626 0.000000 0.258626 ( 0.258624)
3000 numbers at 500 median threshold 0.260286 0.000000 0.260286 ( 0.260285)
3000 numbers at 750 median threshold 0.188104 0.000000 0.188104 ( 0.188100)
3000 numbers at 1000 median threshold 0.169848 0.000000 0.169848 ( 0.169845)
3000 numbers at 1500 median threshold 0.126979 0.000000 0.126979 ( 0.126976)
Rehearsal ------------------------------------------------------------------------
3000 numbers at 55 median threshold 0.097144 0.000000 0.097144 ( 0.097139)
3000 numbers at 75 median threshold 0.095093 0.000000 0.095093 ( 0.095086)
3000 numbers at 85 median threshold 0.097077 0.000000 0.097077 ( 0.097070)
3000 numbers at 95 median threshold 0.094852 0.000000 0.094852 ( 0.094847)
3000 numbers at 105 median threshold 0.096637 0.000000 0.096637 ( 0.096632)
3000 numbers at 125 median threshold 0.094985 0.000000 0.094985 ( 0.094982)
3000 numbers at 495 median threshold 0.039714 0.000000 0.039714 ( 0.039708)
3000 numbers at 500 median threshold 0.093893 0.000000 0.093893 ( 0.093889)
3000 numbers at 505 median threshold 0.095331 0.000000 0.095331 ( 0.095328)
3000 numbers at 525 median threshold 0.096373 0.000000 0.096373 ( 0.096365)
--------------------------------------------------------------- total: 0.901099sec
user system total real
3000 numbers at 55 median threshold 0.095603 0.000000 0.095603 ( 0.095602)
3000 numbers at 75 median threshold 0.095597 0.000000 0.095597 ( 0.095598)
3000 numbers at 85 median threshold 0.096134 0.000000 0.096134 ( 0.096135)
3000 numbers at 95 median threshold 0.097440 0.000000 0.097440 ( 0.097436)
3000 numbers at 105 median threshold 0.071348 0.000000 0.071348 ( 0.071345)
3000 numbers at 125 median threshold 0.097326 0.000000 0.097326 ( 0.097321)
3000 numbers at 495 median threshold 0.095977 0.000000 0.095977 ( 0.095975)
3000 numbers at 500 median threshold 0.048473 0.000000 0.048473 ( 0.048478)
3000 numbers at 505 median threshold 0.098697 0.000000 0.098697 ( 0.098695)
3000 numbers at 525 median threshold 0.095354 0.000000 0.095354 ( 0.095354)
Rehearsal -------------------------------------------------------------------------
4500 numbers at 5 median threshold 0.004486 0.000000 0.004486 ( 0.004491)
4500 numbers at 10 median threshold 0.004403 0.000000 0.004403 ( 0.004407)
4500 numbers at 25 median threshold 0.004815 0.000000 0.004815 ( 0.004812)
4500 numbers at 50 median threshold 0.004437 0.000000 0.004437 ( 0.004438)
4500 numbers at 100 median threshold 0.004535 0.000000 0.004535 ( 0.004536)
4500 numbers at 125 median threshold 0.004472 0.000000 0.004472 ( 0.004473)
4500 numbers at 175 median threshold 0.004466 0.000000 0.004466 ( 0.004467)
4500 numbers at 250 median threshold 0.004477 0.000000 0.004477 ( 0.004478)
4500 numbers at 500 median threshold 0.004401 0.000000 0.004401 ( 0.004404)
4500 numbers at 750 median threshold 0.004516 0.000000 0.004516 ( 0.004520)
4500 numbers at 1000 median threshold 0.004519 0.000000 0.004519 ( 0.004519)
4500 numbers at 1500 median threshold 0.004451 0.000000 0.004451 ( 0.004452)
---------------------------------------------------------------- total: 0.053978sec
user system total real
4500 numbers at 5 median threshold 0.004379 0.000000 0.004379 ( 0.004387)
4500 numbers at 10 median threshold 0.004426 0.000000 0.004426 ( 0.004430)
4500 numbers at 25 median threshold 0.004451 0.000000 0.004451 ( 0.004455)
4500 numbers at 50 median threshold 0.004503 0.000000 0.004503 ( 0.004507)
4500 numbers at 100 median threshold 0.004426 0.000000 0.004426 ( 0.004431)
4500 numbers at 125 median threshold 0.004427 0.000000 0.004427 ( 0.004433)
4500 numbers at 175 median threshold 0.004450 0.000000 0.004450 ( 0.004454)
4500 numbers at 250 median threshold 0.004479 0.000000 0.004479 ( 0.004483)
4500 numbers at 500 median threshold 0.004422 0.000000 0.004422 ( 0.004428)
4500 numbers at 750 median threshold 0.004522 0.000000 0.004522 ( 0.004526)
4500 numbers at 1000 median threshold 0.004426 0.000000 0.004426 ( 0.004432)
4500 numbers at 1500 median threshold 0.004447 0.000000 0.004447 ( 0.004453)
Rehearsal ------------------------------------------------------------------------
4500 numbers at 55 median threshold 0.004365 0.000000 0.004365 ( 0.004368)
4500 numbers at 75 median threshold 0.004349 0.000000 0.004349 ( 0.004353)
4500 numbers at 85 median threshold 0.004315 0.000000 0.004315 ( 0.004316)
4500 numbers at 95 median threshold 0.004315 0.000000 0.004315 ( 0.004317)
4500 numbers at 105 median threshold 0.004333 0.000000 0.004333 ( 0.004335)
4500 numbers at 125 median threshold 0.004303 0.000000 0.004303 ( 0.004305)
4500 numbers at 495 median threshold 0.004359 0.000000 0.004359 ( 0.004362)
4500 numbers at 500 median threshold 0.004337 0.000000 0.004337 ( 0.004339)
4500 numbers at 505 median threshold 0.004274 0.000000 0.004274 ( 0.004278)
4500 numbers at 525 median threshold 0.004344 0.000000 0.004344 ( 0.004346)
--------------------------------------------------------------- total: 0.043294sec
user system total real
4500 numbers at 55 median threshold 0.004432 0.000000 0.004432 ( 0.004436)
4500 numbers at 75 median threshold 0.004503 0.000000 0.004503 ( 0.004506)
4500 numbers at 85 median threshold 0.004490 0.000000 0.004490 ( 0.004495)
4500 numbers at 95 median threshold 0.004433 0.000000 0.004433 ( 0.004438)
4500 numbers at 105 median threshold 0.004720 0.000000 0.004720 ( 0.004721)
4500 numbers at 125 median threshold 0.004447 0.000000 0.004447 ( 0.004452)
4500 numbers at 495 median threshold 0.004429 0.000000 0.004429 ( 0.004434)
4500 numbers at 500 median threshold 0.004461 0.000000 0.004461 ( 0.004467)
4500 numbers at 505 median threshold 0.004407 0.000000 0.004407 ( 0.004413)
4500 numbers at 525 median threshold 0.004384 0.000000 0.004384 ( 0.004389)
Rehearsal -------------------------------------------------------------------------
6000 numbers at 5 median threshold 0.161313 0.000000 0.161313 ( 0.161308)
6000 numbers at 10 median threshold 0.461014 0.000000 0.461014 ( 0.461007)
6000 numbers at 25 median threshold 0.198504 0.000000 0.198504 ( 0.198498)
6000 numbers at 50 median threshold 0.467763 0.000000 0.467763 ( 0.467756)
6000 numbers at 100 median threshold 0.471628 0.000000 0.471628 ( 0.471620)
6000 numbers at 125 median threshold 0.470550 0.000000 0.470550 ( 0.470542)
6000 numbers at 175 median threshold 0.468426 0.000000 0.468426 ( 0.468419)
6000 numbers at 250 median threshold 0.469934 0.000000 0.469934 ( 0.469927)
6000 numbers at 500 median threshold 0.470118 0.000000 0.470118 ( 0.470111)
6000 numbers at 750 median threshold 0.473748 0.000000 0.473748 ( 0.473739)
6000 numbers at 1000 median threshold 0.469018 0.000000 0.469018 ( 0.469010)
6000 numbers at 1500 median threshold 0.477981 0.000000 0.477981 ( 0.477973)
---------------------------------------------------------------- total: 5.059997sec
user system total real
6000 numbers at 5 median threshold 0.467378 0.000000 0.467378 ( 0.467373)
6000 numbers at 10 median threshold 0.464941 0.000000 0.464941 ( 0.464938)
6000 numbers at 25 median threshold 0.464207 0.000000 0.464207 ( 0.464201)
6000 numbers at 50 median threshold 0.466478 0.000000 0.466478 ( 0.466473)
6000 numbers at 100 median threshold 0.465608 0.000000 0.465608 ( 0.465604)
6000 numbers at 125 median threshold 0.464715 0.000000 0.464715 ( 0.464710)
6000 numbers at 175 median threshold 0.465167 0.000000 0.465167 ( 0.465163)
6000 numbers at 250 median threshold 0.466384 0.000000 0.466384 ( 0.466381)
6000 numbers at 500 median threshold 0.467065 0.000000 0.467065 ( 0.467061)
6000 numbers at 750 median threshold 0.469440 0.000000 0.469440 ( 0.469437)
6000 numbers at 1000 median threshold 0.463354 0.000000 0.463354 ( 0.463350)
6000 numbers at 1500 median threshold 0.306909 0.000000 0.306909 ( 0.306905)
Rehearsal ------------------------------------------------------------------------
6000 numbers at 55 median threshold 0.125127 0.000000 0.125127 ( 0.125123)
6000 numbers at 75 median threshold 0.122288 0.000000 0.122288 ( 0.122283)
6000 numbers at 85 median threshold 0.124181 0.000000 0.124181 ( 0.124176)
6000 numbers at 95 median threshold 0.124307 0.000000 0.124307 ( 0.124301)
6000 numbers at 105 median threshold 0.105330 0.000000 0.105330 ( 0.105325)
6000 numbers at 125 median threshold 0.116566 0.000000 0.116566 ( 0.116560)
6000 numbers at 495 median threshold 0.124157 0.000000 0.124157 ( 0.124151)
6000 numbers at 500 median threshold 0.125267 0.000000 0.125267 ( 0.125260)
6000 numbers at 505 median threshold 0.125200 0.000000 0.125200 ( 0.125196)
6000 numbers at 525 median threshold 0.123031 0.000000 0.123031 ( 0.123023)
--------------------------------------------------------------- total: 1.215454sec
user system total real
6000 numbers at 55 median threshold 0.124470 0.000000 0.124470 ( 0.124468)
6000 numbers at 75 median threshold 0.124614 0.000000 0.124614 ( 0.124608)
6000 numbers at 85 median threshold 0.124696 0.000000 0.124696 ( 0.124694)
6000 numbers at 95 median threshold 0.124403 0.000000 0.124403 ( 0.124400)
6000 numbers at 105 median threshold 0.127946 0.000000 0.127946 ( 0.127941)
6000 numbers at 125 median threshold 0.124291 0.000000 0.124291 ( 0.124286)
6000 numbers at 495 median threshold 0.124413 0.000000 0.124413 ( 0.124410)
6000 numbers at 500 median threshold 0.124288 0.000000 0.124288 ( 0.124285)
6000 numbers at 505 median threshold 0.120189 0.000000 0.120189 ( 0.120185)
6000 numbers at 525 median threshold 0.124273 0.000000 0.124273 ( 0.124271)
Rehearsal --------------------------------------------------------------------------
15000 numbers at 5 median threshold 0.822461 0.000000 0.822461 ( 0.822452)
15000 numbers at 10 median threshold 0.801617 0.000000 0.801617 ( 0.801610)
15000 numbers at 25 median threshold 0.804788 0.000000 0.804788 ( 0.804780)
15000 numbers at 50 median threshold 0.802087 0.000000 0.802087 ( 0.802080)
15000 numbers at 100 median threshold 0.800268 0.000000 0.800268 ( 0.800260)
15000 numbers at 125 median threshold 0.806057 0.000000 0.806057 ( 0.806049)
15000 numbers at 175 median threshold 0.803890 0.000000 0.803890 ( 0.803882)
15000 numbers at 250 median threshold 0.802322 0.000000 0.802322 ( 0.802314)
15000 numbers at 500 median threshold 0.804588 0.000000 0.804588 ( 0.804580)
15000 numbers at 750 median threshold 0.804150 0.000000 0.804150 ( 0.804141)
15000 numbers at 1000 median threshold 0.653630 0.000000 0.653630 ( 0.653623)
15000 numbers at 1500 median threshold 0.833589 0.000000 0.833589 ( 0.833583)
----------------------------------------------------------------- total: 9.539447sec
user system total real
15000 numbers at 5 median threshold 0.812436 0.000000 0.812436 ( 0.812431)
15000 numbers at 10 median threshold 0.852112 0.000000 0.852112 ( 0.852106)
15000 numbers at 25 median threshold 0.808635 0.000000 0.808635 ( 0.808630)
15000 numbers at 50 median threshold 0.345107 0.000000 0.345107 ( 0.345101)
15000 numbers at 100 median threshold 0.806690 0.000000 0.806690 ( 0.806686)
15000 numbers at 125 median threshold 0.222534 0.000000 0.222534 ( 0.222530)
15000 numbers at 175 median threshold 0.806667 0.000000 0.806667 ( 0.806663)
15000 numbers at 250 median threshold 0.807848 0.000000 0.807848 ( 0.807842)
15000 numbers at 500 median threshold 0.803385 0.000000 0.803385 ( 0.803380)
15000 numbers at 750 median threshold 0.807715 0.000000 0.807715 ( 0.807710)
15000 numbers at 1000 median threshold 0.804044 0.000000 0.804044 ( 0.804040)
15000 numbers at 1500 median threshold 0.804249 0.000000 0.804249 ( 0.804246)
Rehearsal -------------------------------------------------------------------------
15000 numbers at 55 median threshold 0.123064 0.000000 0.123064 ( 0.123059)
15000 numbers at 75 median threshold 0.121660 0.000000 0.121660 ( 0.121653)
15000 numbers at 85 median threshold 0.121951 0.000000 0.121951 ( 0.121945)
15000 numbers at 95 median threshold 0.121554 0.000000 0.121554 ( 0.121549)
15000 numbers at 105 median threshold 0.124171 0.000000 0.124171 ( 0.124164)
15000 numbers at 125 median threshold 0.122640 0.000000 0.122640 ( 0.122633)
15000 numbers at 495 median threshold 0.120909 0.000000 0.120909 ( 0.120901)
15000 numbers at 500 median threshold 0.120211 0.000000 0.120211 ( 0.120205)
15000 numbers at 505 median threshold 0.121583 0.000000 0.121583 ( 0.121576)
15000 numbers at 525 median threshold 0.122317 0.000000 0.122317 ( 0.122311)
---------------------------------------------------------------- total: 1.220060sec
user system total real
15000 numbers at 55 median threshold 0.120709 0.000000 0.120709 ( 0.120706)
15000 numbers at 75 median threshold 0.120726 0.000000 0.120726 ( 0.120722)
15000 numbers at 85 median threshold 0.124124 0.000000 0.124124 ( 0.124119)
15000 numbers at 95 median threshold 0.120738 0.000000 0.120738 ( 0.120735)
15000 numbers at 105 median threshold 0.096676 0.000000 0.096676 ( 0.096672)
15000 numbers at 125 median threshold 0.120728 0.000000 0.120728 ( 0.120723)
15000 numbers at 495 median threshold 0.120325 0.000000 0.120325 ( 0.120320)
15000 numbers at 500 median threshold 0.120767 0.000000 0.120767 ( 0.120763)
15000 numbers at 505 median threshold 0.120354 0.000000 0.120354 ( 0.120351)
15000 numbers at 525 median threshold 0.122513 0.000000 0.122513 ( 0.122508)
Rehearsal --------------------------------------------------------------------------
30000 numbers at 5 median threshold 0.845096 0.000000 0.845096 ( 0.845091)
30000 numbers at 10 median threshold 0.832770 0.000000 0.832770 ( 0.832762)
30000 numbers at 25 median threshold 0.841238 0.000000 0.841238 ( 0.841231)
30000 numbers at 50 median threshold 0.831989 0.000000 0.831989 ( 0.831982)
30000 numbers at 100 median threshold 0.842298 0.000000 0.842298 ( 0.842290)
30000 numbers at 125 median threshold 0.853168 0.000000 0.853168 ( 0.853160)
30000 numbers at 175 median threshold 0.864170 0.000000 0.864170 ( 0.864161)
30000 numbers at 250 median threshold 0.830615 0.000000 0.830615 ( 0.830607)
30000 numbers at 500 median threshold 0.843596 0.000000 0.843596 ( 0.843589)
30000 numbers at 750 median threshold 0.838891 0.000000 0.838891 ( 0.838885)
30000 numbers at 1000 median threshold 0.843506 0.000000 0.843506 ( 0.843499)
30000 numbers at 1500 median threshold 0.835649 0.000000 0.835649 ( 0.835642)
---------------------------------------------------------------- total: 10.102986sec
user system total real
30000 numbers at 5 median threshold 0.826271 0.000000 0.826271 ( 0.826266)
30000 numbers at 10 median threshold 0.843233 0.000000 0.843233 ( 0.843228)
30000 numbers at 25 median threshold 0.842320 0.000000 0.842320 ( 0.842317)
30000 numbers at 50 median threshold 0.845357 0.000000 0.845357 ( 0.845351)
30000 numbers at 100 median threshold 0.844050 0.000000 0.844050 ( 0.844045)
30000 numbers at 125 median threshold 0.847851 0.000000 0.847851 ( 0.847848)
30000 numbers at 175 median threshold 0.848835 0.000000 0.848835 ( 0.848831)
30000 numbers at 250 median threshold 0.847918 0.000000 0.847918 ( 0.847913)
30000 numbers at 500 median threshold 0.845277 0.000000 0.845277 ( 0.845273)
30000 numbers at 750 median threshold 0.842403 0.000000 0.842403 ( 0.842398)
30000 numbers at 1000 median threshold 0.853254 0.000000 0.853254 ( 0.853250)
30000 numbers at 1500 median threshold 0.843515 0.000000 0.843515 ( 0.843511)
Rehearsal -------------------------------------------------------------------------
30000 numbers at 55 median threshold 0.322681 0.000000 0.322681 ( 0.322676)
30000 numbers at 75 median threshold 0.323211 0.000000 0.323211 ( 0.323202)
30000 numbers at 85 median threshold 0.325051 0.000000 0.325051 ( 0.325043)
30000 numbers at 95 median threshold 0.320631 0.000000 0.320631 ( 0.320622)
30000 numbers at 105 median threshold 0.331234 0.000000 0.331234 ( 0.331226)
30000 numbers at 125 median threshold 0.319965 0.000000 0.319965 ( 0.319956)
30000 numbers at 495 median threshold 0.321272 0.000000 0.321272 ( 0.321264)
30000 numbers at 500 median threshold 0.324860 0.000000 0.324860 ( 0.324789)
30000 numbers at 505 median threshold 0.322712 0.000000 0.322712 ( 0.322704)
30000 numbers at 525 median threshold 0.317447 0.000000 0.317447 ( 0.317441)
---------------------------------------------------------------- total: 3.229064sec
user system total real
30000 numbers at 55 median threshold 0.323393 0.000000 0.323393 ( 0.323389)
30000 numbers at 75 median threshold 0.323321 0.000000 0.323321 ( 0.323317)
30000 numbers at 85 median threshold 0.322953 0.000000 0.322953 ( 0.322949)
30000 numbers at 95 median threshold 0.323139 0.000000 0.323139 ( 0.323134)
30000 numbers at 105 median threshold 0.321932 0.000000 0.321932 ( 0.321928)
30000 numbers at 125 median threshold 0.324028 0.000000 0.324028 ( 0.324022)
30000 numbers at 495 median threshold 0.322963 0.000000 0.322963 ( 0.322959)
30000 numbers at 500 median threshold 0.323969 0.000000 0.323969 ( 0.323965)
30000 numbers at 505 median threshold 0.320776 0.000000 0.320776 ( 0.320770)
30000 numbers at 525 median threshold 0.330350 0.000000 0.330350 ( 0.330345)
Rehearsal --------------------------------------------------------------------------
45000 numbers at 5 median threshold 4.848415 0.000000 4.848415 ( 4.848409)
45000 numbers at 10 median threshold 4.766135 0.000000 4.766135 ( 4.766128)
45000 numbers at 25 median threshold 4.841160 0.000000 4.841160 ( 4.841152)
45000 numbers at 50 median threshold 4.837989 0.000000 4.837989 ( 4.837980)
45000 numbers at 100 median threshold 4.861292 0.000000 4.861292 ( 4.861284)
45000 numbers at 125 median threshold 4.766406 0.000000 4.766406 ( 4.766398)
45000 numbers at 175 median threshold 4.842689 0.000000 4.842689 ( 4.842682)
45000 numbers at 250 median threshold 4.808250 0.000000 4.808250 ( 4.808240)
45000 numbers at 500 median threshold 5.039517 0.000000 5.039517 ( 5.039509)
45000 numbers at 750 median threshold 4.788175 0.000000 4.788175 ( 4.788169)
45000 numbers at 1000 median threshold 4.843329 0.000000 4.843329 ( 4.843321)
45000 numbers at 1500 median threshold 4.774496 0.000000 4.774496 ( 4.774488)
---------------------------------------------------------------- total: 58.017853sec
user system total real
45000 numbers at 5 median threshold 4.832874 0.000000 4.832874 ( 4.832869)
45000 numbers at 10 median threshold 5.242347 0.000000 5.242347 ( 5.242341)
45000 numbers at 25 median threshold 4.544588 0.000000 4.544588 ( 4.544582)
45000 numbers at 50 median threshold 5.019600 0.000000 5.019600 ( 5.019594)
45000 numbers at 100 median threshold 4.835825 0.000000 4.835825 ( 4.835820)
45000 numbers at 125 median threshold 4.867761 0.000000 4.867761 ( 4.867755)
45000 numbers at 175 median threshold 4.849107 0.000000 4.849107 ( 4.849103)
45000 numbers at 250 median threshold 4.976024 0.000000 4.976024 ( 4.976018)
45000 numbers at 500 median threshold 4.899766 0.000000 4.899766 ( 4.899762)
45000 numbers at 750 median threshold 4.949973 0.000000 4.949973 ( 4.949968)
45000 numbers at 1000 median threshold 4.857431 0.000000 4.857431 ( 4.857425)
45000 numbers at 1500 median threshold 5.047205 0.000000 5.047205 ( 5.047201)
Rehearsal -------------------------------------------------------------------------
45000 numbers at 55 median threshold 4.648936 0.000000 4.648936 ( 4.648930)
45000 numbers at 75 median threshold 4.572867 0.000000 4.572867 ( 4.572859)
45000 numbers at 85 median threshold 4.635421 0.000000 4.635421 ( 4.635414)
45000 numbers at 95 median threshold 4.578143 0.000000 4.578143 ( 4.578136)
45000 numbers at 105 median threshold 4.765836 0.000000 4.765836 ( 4.765827)
45000 numbers at 125 median threshold 4.586793 0.000000 4.586793 ( 4.586785)
45000 numbers at 495 median threshold 4.749785 0.000000 4.749785 ( 4.749777)
45000 numbers at 500 median threshold 4.524388 0.000000 4.524388 ( 4.524380)
45000 numbers at 505 median threshold 4.608423 0.000000 4.608423 ( 4.608415)
45000 numbers at 525 median threshold 4.526297 0.000000 4.526297 ( 4.526289)
--------------------------------------------------------------- total: 46.196889sec
user system total real
45000 numbers at 55 median threshold 4.751805 0.000000 4.751805 ( 4.751801)
45000 numbers at 75 median threshold 4.596880 0.000000 4.596880 ( 4.596874)
45000 numbers at 85 median threshold 4.596000 0.000000 4.596000 ( 4.595994)
45000 numbers at 95 median threshold 4.513380 0.000000 4.513380 ( 4.513376)
45000 numbers at 105 median threshold 4.618988 0.000000 4.618988 ( 4.618983)
45000 numbers at 125 median threshold 4.611425 0.000000 4.611425 ( 4.611421)
45000 numbers at 495 median threshold 4.627463 0.000000 4.627463 ( 4.627459)
45000 numbers at 500 median threshold 4.598693 0.000000 4.598693 ( 4.598688)
45000 numbers at 505 median threshold 4.626721 0.000000 4.626721 ( 4.626718)
45000 numbers at 525 median threshold 4.701022 0.000000 4.701022 ( 4.701016)
Rehearsal --------------------------------------------------------------------------
60000 numbers at 5 median threshold 8.243660 0.000000 8.243660 ( 8.243654)
60000 numbers at 10 median threshold 8.241349 0.000000 8.241349 ( 8.241341)
60000 numbers at 25 median threshold 8.152655 0.000000 8.152655 ( 8.152648)
60000 numbers at 50 median threshold 8.203591 0.000000 8.203591 ( 8.203582)
60000 numbers at 100 median threshold 8.093375 0.000000 8.093375 ( 8.093367)
60000 numbers at 125 median threshold 7.884517 0.000000 7.884517 ( 7.884508)
60000 numbers at 175 median threshold 8.147591 0.000000 8.147591 ( 8.147583)
60000 numbers at 250 median threshold 8.214076 0.000000 8.214076 ( 8.214070)
60000 numbers at 500 median threshold 8.184009 0.000000 8.184009 ( 8.184001)
60000 numbers at 750 median threshold 8.335103 0.000000 8.335103 ( 8.335095)
60000 numbers at 1000 median threshold 8.169132 0.000000 8.169132 ( 8.169125)
60000 numbers at 1500 median threshold 8.335821 0.000000 8.335821 ( 8.335814)
---------------------------------------------------------------- total: 98.204879sec
user system total real
60000 numbers at 5 median threshold 8.146006 0.000000 8.146006 ( 8.146001)
60000 numbers at 10 median threshold 8.143056 0.000000 8.143056 ( 8.143050)
60000 numbers at 25 median threshold 8.149886 0.000000 8.149886 ( 8.149881)
60000 numbers at 50 median threshold 8.154322 0.000000 8.154322 ( 8.154316)
60000 numbers at 100 median threshold 8.153859 0.000000 8.153859 ( 8.153855)
60000 numbers at 125 median threshold 8.160756 0.000000 8.160756 ( 8.160750)
60000 numbers at 175 median threshold 7.855054 0.000000 7.855054 ( 7.855048)
60000 numbers at 250 median threshold 8.148760 0.000000 8.148760 ( 8.148759)
60000 numbers at 500 median threshold 8.339012 0.000000 8.339012 ( 8.339006)
60000 numbers at 750 median threshold 8.153972 0.000000 8.153972 ( 8.153967)
60000 numbers at 1000 median threshold 8.254850 0.000000 8.254850 ( 8.254844)
60000 numbers at 1500 median threshold 8.183849 0.000000 8.183849 ( 8.183845)
Rehearsal -------------------------------------------------------------------------
60000 numbers at 55 median threshold 7.048205 0.000000 7.048205 ( 7.048199)
60000 numbers at 75 median threshold 7.023353 0.000000 7.023353 ( 7.023347)
60000 numbers at 85 median threshold 7.137941 0.000000 7.137941 ( 7.137933)
60000 numbers at 95 median threshold 7.095375 0.000000 7.095375 ( 7.095368)
60000 numbers at 105 median threshold 7.356349 0.000000 7.356349 ( 7.356341)
60000 numbers at 125 median threshold 7.551019 0.000000 7.551019 ( 7.551010)
60000 numbers at 495 median threshold 9.634592 0.000000 9.634592 ( 9.634584)
60000 numbers at 500 median threshold 7.272167 0.000000 7.272167 ( 7.272157)
60000 numbers at 505 median threshold 7.273969 0.000000 7.273969 ( 7.273960)
60000 numbers at 525 median threshold 7.783914 0.000000 7.783914 ( 7.783906)
--------------------------------------------------------------- total: 75.176884sec
|
Pastie
