At [2013-10-06 10:39:34]: this is a test generator using gentools v0.8.458.
Generating all tests for problem "forbidden-words"...
Test 001 (first example): lines 191..194, n = 2 x..x done.
Test 002 (second example): lines 196..200, n = 3 x..x done.
Test 003 (hand test 1): lines 207..209, n = 1 x..x done.
Test 004 (hand test 2): lines 211..214, n = 2 x..x done.
Test 005 (hand test 3): lines 216..223, n = 6 x..x done.
Test 006 (hand test 4): lines 225..232, n = 6 x..x done.
Test 007 (hand test 5): lines 234..241, n = 6 x..x done.
Test 008 (hand test 6): lines 243..250, n = 6 x..x done.
Test 009 (hand test 7): lines 252..259, n = 6 x..x done.
Test 010 (hand test 8): lines 261..270, n = 8 x..x done.
Test 011 (stripe test 1): lines 274..280, n = 1 x..x done.
Test 012 (stripe test 2): lines 274..280, n = 2 x..x done.
Test 013 (stripe test 3): lines 274..280, n = 3 x..x done.
Test 014 (stripe test 4): lines 274..280, n = 4 x..x done.
Test 015 (stripe test 5): lines 274..280, n = 5 x..x done.
Test 016 (stripe test 6): lines 274..280, n = 6 x..x done.
Test 017 (stripe test 7): lines 274..280, n = 7 x..x done.
Test 018 (stripe test 8): lines 274..280, n = 8 x..x done.
Test 019 (stripe test 9): lines 274..280, n = 9 x..x done.
Test 020 (stripe test 10): lines 274..280, n = 10 x..x done.
Test 021 (stripe test 11): lines 274..280, n = 11 x..x done.
Test 022 (stripe test 12): lines 274..280, n = 12 x..x done.
Test 023 (stripe test 13): lines 274..280, n = 13 x..x done.
Test 024 (stripe test 14): lines 274..280, n = 14 x..x done.
Test 025 (stripe test 15): lines 274..280, n = 15 x..x done.
Test 026 (stripe test 16): lines 274..280, n = 16 x..x done.
Test 027 (stripe test 17): lines 274..280, n = 17 x..x done.
Test 028 (stripe test 18): lines 274..280, n = 18 x..x done.
Test 029 (stripe test 19): lines 274..280, n = 19 x..x done.
Test 030 (stripe test 20): lines 274..280, n = 20 x..x done.
Test 031 (stripe test 21): lines 274..280, n = 21 x..x done.
Test 032 (stripe test 22): lines 274..280, n = 22 x..x done.
Test 033 (stripe test 23): lines 274..280, n = 23 x..x done.
Test 034 (stripe test 24): lines 274..280, n = 24 x..x done.
Test 035 (stripe test 25): lines 274..280, n = 25 x..x done.
Test 036 (cyclic stripe 24 test 1): lines 287..299, n = 24 x..x done.
Test 037 (cyclic stripe 24 test 2): lines 287..299, n = 25 x..x done.
Test 038 (cyclic stripe 24 test 3): lines 287..299, n = 26 x..x done.
Test 039 (cyclic stripe 25 test 1): lines 287..299, n = 25 x..x done.
Test 040 (cyclic stripe 25 test 2): lines 287..299, n = 26 x..x done.
Test 041 (cyclic stripe 26 test 1): lines 287..299, n = 26 x..x done.
Test 042 (full hand test 1): lines 304..308, n = 3 x..x done.
Test 043 (full hand test 2): lines 310..316, n = 5 x..x done.
Test 044 (maximal test 1): lines 324..326, n = 1 ...x done.
Test 045 (random tiny front test 1): lines 330..341, n = 24 ...x done.
Test 046 (random tiny back test 1): lines 343..354, n = 24 ...x done.
Test 047 (random tiny front test 2): lines 330..341, n = 26 ...x done.
Test 048 (random tiny back test 2): lines 343..354, n = 25 ...x done.
Test 049 (random tiny front test 3): lines 330..341, n = 26 ...x done.
Test 050 (random tiny back test 3): lines 343..354, n = 24 ...x done.
Test 051 (random tiny front test 4): lines 330..341, n = 24 ...x done.
Test 052 (random tiny back test 4): lines 343..354, n = 25 ...x done.
Test 053 (random tiny front test 5): lines 330..341, n = 23 ...x done.
Test 054 (random tiny back test 5): lines 343..354, n = 24 ...x done.
Test 055 (random test 1): lines 359..364, n = 100000 ...x done.
Test 056 (random test 2): lines 359..364, n = 100000 ...x done.
Test 057 (random test 3): lines 359..364, n = 100000 ...x done.
Test 058 (random test 4): lines 359..364, n = 100000 ...x done.
Test 059 (random test 5): lines 359..364, n = 100000 ...x done.
Test 060 (cover test 1): lines 374..382, n = 26 ...x done.
Test 061 (cover test 2): lines 374..382, n = 325 ...x done.
Test 062 (cover test 3): lines 374..382, n = 2600 ...x done.
Test 063 (cover test 4): lines 374..382, n = 14950 ...x done.
Test 064 (cover test 5): lines 374..382, n = 65780 ...x done.
Test 065 (cover test 21): lines 374..382, n = 65780 ...x done.
Test 066 (cover test 22): lines 374..382, n = 14950 ...x done.
Test 067 (cover test 23): lines 374..382, n = 2600 ...x done.
Test 068 (cover test 24): lines 374..382, n = 325 ...x done.
Test 069 (cover test 25): lines 374..382, n = 26 ...x done.
Test 070 (cover test 26): lines 374..382, n = 1 ...x done.
Test 071 (weighted random test 1): lines 387..398, n = 100000 ...x done.
Test 072 (weighted random test 2): lines 387..398, n = 100000 ...x done.
Test 073 (weighted random test 3): lines 387..398, n = 100000 ...x done.
Test 074 (weighted random test 4): lines 387..398, n = 100000 ...x done.
Test 075 (weighted random test 5): lines 387..398, n = 100000 ...x done.
Test 076 (broken 3 cover + random test 1): lines 407..434, n = 1023 ...x done.
Test 077 (broken 3 cover + random test 2): lines 407..434, n = 1023 ...x done.
Test 078 (broken 3 cover + random test 3): lines 407..434, n = 3597 ...x done.
Test 079 (broken 3 cover + random test 4): lines 407..434, n = 3597 ...x done.
Test 080 (broken 3 cover + random test 5): lines 407..434, n = 3597 ...x done.
Test 081 (broken 4 cover + random test 1): lines 407..434, n = 1022 ...x done.
Test 082 (broken 4 cover + random test 2): lines 407..434, n = 1022 ...x done.
Test 083 (broken 4 cover + random test 3): lines 407..434, n = 3596 ...x done.
Test 084 (broken 4 cover + random test 4): lines 407..434, n = 1022 ...x done.
Test 085 (broken 4 cover + random test 5): lines 407..434, n = 3596 ...x done.
Test 086 (broken 5 cover + random test 1): lines 407..434, n = 3595 ...x done.
Test 087 (broken 5 cover + random test 2): lines 407..434, n = 1021 ...x done.
Test 088 (broken 5 cover + random test 3): lines 407..434, n = 1021 ...x done.
Test 089 (broken 5 cover + random test 4): lines 407..434, n = 1021 ...x done.
Test 090 (broken 5 cover + random test 5): lines 407..434, n = 1021 ...x done.
Test generation successful (90 tests).
