% OFMC

% Version of 2006/02/13

SAMMMARY

SAFE

DETAILS

BOUNDED_NUMBER_OF _SESSIONS PROTOCOL

C:

Program 1

SPAN

Output

ECCAutherCHCAvehiele.if

GOAL

As_ Specific

BACKEND

OFMC

COMMENTS STATITICS

parseTime: 0.00 s

SearchTime: 0.56 s

visitedNodes: 53 nodes

depth: 5 plies