
Verbose level: 1
Formula E[{}]F(r) does not hold

Encoding time: 0.041 sec
Verification time: 137.7 sec
Encoding memory: 12.91 MB
Memory (total): 136.8 MB
TOTAL time: 137.8 sec
STAT; 0.041 ; 137.7 ; 12.91 ; 136.8 ; 137.8
