Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Uninett2010_4.json -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 7 
DFA transitions: 325
Problem file: data/zoo_json_cond_enf1/Uninett2010_4.json
Switches to update: 152

Decomposed topology into 8 subproblems
Topological decomposition took 0.085 seconds
Subproblem verification time: 0.181 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.039 seconds
Minimum batches required: 3
[[72, 66, 71, 70, 69, 68, 26, 14, 12, 13, 145, 139, 144, 143, 142, 141, 99, 87, 85, 86, 218, 212, 217, 216, 215, 214, 172, 160, 158, 159, 291, 285, 290, 289, 288, 287, 245, 233, 231, 232, 364, 358, 363, 362, 361, 360, 318, 306, 304, 305, 437, 431, 436, 435, 434, 433, 391, 379, 377, 378, 510, 504, 509, 508, 507, 506, 464, 452, 450, 451, 583, 577, 582, 581, 580, 579, 537, 525, 523, 524], [67, 64, 140, 137, 213, 210, 286, 283, 359, 356, 432, 429, 505, 502, 578, 575], [65, 2, 3, 1, 8, 15, 31, 138, 75, 76, 74, 81, 88, 104, 211, 148, 149, 147, 154, 161, 177, 284, 221, 222, 220, 227, 234, 250, 357, 294, 295, 293, 300, 307, 323, 430, 367, 368, 366, 373, 380, 396, 503, 440, 441, 439, 446, 453, 469, 576, 513, 514, 512, 519, 526, 542]]
Total program runtime: 1.16 seconds

real 1.49
user 3.30
sys 0.42
