Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/PionierL3_4.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 161
Problem file: dataND/zoo_json_MF/PionierL3_4.json
Switches to update: 136

Decomposed topology into 8 subproblems
Topological decomposition took 0.068 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[20, 6, 34, 0, 35, 36, 3, 11, 28, 58, 44, 72, 38, 73, 74, 41, 49, 66, 96, 82, 110, 76, 111, 112, 79, 87, 104, 134, 120, 148, 114, 149, 150, 117, 125, 142, 172, 158, 186, 152, 187, 188, 155, 163, 180, 210, 196, 224, 190, 225, 226, 193, 201, 218, 248, 234, 262, 228, 263, 264, 231, 239, 256, 286, 272, 300, 266, 301, 302, 269, 277, 294], [27, 65, 103, 141, 179, 217, 255, 293], [26, 25, 33, 15, 32, 31, 13, 64, 63, 71, 53, 70, 69, 51, 102, 101, 109, 91, 108, 107, 89, 140, 139, 147, 129, 146, 145, 127, 178, 177, 185, 167, 184, 183, 165, 216, 215, 223, 205, 222, 221, 203, 254, 253, 261, 243, 260, 259, 241, 292, 291, 299, 281, 298, 297, 279]]
Total program runtime: 1.014 seconds

real 1.32
user 3.19
sys 0.32
