------TDLITE ABox: Assertions: 4020000  Indiv:100  N:50  T:5
ALL Individual
Concept_Assertions:19915
Role_Assertions:2683429
Total: 2703344.0

------ Shifted TDLITE ABOX
Gain_Rigid= 875205

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

------FO -> Abstract FO :
Indv:100
New Indv:100
Size FO ABstract ABox: 77915
TIME ABS:21467ms
Qtl N -> LTL:
QTL->LTL NA:67162ms
QTL->LTL AA:82693ms
tr-timeNA:97038ms
tr-timeAA:134036ms
------Generating NuSMV files...
time file SMV NA:1132ms
time file SMV AA:1180ms
------Generating Black files...
time file pltl NA:1015ms
time file pltl AA:991ms
Generating FO file...
Num of Propositions: 111348
Num of Propositions ABSTRACT: 111348