Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Janetbackbone_3.json -E -C -R -O -V Low
DFA generation time: 0.035 seconds 
DFA states: 19 
DFA transitions: 213
Problem file: data/zoo_json_cond_enf2/Janetbackbone_3.json
Switches to update: 32

Decomposed topology into 4 subproblems
Topological decomposition took 0.041 seconds
Subproblem verification time: 0.133 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 69.65 seconds
Minimum batches required: 2
[[28, 16, 11, 18, 12, 57, 103, 98, 105, 115, 74, 69, 76, 86, 45, 40, 47, 99, 70, 41], [14, 17, 5, 43, 104, 92, 101, 75, 63, 72, 46, 34]]
Total program runtime: 70.466 seconds

real 70.80
user 70.89
sys 1.41
