At [2013-10-06 10:39:03]: this is a test generator using gentools v0.7.245.
Generating all tests for problem "sheffer"...
Test 001 (1st example): lines 89..94,  x..x done.
Test 002 (2nd example): lines 95..100,  x..x done.
Test 003 (random(n:1, k:1, maxl:1)): lines 74..85,  x..x done.
Test 004 (random(n:1, k:2, maxl:1)): lines 74..85,  x..x done.
Test 005 (random(n:3, k:3, maxl:20)): lines 74..85,  x..x done.
Test 006 (random(n:4, k:4, maxl:20)): lines 74..85,  x..x done.
Test 007 (random(n:5, k:5, maxl:20)): lines 74..85,  x..x done.
Test 008 (random(n:6, k:6, maxl:20)): lines 74..85,  x..x done.
Test 009 (random(n:7, k:7, maxl:20)): lines 74..85,  x..x done.
Test 010 (random(n:8, k:8, maxl:20)): lines 74..85,  x..x done.
Test 011 (random(n:9, k:9, maxl:20)): lines 74..85,  x..x done.
Test 012 (random(n:10, k:10, maxl:20)): lines 74..85,  x..x done.
Test 013 (random(n:1, k:20, maxl:100)): lines 74..85,  x..x done.
Test 014 (random(n:2, k:20, maxl:100)): lines 74..85,  x..x done.
Test 015 (random(n:3, k:20, maxl:100)): lines 74..85,  x..x done.
Test 016 (random(n:4, k:20, maxl:100)): lines 74..85,  x..x done.
Test 017 (random(n:5, k:20, maxl:100)): lines 74..85,  x..x done.
Test 018 (random(n:15, k:20, maxl:100)): lines 74..85,  x..x done.
Test 019 (random(n:16, k:20, maxl:100)): lines 74..85,  x..x done.
Test 020 (random(n:17, k:20, maxl:100)): lines 74..85,  x..x done.
Test 021 (random(n:18, k:20, maxl:100)): lines 74..85,  x..x done.
Test 022 (random(n:19, k:20, maxl:100)): lines 74..85,  x..x done.
Test 023 (random(n:20, k:20, maxl:100)): lines 74..85,  x..x done.
Test 024 (large: opponent play almost white (maximize answer)): lines 123..129,  x..x done.
Test 025 (large: one opponent): lines 131..134,  x..x done.
Test generation successful (25 tests).
