At [2013-10-06 10:41:52]: this is a test generator using gentools v0.7.245.
Generating all tests for problem "intset"...
Test 001 (n = 4, l = 1, m = 2. first example): lines 70..74,  x..x done.
Test 002 (gen_random(n:20, seed:1)): lines 62..66,  x..x done.
Test 003 (gen_random(n:20, seed:2)): lines 62..66,  x..x done.
Test 004 (gen_random(n:20, seed:3)): lines 62..66,  x..x done.
Test 005 (gen_random(n:100, seed:11)): lines 62..66,  x..x done.
Test 006 (gen_random(n:100, seed:12)): lines 62..66,  x..x done.
Test 007 (gen_random(n:100, seed:13)): lines 62..66,  x..x done.
Test 008 (gen_random(n:1000, seed:21)): lines 62..66,  x..x done.
Test 009 (gen_random(n:1000, seed:22)): lines 62..66,  x..x done.
Test 010 (gen_random(n:1000, seed:23)): lines 62..66,  x..x done.
Test 011 (gen_random(n:1000, seed:24)): lines 62..66,  x..x done.
Test 012 (gen_random(n:1000, seed:25)): lines 62..66,  x..x done.
Test 013 (gen_random(n:10000, seed:31)): lines 62..66,  x..x done.
Test 014 (gen_random(n:10000, seed:32)): lines 62..66,  x..x done.
Test 015 (gen_random(n:10000, seed:33)): lines 62..66,  x..x done.
Test 016 (n = 65536, l = 128, m = 1024. ): lines 70..74,  x..x done.
Test 017 (gen_random(n:100000, seed:31)): lines 62..66,  x..x done.
Test 018 (gen_random(n:100000, seed:32)): lines 62..66,  x..x done.
Test 019 (gen_random(n:100000, seed:33)): lines 62..66,  x..x done.
Test 020 (gen_random(n:1000000, seed:3001)): lines 62..66,  x..x done.
Test 021 (gen_random(n:1000000, seed:3002)): lines 62..66,  x..x done.
Test 022 (gen_random(n:1000000, seed:3003)): lines 62..66,  x..x done.
Test 023 (gen_random(n:1000000, seed:3004)): lines 62..66,  x..x done.
Test 024 (gen_random(n:1000000, seed:3005)): lines 62..66,  x..x done.
Test 025 (n = 1000000, l = 1, m = 500000. P{k==0} = 1/2): lines 70..74,  x..x done.
Test 026 (n = 1000000, l = 1000000, m = 1000000. P{k==MAXN} = 1.0): lines 70..74,  x..x done.
Test 027 (n = 1000000, l = 64940, m = 503611. Vasya wins with probability <= 0.5 + 5e-6): lines 70..74,  x..x done.
Test 028 (n = 1000000, l = 992072, m = 994136. max answer from stress2 selection): lines 70..74,  x..x done.
Test 029 (n = 1000000, l = 3184, m = 23659. min answer from stress2 selection): lines 70..74,  x..x done.
Test generation successful (29 tests).
