Report from thread 0 with 32 variables: 7598 nodes and 2147483648 minterms Variable order: x30 x0 x31 x29 x1 x28 x2 x27 x3 x26 x4 x25 x5 x6 x24 x23 x9 x21 x10 x22 x14 x15 x20 x19 x18 x17 x16 x13 x12 x11 x7 x8 A random number from our generator: 751438031 Report from thread 1 with 33 variables: 8333 nodes and 4294967296 minterms Variable order: x32 x0 x31 x1 x30 x2 x29 x3 x28 x4 x27 x5 x26 x6 x25 x7 x24 x23 x8 x9 x21 x15 x22 x10 x20 x11 x19 x18 x17 x16 x14 x13 x12 A random number from our generator: 1059943320 Report from thread 2 with 34 variables: 10253 nodes and 8589934592 minterms Variable order: x32 x0 x33 x31 x1 x30 x2 x29 x3 x28 x4 x27 x5 x26 x6 x25 x7 x8 x24 x23 x12 x16 x17 x15 x22 x21 x20 x19 x18 x14 x13 x11 x10 x9 A random number from our generator: 1374140202 Report from thread 3 with 35 variables: 12330 nodes and 17179869184 minterms Variable order: x33 x0 x34 x1 x32 x31 x2 x30 x3 x4 x29 x28 x5 x6 x27 x26 x7 x25 x8 x23 x12 x24 x16 x17 x13 x22 x21 x20 x19 x18 x15 x14 x11 x10 x9 A random number from our generator: 1150759539