At [2013-10-06 10:43:53]: this is a test generator using gentools v0.8.458.
Generating all tests for problem "revolving-lasers"...
Test 001 (first example): lines 137..139, n = 1 x..x done.
Test 002 (second example): lines 141..144, n = 2 x..x done.
Test 003 (corner test one 1): lines 163..165, n = 1 x..x done.
Test 004 (corner test one 2): lines 163..165, n = 1 x..x done.
Test 005 (corner test one 3): lines 163..165, n = 1 x..x done.
Test 006 (corner test one 4): lines 163..165, n = 1 x..x done.
Test 007 (corner test one 5): lines 163..165, n = 1 x..x done.
Test 008 (corner test one 6): lines 163..165, n = 1 x..x done.
Test 009 (corner test one 7): lines 163..165, n = 1 x..x done.
Test 010 (corner test one 8): lines 163..165, n = 1 x..x done.
Test 011 (corner test one 9): lines 163..165, n = 1 x..x done.
Test 012 (corner test one 10): lines 163..165, n = 1 x..x done.
Test 013 (corner test one 11): lines 163..165, n = 1 x..x done.
Test 014 (corner test one 12): lines 163..165, n = 1 x..x done.
Test 015 (corner test one 13): lines 163..165, n = 1 x..x done.
Test 016 (corner test one 14): lines 163..165, n = 1 x..x done.
Test 017 (corner test one 15): lines 163..165, n = 1 x..x done.
Test 018 (corner test one 16): lines 163..165, n = 1 x..x done.
Test 019 (corner test one 17): lines 163..165, n = 1 x..x done.
Test 020 (corner test one 18): lines 163..165, n = 1 x..x done.
Test 021 (corner test one 19): lines 163..165, n = 1 x..x done.
Test 022 (corner test one 20): lines 163..165, n = 1 x..x done.
Test 023 (corner test one 21): lines 163..165, n = 1 x..x done.
Test 024 (corner test one 22): lines 163..165, n = 1 x..x done.
Test 025 (corner test one 23): lines 163..165, n = 1 x..x done.
Test 026 (corner test one 24): lines 163..165, n = 1 x..x done.
Test 027 (corner test one 25): lines 163..165, n = 1 x..x done.
Test 028 (corner test one 26): lines 163..165, n = 1 x..x done.
Test 029 (corner test one 27): lines 163..165, n = 1 x..x done.
Test 030 (minimal test): lines 176..177, n = 0 x..x done.
Test 031 (second example variation 1): lines 179..182, n = 2 x..x done.
Test 032 (second example variation 2): lines 184..187, n = 2 x..x done.
Test 033 (second example variation 3): lines 189..192, n = 2 x..x done.
Test 034 (second example variation 4): lines 194..197, n = 2 x..x done.
Test 035 (small hand test 1): lines 199..202, n = 2 x..x done.
Test 036 (small hand test 2): lines 204..207, n = 2 x..x done.
Test 037 (small hand test 3): lines 209..212, n = 2 x..x done.
Test 038 (small hand test 4): lines 214..217, n = 2 x..x done.
Test 039 (small hand test 5): lines 219..222, n = 2 x..x done.
Test 040 (small hand test 6): lines 224..227, n = 2 x..x done.
Test 041 (small hand test 7): lines 229..232, n = 2 x..x done.
Test 042 (small hand test 8): lines 234..237, n = 2 x..x done.
Test 043 (small hand test 9): lines 239..242, n = 2 x..x done.
Test 044 (small hand test 10): lines 244..247, n = 2 x..x done.
Test 045 (small hand test 11): lines 249..252, n = 2 x..x done.
Test 046 (small hand test 12): lines 254..257, n = 2 x..x done.
Test 047 (small hand test 13): lines 259..262, n = 2 x..x done.
Test 048 (small hand test 14): lines 264..267, n = 2 x..x done.
Test 049 (small hand test 15): lines 269..272, n = 2 x..x done.
Test 050 (large hand test 1): lines 279..283, n = 3 x..x done.
Test 051 (large hand test 2): lines 285..289, n = 3 x..x done.
Test 052 (large hand test 3): lines 291..295, n = 3 x..x done.
Test 053 (large hand test 4): lines 297..301, n = 3 x..x done.
Test 054 (large hand test 5): lines 303..307, n = 3 x..x done.
Test 055 (large hand test 6): lines 309..313, n = 3 x..x done.
Test 056 (large hand test 7): lines 315..319, n = 3 x..x done.
Test 057 (large hand test 8): lines 321..325, n = 3 x..x done.
Test 058 (large hand test 9): lines 327..331, n = 3 x..x done.
Test 059 (large hand test 10): lines 333..337, n = 3 x..x done.
Test 060 (large hand test 11): lines 339..342, n = 2 x..x done.
Test 061 (large hand test 12): lines 344..347, n = 2 x..x done.
Test 062 (large hand test 13): lines 349..352, n = 2 x..x done.
Test 063 (large hand test 14): lines 354..357, n = 2 x..x done.
Test 064 (large hand test 15): lines 359..362, n = 2 x..x done.
Test 065 (large hand test 16): lines 364..367, n = 2 x..x done.
Test 066 (large hand test 17): lines 369..372, n = 2 x..x done.
Test 067 (large hand test 18): lines 374..377, n = 2 x..x done.
Test 068 (large hand test 19): lines 379..382, n = 2 x..x done.
Test 069 (large hand test 20): lines 384..387, n = 2 x..x done.
Test 070 (large hand test 21): lines 389..393, n = 3 x..x done.
Test 071 (large hand test 22): lines 395..399, n = 3 x..x done.
Test 072 (large hand test 23): lines 401..405, n = 3 x..x done.
Test 073 (large hand test 24): lines 407..410, n = 2 x..x done.
Test 074 (large hand test 25): lines 412..415, n = 2 x..x done.
Test 075 (large hand test 26): lines 417..420, n = 2 x..x done.
Test 076 (large hand test 27): lines 422..425, n = 2 x..x done.
Test 077 (large hand test 28): lines 427..430, n = 2 x..x done.
Test 078 (large hand test 29): lines 432..435, n = 2 x..x done.
Test 079 (large hand test 30): lines 437..441, n = 3 x..x done.
Test 080 (large hand test 31): lines 443..447, n = 3 x..x done.
Test 081 (large hand test 32): lines 449..453, n = 3 x..x done.
Test 082 (large hand test 33): lines 455..459, n = 3 x..x done.
Test generation successful (82 tests).
