24 October 2011 04:06:52 PM SATISFY_MPI C++/MPI version We have a logical function of N logical arguments. We do an exhaustive search of all 2^N possibilities, seeking those inputs that make the function TRUE. The number of logical variables is N = 23 The number of input vectors to check is 8388608 # Processor Index ---------Input Values------------------------ Processor 0 iterates from 0 <= I < 1048576 Processor 2 iterates from 2097152 <= I < 3145728 Processor 4 iterates from 4194304 <= I < 5242880 Processor 5 iterates from 5242880 <= I < 6291456 Processor 7 iterates from 7340032 <= I < 8388608 Processor 1 iterates from 1048576 <= I < 2097152 Processor 3 iterates from 3145728 <= I < 4194304 Processor 6 iterates from 6291456 <= I < 7340032 1 7 7851229 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 2 7 7851261 1 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 3 7 7855325 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 4 7 7855357 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 1 3 3656933 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 2 3 3656941 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 1 3 3 3656957 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 5 5754104 1 0 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 2 5 5754109 1 0 1 0 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 3 5 5758200 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 0 0 0 4 5 5758205 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 4 3 3661029 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 1 5 3 3661037 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 1 6 3 3661053 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 0 1 7 3 3665125 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 Number of solutions found was 15 Elapsed wall clock time (seconds) 0.396032 SATISFY_MPI Normal end of execution. 24 October 2011 04:06:52 PM