Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Deltacom_3.json -R -O -V Low
DFA generation time: 0.016 seconds 
DFA states: 3 
DFA transitions: 177
Problem file: dataND/zoo_json_MF/Deltacom_3.json
Switches to update: 144

Decomposed topology into 4 subproblems
Topological decomposition took 0.073 seconds
Subproblem verification time: 0.157 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.063 seconds
Minimum batches required: 3
[[104, 107, 73, 106, 105, 23, 20, 21, 26, 25, 92, 91, 50, 51, 98, 99, 216, 219, 185, 218, 217, 135, 132, 133, 138, 137, 204, 203, 162, 163, 210, 211, 328, 331, 297, 330, 329, 247, 244, 245, 250, 249, 316, 315, 274, 275, 322, 323, 440, 443, 409, 442, 441, 359, 356, 357, 362, 361, 428, 427, 386, 387, 434, 435], [47, 108, 159, 220, 271, 332, 383, 444], [109, 110, 58, 61, 82, 83, 27, 24, 95, 94, 55, 54, 111, 60, 11, 13, 12, 16, 221, 222, 170, 173, 194, 195, 139, 136, 207, 206, 167, 166, 223, 172, 123, 125, 124, 128, 333, 334, 282, 285, 306, 307, 251, 248, 319, 318, 279, 278, 335, 284, 235, 237, 236, 240, 445, 446, 394, 397, 418, 419, 363, 360, 431, 430, 391, 390, 447, 396, 347, 349, 348, 352]]
Total program runtime: 1.0 seconds

real 1.30
user 2.91
sys 0.35
