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

Decomposed topology into 8 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 0.211 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.066 seconds
Minimum batches required: 3
[[0, 8, 25, 26, 27, 35, 52, 53, 54, 62, 79, 80, 81, 89, 106, 107, 108, 116, 133, 134, 135, 143, 160, 161, 162, 170, 187, 188, 189, 197, 214, 215], [3, 5, 30, 32, 57, 59, 84, 86, 111, 113, 138, 140, 165, 167, 192, 194], [4, 6, 7, 1, 20, 15, 31, 33, 34, 28, 47, 42, 58, 60, 61, 55, 74, 69, 85, 87, 88, 82, 101, 96, 112, 114, 115, 109, 128, 123, 139, 141, 142, 136, 155, 150, 166, 168, 169, 163, 182, 177, 193, 195, 196, 190, 209, 204]]
Total program runtime: 1.284 seconds

real 1.64
user 3.09
sys 0.49
