Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/GtsCe_3.json -R -O -V Low
DFA generation time: 0.244 seconds 
DFA states: 513 
DFA transitions: 2516
Problem file: data/zoo_json_waypoint8/GtsCe_3.json
Switches to update: 204

Decomposed topology into 4 subproblems
Topological decomposition took 0.285 seconds
Subproblem verification time: 0.448 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.103 seconds
Minimum batches required: 5
[[6, 92, 123, 139, 7, 8, 9, 14, 91, 109, 110, 121, 116, 113, 120, 124, 141, 133, 148, 29, 142, 28, 54, 55, 155, 241, 272, 288, 156, 157, 158, 163, 240, 258, 259, 270, 265, 262, 269, 273, 290, 282, 297, 178, 291, 177, 203, 204, 304, 390, 421, 437, 305, 306, 307, 312, 389, 407, 408, 419, 414, 411, 418, 422, 439, 431, 446, 327, 440, 326, 352, 353, 453, 539, 570, 586, 454, 455, 456, 461, 538, 556, 557, 568, 563, 560, 567, 571, 588, 580, 595, 476, 589, 475, 501, 502], [144, 131, 94, 5, 293, 280, 243, 154, 442, 429, 392, 303, 591, 578, 452], [130, 279, 428, 577], [4, 16, 95, 96, 93, 17, 132, 125, 61, 33, 129, 78, 85, 82, 81, 20, 140, 51, 87, 117, 58, 53, 153, 165, 244, 245, 242, 166, 281, 274, 210, 182, 278, 227, 234, 231, 230, 169, 289, 200, 236, 266, 207, 202, 302, 314, 393, 394, 391, 315, 430, 423, 359, 331, 427, 376, 383, 380, 379, 318, 438, 349, 385, 415, 356, 351, 541], [451, 463, 542, 543, 540, 464, 579, 572, 508, 480, 576, 525, 532, 529, 528, 467, 587, 498, 534, 564, 505, 500]]
Total program runtime: 1.941 seconds

real 2.28
user 5.64
sys 0.45
