Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Geant2012_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 185
Problem file: dataND/zoo_json_MF/Geant2012_4.json
Switches to update: 152

Decomposed topology into 8 subproblems
Topological decomposition took 0.086 seconds
Subproblem verification time: 0.187 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.095 seconds
Minimum batches required: 3
[[36, 4, 31, 15, 5, 8, 23, 12, 14, 74, 42, 69, 53, 43, 46, 61, 50, 52, 112, 80, 107, 91, 81, 84, 99, 88, 90, 150, 118, 145, 129, 119, 122, 137, 126, 128, 188, 156, 183, 167, 157, 160, 175, 164, 166, 226, 194, 221, 205, 195, 198, 213, 202, 204, 264, 232, 259, 243, 233, 236, 251, 240, 242, 302, 270, 297, 281, 271, 274, 289, 278, 280], [29, 9, 2, 67, 47, 40, 105, 85, 78, 143, 123, 116, 181, 161, 154, 219, 199, 192, 257, 237, 230, 295, 275, 268], [32, 34, 24, 25, 28, 27, 35, 70, 72, 62, 63, 66, 65, 73, 108, 110, 100, 101, 104, 103, 111, 146, 148, 138, 139, 142, 141, 149, 184, 186, 176, 177, 180, 179, 187, 222, 224, 214, 215, 218, 217, 225, 260, 262, 252, 253, 256, 255, 263, 298, 300, 290, 291, 294, 293, 301]]
Total program runtime: 1.457 seconds

real 1.77
user 3.71
sys 0.51
