Reading project file program.prj...
Running the test...
: Test  (
	<inputoutput_list> : InputOutput_List  {
		<first> : Nonempty_InputOutput_List  (
			<it> : InputOutput  (
				<input> : CNF  (
					<clauses> : Clause_List  {
						<first> : Nonempty_Clause_List  (
							<it> : Clause  (
								<literals> : Literal_List  {
									<first> : Nonempty_Literal_List  (
										<it> : Pos  (
											<variable> : Variable  (
												<ident>  : Ident "a" ) )
										<next> : Nonempty_Literal_List  (
											<it> : Neg  (
												<variable> : Variable  (
													<ident>  : Ident "b" ) )
											<next> : Nonempty_Literal_List  (
												<it> : Pos  (
													<variable> : Variable  (
														<ident>  : Ident "c" ) ) ) ) ) } )
							<next> : Nonempty_Clause_List  (
								<it> : Clause  (
									<literals> : Literal_List  {
										<first> : Nonempty_Literal_List  (
											<it> : Neg  (
												<variable> : Variable  (
													<ident>  : Ident "a" ) )
											<next> : Nonempty_Literal_List  (
												<it> : Pos  (
													<variable> : Variable  (
														<ident>  : Ident "b" ) )
												<next> : Nonempty_Literal_List  (
													<it> : Neg  (
														<variable> : Variable  (
															<ident>  : Ident "c" ) ) ) ) ) } )
								<next> : Nonempty_Clause_List  (
									<it> : Clause  (
										<literals> : Literal_List  {
											<first> : Nonempty_Literal_List  (
												<it> : Pos  (
													<variable> : Variable  (
														<ident>  : Ident "a" ) ) ) } ) ) ) ) }
					<sat>  : int "0"
					<unsat>  : int "0" )
				<assignment> : Neg  (
					<variable> : Variable  (
						<ident>  : Ident "a" ) )
				<output> : CNF  (
					<clauses> : Clause_List  {
						<first> : Nonempty_Clause_List  (
							<it> : Clause  (
								<literals> : Literal_List  {
									<first> : Nonempty_Literal_List  (
										<it> : Neg  (
											<variable> : Variable  (
												<ident>  : Ident "b" ) )
										<next> : Nonempty_Literal_List  (
											<it> : Pos  (
												<variable> : Variable  (
													<ident>  : Ident "c" ) ) ) ) } ) ) }
					<sat>  : int "1"
					<unsat>  : int "1" ) )
			<next> : Nonempty_InputOutput_List  (
				<it> : InputOutput  (
					<input> : CNF  (
						<clauses> : Clause_List  {
							<first> : Nonempty_Clause_List  (
								<it> : Clause  (
									<literals> : Literal_List  { } ) ) }
						<sat>  : int "777"
						<unsat>  : int "0" )
					<assignment> : Neg  (
						<variable> : Variable  (
							<ident>  : Ident "b" ) )
					<output> : CNF  (
						<clauses> : Clause_List  {
							<first> : Nonempty_Clause_List  (
								<it> : Clause  (
									<literals> : Literal_List  { } ) ) }
						<sat>  : int "777"
						<unsat>  : int "0" ) )
				<next> : Nonempty_InputOutput_List  (
					<it> : InputOutput  (
						<input> : CNF  (
							<clauses> : Clause_List  {
								<first> : Nonempty_Clause_List  (
									<it> : Clause  (
										<literals> : Literal_List  { } ) ) }
							<sat>  : int "0"
							<unsat>  : int "0" )
						<assignment> : Neg  (
							<variable> : Variable  (
								<ident>  : Ident "b" ) )
						<output> : CNF  (
							<clauses> : Clause_List  {
								<first> : Nonempty_Clause_List  (
									<it> : Clause  (
										<literals> : Literal_List  { } ) ) }
							<sat>  : int "0"
							<unsat>  : int "0" ) ) ) ) ) } ) done