------TDLITE ABox: Assertions: 10500000  Indiv:100  N:50  T:5
ALL Individual
Concept_Assertions:24618
Role_Assertions:4184224
Total: 4208842.0

------ Shifted TDLITE ABOX
Gain_Rigid= 1577155

------ABox -> FO :
FO Local=49000
FO Global=9000
Size FO ABox: 82618
QTL NA/AA:31710ms

------FO -> Abstract FO :
Indv:100
New Indv:100
Size FO ABstract ABox: 82618
TIME ABS:28577ms
Qtl N -> LTL:
QTL->LTL NA:82372ms
QTL->LTL AA:195297ms
tr-timeNA:114082ms
tr-timeAA:255584ms
------Generating NuSMV files...
time file SMV NA:1247ms
time file SMV AA:1306ms
------Generating Black files...
time file pltl NA:1127ms
time file pltl AA:1111ms
Generating FO file...
Num of Propositions: 111348
Num of Propositions ABSTRACT: 111348