=== source code for alloc_SUITE:rbtree/1
=== Test case started with:
alloc_SUITE:rbtree([{watchdog,<0.4914.0>},
{tc_logfile,"/home/karol/R16B03/otp-support/release/tests/test_server/ct_run.test_server@zed.2013-12-30_15.56.44/tests.emulator_test.logs/run.2013-12-30_15.58.07/alloc_suite.rbtree.html"},
{tc_group_properties,[]},
{tc_group_path,[]},
{data_dir,"/home/karol/R16B03/otp-support/release/tests/emulator_test/alloc_SUITE_data/"},
{priv_dir,"/home/karol/R16B03/otp-support/release/tests/test_server/ct_run.test_server@zed.2013-12-30_15.56.44/tests.emulator_test.logs/run.2013-12-30_15.58.07/log_private/"},
{nodenames,[]}])
=== Current directory is "/home/karol/R16B03/otp-support/release/tests/test_server/ct_run.test_server@zed.2013-12-30_15.56.44"
=== Started at 2013-12-30 16:00:31
Attempt to start slave node 'alloc_SUITE-rbtree-1388-419231-962835' with options [{args,
" -pa /home/karol/R16B03/otp-support/release/tests/emulator_test"}]
Successfully started node 'alloc_SUITE-rbtree-1388-419231-962835@zed' on "zed" with command: "erl -pa \"/usr/lib/erlang/lib/test_server-3.6.4/ebin\" -pa /home/karol/R16B03/otp-support/release/tests/emulator_test -env ERL_CRASH_DUMP \"/usr/lib/erlang/lib/test_server-3.6.4/ebin/erl_crash_dump.alloc_SUITE-rbtree-1388-419231-962835\" "
Setup...
Starting test of best fit...
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 10; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 1; Black depth = 2
Best fit test succeeded!
Starting test of address order best fit...
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 19; Black depth = 12
Red-Black Tree OK! Max depth = 17; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Address order best fit test succeeded!
Starting test of address order first fit...
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 20; Black depth = 11
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 23; Black depth = 13
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 21; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 18; Black depth = 10
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 22; Black depth = 12
Red-Black Tree OK! Max depth = 15; Black depth = 9
Address order first fit test succeeded!
Starting test of aoffcaobf...
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 9
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 18; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 16; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 15; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 14; Black depth = 10
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 18; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 18; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 15; Black depth = 9
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 17; Black depth = 11
Red-Black Tree OK! Max depth = 18; Black depth = 11
Red-Black Tree OK! Max depth = 19; Black depth = 11
Red-Black Tree OK! Max depth = 12; Black depth = 9
aoffcaobf test succeeded!
Starting test of aoffcbf...
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 5
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 1; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 2; Black depth = 2
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 9; Black depth = 6
Red-Black Tree OK! Max depth = 8; Black depth = 6
Red-Black Tree OK! Max depth = 4; Black depth = 4
aoffcaobf test succeeded!
Stopped slave node: 'alloc_SUITE-rbtree-1388-419231-962835@zed'
=== Ended at 2013-12-30 16:01:12
=== successfully completed test case
=== returned value = succeeded
Test run history
| Top level test index