=== 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