extrapolate-0.3.3: tests/model/eg/redblack.out
+++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests. +++ OK, passed 1080 tests.