11 lines
510 B
Plaintext
11 lines
510 B
Plaintext
|
|
Verbose level: 1
|
|
Formula AG((((((((((((((((p0 AND p1) AND p2) AND p3) AND p4) AND p5) AND p6) AND p7) AND p8) AND p9) AND p10) AND p11) AND p12) AND p13) AND p14) IMPLIES A[{inc}]X(((((((((((((((~p0 AND ~p1) AND ~p2) AND ~p3) AND ~p4) AND ~p5) AND ~p6) AND ~p7) AND ~p8) AND ~p9) AND ~p10) AND ~p11) AND ~p12) AND ~p13) AND ~p14)))) holds
|
|
|
|
Encoding time: 0.002 sec
|
|
Verification time: 4.708 sec
|
|
Encoding memory: 9.953 MB
|
|
Memory (total): 24.08 MB
|
|
TOTAL time: 4.71 sec
|
|
STAT; 0.002 ; 4.708 ; 9.953 ; 24.08 ; 4.71
|