Reading project file program.prj...
Running the test...
 UNKNOWN1 
Battery2
 UNKNOWN2 
Cap
Flashlight
Cap
Flashlight
Cap
Flashlight
Battery1
Flashlight
 UNKNOWN3 
On
 UNKNOWN4 
On
On
On
In
The number of operators defined by the plan 
1
: Plans  (
	<plan_set> : Plan_Set  {
		<first> : Nonempty_Plan_Set  (
			<it> : Plan  (
				<objects> : Obj_Set  {
					<first> : Nonempty_Obj_Set  (
						<it> : Obj  (
							<ident>  : Ident "Battery2" ) ) }
				<predicates> : PredName_Set  {
					<first> : Nonempty_PredName_Set  (
						<it> : PredName  (
							<ident>  : Ident "On" ) ) }
				<operators> : Op_Set  {
					<first> : Nonempty_Op_Set  (
						<it> : Op  (
							<opname> : OpName  (
								<ident>  : Ident "PlaceCap" )
							<preconditions> : Literal_Set  {
								<first> : Nonempty_Literal_Set  (
									<it> : NegLit  (
										<predname> : PredName  (
											<ident>  : Ident "On" )
										<args> : Obj_Set  {
											<first> : Nonempty_Obj_Set  (
												<it> : Obj  (
													<ident>  : Ident "Cap" )
												<next> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Flashlight" ) ) ) } ) ) }
							<effects> : Literal_Set  {
								<first> : Nonempty_Literal_Set  (
									<it> : PosLit  (
										<predname> : PredName  (
											<ident>  : Ident "On" )
										<args> : Obj_Set  {
											<first> : Nonempty_Obj_Set  (
												<it> : Obj  (
													<ident>  : Ident "Cap" )
												<next> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Flashlight" ) ) ) } ) ) } ) ) }
				<initial> : PosLit_Set  {
					<first> : Nonempty_PosLit_Set  (
						<it> : PosLit  (
							<predname> : PredName  (
								<ident>  : Ident "On" )
							<args> : Obj_Set  {
								<first> : Nonempty_Obj_Set  (
									<it> : Obj  (
										<ident>  : Ident "Cap" )
									<next> : Nonempty_Obj_Set  (
										<it> : Obj  (
											<ident>  : Ident "Flashlight" ) ) ) } ) ) }
				<goal> : Literal_Set  {
					<first> : Nonempty_Literal_Set  (
						<it> : PosLit  (
							<predname> : PredName  (
								<ident>  : Ident "In" )
							<args> : Obj_Set  {
								<first> : Nonempty_Obj_Set  (
									<it> : Obj  (
										<ident>  : Ident "Battery1" )
									<next> : Nonempty_Obj_Set  (
										<it> : Obj  (
											<ident>  : Ident "Flashlight" ) ) ) } ) ) }
				<opname_set> : OpName_Set  {
					<first> : Nonempty_OpName_Set  (
						<it> : OpName  (
							<ident>  : Ident "RemoveCap" ) ) } ) ) } )done