init: 14.856sec
norm: 24.264sec
prop: 0.092sec
nb of constant: 1268
nb of subterms: 448
nb_prop: 21948
Property of 1 constant: 
12: (!V0, (!V3, (!V2, (!V1, (((((C0 V0) V3) V2) V1) | (~ ((V3 V2) V1)))))))
7: (!V0, (!V4, (!V2, (!V1, (!V3, (((((C0 V0) V4) V2) V1) | ((?V2, (?V1, (((V3 V2) V1) & (~ ((V4 V2) V1))))) | (~ ((((C0 V0) V3) V2) V1)))))))))
7: (!V0, (!V2, (!V1, ((((C0 V0) V2) V1) V1))))
7: (!V0, (!V1, (((C0 V0) V1) = ((C0 V0) ((C0 V0) V1)))))
7: (!V0, (!V3, (!V2, (!V4, (!V1, (((((C0 V0) V3) V2) V4) | ((~ ((((C0 V0) V3) V1) V4)) | (~ ((((C0 V0) V3) V2) V1)))))))))
6: (!V0, (!V3, (!V1, (!V2, (((((C0 V0) V3) V1) V2) | (~ ((((C0 V0) V3) V2) V1)))))))
4: (!V0, (!V3, (!V4, (!V1, (!V2, (((((C0 V0) V3) V4) V1) | ((~ ((V3 V4) V2)) | (~ ((((C0 V0) V3) V2) V1)))))))))
4: (!V0, (!V1, (!V2, ((((C0 V0) V1) V2) = (((C0 V0) V2) V1)))))
4: (!V0, (!V3, (!V2, (!V1, ((((C0 V0) V3) (((C0 V0) V2) V1)) = (((C0 V0) (((C0 V0) V3) V2)) V1))))))
4: (!V1, (!V0, (V1 = (((C0 V0) V1) V1))))
Property of 2 constants: 
36: (C1 = (C2 C1))
32: (!V0, (!V1, (((C1 V0) V1) = ((C1 V1) V0))))
30: (!V2, (!V1, (!V0, (((C1 V2) ((C1 V1) V0)) = ((C1 ((C1 V2) V1)) V0)))))
17: (!V1, (!V0, ((V1 = V0) = ((C1 V1) = (C1 V0)))))
15: (!V1, (!V2, (!V0, (((C1 V1) V2) | ((~ ((C1 V0) V2)) | (~ ((C1 V1) V0)))))))
14: (!V1, (!V2, (!V0, (((C1 V1) ((C1 V2) V0)) = ((C1 V2) ((C1 V1) V0))))))
13: (C2 C1)
13: (!V0, ((C1 V0) V0))
12: (C2 C1)
12: (!V0, (!V3, (!V2, (!V1, (((((C1 V0) V3) V2) V1) | (~ ((((C0 V0) V3) V2) V1)))))))
Property: 
76: (!V0, (!V1, (((C2 V0) V1) | (~ ((C1 V0) V1)))))
76: (!V0, (!V1, (((C3 V0) V1) | (~ ((C2 V0) V1)))))
46: (!V0, ((C2 V0) (C1 (C0 V0))))
46: (!V0, ((C3 V0) (C2 ((C1 C0) V0))))
36: (C1 = (C2 C1))
32: (!V0, (!V1, (((C1 V0) V1) = ((C1 V1) V0))))
30: (!V2, (!V1, (!V0, (((C1 V2) ((C1 V1) V0)) = ((C1 ((C1 V2) V1)) V0)))))
28: (C3 = (C2 C1))
28: (!V0, (!V1, (!V3, (((C3 V0) V1) = ((C3 V0) ((((C2 (C0 V0)) (C0 V0)) (^V2, (((C1 V0) V3) V2))) V1))))))
28: (!V2, (!V1, (!V0, (((C1 (^V3, ((C2 (V2 V3)) (V1 V3)))) V0) | ((~ ((C1 V2) V0)) | (~ ((C1 V1) V0)))))))
