TSTP Solution File: SYN908-1 by SNARK---20120808r022
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SNARK---20120808r022
% Problem : SYN908-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run-snark %s %d
% Computer : n025.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Thu Jul 21 12:08:12 EDT 2022
% Result : Timeout 300.04s 300.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SYN908-1 : TPTP v8.1.0. Released v2.5.0.
% 0.03/0.12 % Command : run-snark %s %d
% 0.12/0.33 % Computer : n025.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jul 12 08:11:33 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.18/0.44 /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.18/0.45 *
% 0.18/0.45 *
% 0.18/0.45 #<PACKAGE "SNARK-USER">
% 0.18/0.45 *
% 0.18/0.45 SNARK-TPTP-OPTIONS
% 0.18/0.45 *
% 0.18/0.46 ((AGENDA-LENGTH-LIMIT NIL) (AGENDA-LENGTH-BEFORE-SIMPLIFICATION-LIMIT NIL)
% 0.18/0.46 (USE-HYPERRESOLUTION T) (USE-UR-RESOLUTION T) (USE-PARAMODULATION T)
% 0.18/0.46 (USE-FACTORING :POS)
% 0.18/0.46 (USE-LITERAL-ORDERING-WITH-HYPERRESOLUTION 'LITERAL-ORDERING-P)
% 0.18/0.46 (USE-LITERAL-ORDERING-WITH-PARAMODULATION 'LITERAL-ORDERING-P)
% 0.18/0.46 (ORDERING-FUNCTIONS>CONSTANTS T) (ASSERT-CONTEXT :CURRENT)
% 0.18/0.46 (RUN-TIME-LIMIT 300) (LISTEN-FOR-COMMANDS NIL)
% 0.18/0.46 (USE-CLOSURE-WHEN-SATISFIABLE T) (PRINT-ROWS-WHEN-GIVEN NIL)
% 0.18/0.46 (PRINT-ROWS-WHEN-DERIVED NIL) (PRINT-UNORIENTABLE-ROWS NIL)
% 0.18/0.46 (PRINT-ROW-WFFS-PRETTILY NIL) (PRINT-FINAL-ROWS :TPTP)
% 0.18/0.46 (PRINT-OPTIONS-WHEN-STARTING NIL) (USE-VARIABLE-NAME-SORTS NIL)
% 0.18/0.46 (USE-PURITY-TEST T) (USE-RELEVANCE-TEST T) (DECLARE-TPTP-SYMBOLS1)
% 0.18/0.46 (DECLARE-TPTP-SYMBOLS2))
% 0.18/0.46 *
% 0.18/0.46 "."
% 0.18/0.46 *
% 0.18/0.46 ; Begin refute-file /export/starexec/sandbox2/benchmark/theBenchmark.p 2022-07-12T08:11:33
% 0.18/0.46 ; Running SNARK from /davis/home/graph/tptp/Systems/SNARK---20120808r022/Source/snark-system.lisp in SBCL 1.0.12 on n025.cluster.edu at 2022-07-12T08:11:33
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv4| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv53| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv50| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv36| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv39| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv19| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv24| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv23| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv18| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv38| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv40| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv33| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv49| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv51| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv54| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv7| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv2| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssPv8| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP169| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP354| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP414| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP557| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP593| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP708| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP799| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP917| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP16| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP61| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP121| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP166| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP474| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP518| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP656| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP710| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP769| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP855| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP963| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP964| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP856| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP770| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP711| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP657| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP519| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP475| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP167| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP122| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP62| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP17| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP918| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP800| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP709| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP594| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP558| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP415| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP355| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP170| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP899| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP486| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP365| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP258| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.71 WARNING:
% 0.51/0.71 |ssSkP74| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP15| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP60| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP120| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP165| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP353| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP413| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP473| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP517| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP556| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP592| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP655| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP707| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP768| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP798| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP854| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP916| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP962| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP801| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP123| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP965| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP919| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP900| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP857| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP771| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP712| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP658| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP595| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP559| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP520| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP487| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP476| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP416| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP366| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP356| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP259| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP171| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP75| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP63| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP18| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP14| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP59| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP119| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP164| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP352| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP412| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP472| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP516| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP555| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP591| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP654| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP706| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP767| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP797| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP853| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP915| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP961| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP802| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP172| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP124| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP966| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP920| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP901| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP858| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP772| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP713| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP659| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP596| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP560| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP521| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP488| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP477| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP417| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP367| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP357| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP260| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP76| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP64| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP19| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP13| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP58| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP118| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP163| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP351| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP411| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP471| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP515| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP554| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP590| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP653| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP705| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP766| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP796| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP852| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP914| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP960| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP125| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP902| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP173| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP73| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP967| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP921| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP859| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP803| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP773| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP714| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP660| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP597| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP561| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP522| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP489| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP478| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP418| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP368| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP358| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP261| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP77| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP65| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.72 WARNING:
% 0.51/0.72 |ssSkP20| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP12| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP57| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP117| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP162| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP350| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP410| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP470| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP514| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP553| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP589| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP652| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP704| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP765| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP795| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP851| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP913| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP959| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 #:|ssSkC2| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP174| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP903| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP127| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP72| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP968| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP922| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP860| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP804| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP774| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP715| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP661| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP598| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP562| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP523| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP490| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.51/0.73 WARNING:
% 0.51/0.73 |ssSkP479| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP419| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP369| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP359| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP262| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP78| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP66| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP21| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP11| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP56| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP116| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP161| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP349| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP409| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP469| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP513| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP552| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP588| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP651| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP703| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP764| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP794| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP850| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP912| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP958| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 #:|ssSkC3| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP904| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP79| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP420| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP360| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP126| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP969| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP923| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP861| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP805| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP775| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP716| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP662| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP599| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP563| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP524| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP491| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP480| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP370| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP263| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP67| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP22| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP10| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP55| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP115| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP160| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP348| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP408| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP512| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP551| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP587| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP650| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP702| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP763| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP793| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP849| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP911| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP468| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP957| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP905| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP80| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP525| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP481| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP421| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP361| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP68| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP970| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP924| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP862| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP806| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP776| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP717| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP663| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP600| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP564| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP492| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP371| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP264| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.73 WARNING:
% 0.56/0.73 |ssSkP23| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP9| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP54| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP114| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP159| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP407| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP511| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP550| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP586| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP649| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP701| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP762| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP792| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP848| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP910| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP347| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP467| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP956| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP422| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP362| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssPv17| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP69| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP24| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP526| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP482| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP364| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP315| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP971| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP925| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP906| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP863| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP807| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP777| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP718| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP664| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP601| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP565| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP493| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP372| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP265| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP81| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP8| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP113| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP158| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP406| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP549| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP585| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP648| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP700| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP761| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP847| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP909| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP53| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP346| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP510| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP955| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP466| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP639| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 #:|ssSkC7| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 #:|ssSkC8| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP527| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP483| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP640| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP373| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssPv56| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP665| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP70| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP25| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP485| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP424| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP363| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP314| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP972| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP926| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP907| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP864| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP808| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP778| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP719| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP602| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP566| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP494| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP266| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP82| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP7| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP112| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP157| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP345| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP405| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP548| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP584| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP638| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP647| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP699| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP52| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP509| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP760| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP846| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP954| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP34| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP465| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 #:|ssSkC9| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 #:|ssSkC10| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP71| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP567| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP374| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP35| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP666| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP38| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP484| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP423| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP973| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP927| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP865| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP809| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP779| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP720| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP641| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP603| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP495| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP267| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP83| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP26| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP6| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP51| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP111| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP156| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP344| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP404| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP464| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP508| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP547| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP583| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP637| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP646| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP698| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.74 WARNING:
% 0.56/0.74 |ssSkP33| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP759| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP845| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 #:|ssSkC1| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP36| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP568| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP1| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP37| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP974| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP928| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP866| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP810| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP780| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP721| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP667| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP642| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP604| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP496| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP375| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP268| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP84| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP27| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP5| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP32| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP50| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP110| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP155| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP343| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP403| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP463| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP507| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP546| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP636| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP645| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP697| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP758| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP844| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 #:|ssSkC0| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP0| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP975| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP929| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP867| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP811| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP781| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP722| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP668| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP643| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP605| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP569| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP497| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP376| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP269| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP85| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP28| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP4| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP31| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP49| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP109| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP154| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP342| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP402| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP462| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP506| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP545| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP635| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP696| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP843| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP757| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP498| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP976| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP930| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP868| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP812| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP782| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP723| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP669| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP606| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP570| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP377| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP270| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP86| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP29| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP3| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP48| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP108| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP153| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP341| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP401| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP461| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP505| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP544| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP634| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssPv6| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP695| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP756| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP607| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP499| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP869| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP813| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP977| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP931| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP783| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP724| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP670| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP571| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP378| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP271| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP87| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP2| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP47| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP107| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP152| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP340| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP400| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP460| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP504| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP543| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP633| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP755| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssPv37| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP694| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP608| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP870| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP814| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP978| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP932| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP784| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP725| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP671| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP572| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP500| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP379| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP272| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP202| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.75 WARNING:
% 0.56/0.75 |ssSkP88| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP46| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP106| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP151| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP339| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP399| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP459| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP503| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP542| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP632| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP693| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP754| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP726| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP979| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP933| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP871| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP815| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP785| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP672| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP609| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP573| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP501| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP380| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP273| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP203| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP177| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP89| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP45| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP105| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP150| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP338| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP398| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP458| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP692| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP753| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP541| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP727| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP980| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP934| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP872| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP816| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.56/0.76 WARNING:
% 0.56/0.76 |ssSkP786| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP673| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP610| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP574| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP381| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP274| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP204| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP178| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP90| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP44| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP104| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP149| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP337| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP397| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP457| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP691| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP752| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP540| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP728| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssPv20| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP787| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP684| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP981| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP935| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP873| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP817| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP674| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP611| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP575| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP382| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP275| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP205| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP179| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP91| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP43| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP103| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP148| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP336| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP396| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP456| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP539| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP690| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP751| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP322| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 #:|ssSkC14| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP323| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP788| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP683| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP982| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP936| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP874| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP818| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP675| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP612| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP576| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP383| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP276| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP206| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP180| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP92| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP42| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP102| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP147| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP321| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP335| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP455| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP538| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP689| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP750| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP395| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP789| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP730| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP983| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP937| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP875| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP819| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP676| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP613| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP577| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP384| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP324| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP277| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP207| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP181| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP93| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP41| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP101| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP320| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP334| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP454| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP537| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP688| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP749| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP394| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.76 WARNING:
% 0.60/0.76 |ssSkP146| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 #:|ssSkC15| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP578| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP729| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP984| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP938| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP876| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP820| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP677| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP614| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP385| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP325| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP278| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP208| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP182| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP94| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP40| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP100| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP319| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP333| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP393| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP453| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP536| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP687| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP748| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP145| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP615| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP183| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP579| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP985| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP939| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP877| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP821| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP678| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP386| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP326| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP279| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP209| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP95| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP39| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP99| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP144| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP318| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP332| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP392| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP452| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP535| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP686| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP747| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP580| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP280| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP616| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP184| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP96| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP529| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP986| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP940| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP878| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP822| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP679| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP387| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP327| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP210| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP98| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP143| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP317| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP331| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP391| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP451| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP534| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP685| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP746| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 #:|ssSkC11| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP281| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP97| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP680| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP528| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP987| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP941| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP879| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP823| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP617| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP388| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP328| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP211| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP185| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP142| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP316| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP330| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP390| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP450| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP533| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP745| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP681| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP988| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP942| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP880| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP824| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP618| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP389| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP329| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP282| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP212| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP186| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP141| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP449| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP532| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP744| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP682| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP187| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP631| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP989| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP943| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP881| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP825| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP619| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP283| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP213| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP140| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP448| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP531| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP743| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 #:|ssSkC13| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP188| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP630| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP990| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP944| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP882| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP826| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP620| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP284| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP214| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP139| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP447| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP530| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP742| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP991| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP945| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP883| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP827| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP621| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP285| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP215| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.77 WARNING:
% 0.60/0.77 |ssSkP189| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP138| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP446| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP741| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP992| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP946| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP884| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP828| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP622| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP286| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP216| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP190| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP137| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP445| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP740| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP993| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP947| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP885| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP829| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP623| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP287| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP217| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP191| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP136| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP444| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP739| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP994| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP948| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP886| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP830| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP624| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP288| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP218| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP192| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP135| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP443| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP738| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP193| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP949| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP995| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP887| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP831| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP625| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP289| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP219| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP134| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP442| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP737| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP194| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP996| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP950| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP888| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP832| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP626| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP290| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP220| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP133| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP441| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP736| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP951| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP997| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP898| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP627| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP889| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP833| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP291| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP221| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP195| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP132| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP440| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP735| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC18| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP998| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP953| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP628| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP897| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP890| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP834| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP292| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP222| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP196| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP131| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP439| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP734| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC19| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP629| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP582| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP197| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP952| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP891| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP835| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP293| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP223| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP130| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP438| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP733| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC12| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP198| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP581| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP892| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP836| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP294| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP224| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP129| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP437| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP732| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP199| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP176| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP893| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP837| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP295| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP225| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP128| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP436| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP731| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC4| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP296| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP894| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP838| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP175| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP226| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP435| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssPv1| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP227| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP297| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP895| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP839| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP434| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP896| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP840| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP228| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP842| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP791| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP425| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP298| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 |ssSkP433| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC16| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.78 WARNING:
% 0.60/0.78 #:|ssSkC17| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP841| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP790| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP426| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP299| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP229| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP432| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP427| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP300| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP230| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP431| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP428| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP301| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP231| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP430| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP429| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP302| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP232| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP303| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP233| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP304| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP234| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP305| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP235| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP306| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP236| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP307| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP237| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssPv52| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP308| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP238| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP249| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP250| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP309| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP239| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP248| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP310| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP251| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP240| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP247| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP241| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP311| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP252| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP246| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP242| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP312| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP253| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP245| is a 1-ary relation that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP313| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP257| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP254| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP243| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC6| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP255| is a 1-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP201| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP256| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 #:|ssSkC5| is a proposition that occurs only negatively; disabling rows that contain it.
% 0.60/0.79 WARNING:
% 0.60/0.79 |ssSkP200| is a 2-ary relation that occurs only positively; disabling rows that contain it.
% 300.04/300.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------