------TDLITE ABox: Assertions: 325000  Indiv:100  N:2  T:5
ALL Individual
Concept_Assertions:965
Role_Assertions:159818
Total: 160783.0

------ Shifted TDLITE ABOX
Gain_Rigid= 59912

------ABox -> FO :
FO Local=2000
FO Global=400
Size FO ABox: 3365
QTL NA/AA:127ms

------FO -> Abstract FO :
Indv:100
New Indv:15
Size FO ABstract ABox: 491
TIME ABS:3ms
Qtl N -> LTL:
QTL->LTL NA:180ms
QTL->LTL AA:4ms
tr-timeNA:307ms
tr-timeAA:134ms
------Generating NuSMV files...
time file SMV NA:25ms
time file SMV AA:6ms
------Generating Black files...
time file pltl NA:23ms
time file pltl AA:5ms
Generating FO file...
Num of Propositions: 1728
Num of Propositions ABSTRACT: 368