init: 0.408sec
norm: 1.24sec
prop: 0.008sec
nb of constant: 813
nb of subterms: 38
nb_prop: 1712
Property of 1 constant: 
13: (D$true | (~ C0))
10: C0
4: (C0 | ((~ C0) | (~ C0)))
3: C0
2: (C0 | (~ C0))
2: (!V0, (V0 | ((~ V0) | (~ C0))))
2: (!V0, (V0 | (~ C0)))
2: (!V1, (!V0, (V1 V0)))
1: (!V0, (V0 | ((~ V0) | (~ C0))))
1: (!V0, (!V1, (((C0 V0) V1) | (~ ((C0 V1) V0)))))
Property of 2 constants: 
18: (C1 | (~ C0))
10: (!V0, (!V1, (((C1 V0) V1) = ((C1 V1) V0))))
8: (C1 | ((~ C0) | (~ C0)))
7: (C3 C1)
7: (!V0, (V0 = (C1 (C1 V0))))
6: (!V2, (!V1, (!V0, (((C1 V2) ((C1 V1) V0)) = ((C1 ((C1 V2) V1)) V0)))))
5: ((C2 D$o) C0)
5: (C2 C1)
4: (!V1, (!V0, (C1 (V1 = V0))))
3: (C2 C1)
Property: 
18: (C1 | (~ C0))
18: ((C2 C0) C1)
13: (D$true | (~ C0))
10: ((C3 C0) C1)
10: C0
10: (!V0, (!V1, (((C1 V0) V1) = ((C1 V1) V0))))
9: (!V0, (V0 = ((C2 V0) C1)))
8: (!V0, (C2 (C1 V0)))
8: ((C2 C1) C0)
8: (C1 | ((~ C0) | (~ C0)))
