Tparse =0.01 sec
Tanalyse=0.05 sec
Total BuDDy init time: 0.09 seconds 
Total time to build action transition relation: 0.08 seconds 
Added 39 partitions improving -1 optimized to 1 partitions
Added 39 partitions improving 1 optimized to 1 partitions


Disjunctive partitioning
  Partition # : 0
   exp nodecount : 669
   improvement : -1
   action name : 
   modify : 0 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 
   BDD varsetb : <1:1, 3:1, 5:1, 7:1, 9:1, 11:1, 13:1, 15:1, 17:1, 19:1, 21:1, 23:1, 25:1, 27:1, 29:1, 31:1, 33:1, 35:1, 37:1, 39:1, 41:1>
   BDD varsetf : <0:1, 2:1, 4:1, 6:1, 8:1, 10:1, 12:1, 14:1, 16:1, 18:1, 20:1, 22:1, 24:1, 26:1, 28:1, 30:1, 32:1, 34:1, 36:1, 38:1, 40:1>
  Partition # : 1
   exp nodecount : 668
   improvement : 1
   action name : 
   modify : 0 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 
   BDD varsetb : <1:1, 3:1, 5:1, 7:1, 9:1, 11:1, 13:1, 15:1, 17:1, 19:1, 21:1, 23:1, 25:1, 27:1, 29:1, 31:1, 33:1, 35:1, 37:1, 39:1, 41:1>
   BDD varsetf : <0:1, 2:1, 4:1, 6:1, 8:1, 10:1, 12:1, 14:1, 16:1, 18:1, 20:1, 22:1, 24:1, 26:1, 28:1, 30:1, 32:1, 34:1, 36:1, 38:1, 40:1>
