Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/KRS009-1/VerificationProblems/iProver-SAT---3.7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]clause_1.p2024-10-04 18:24 102  
[TXT]clause_15.p2024-10-04 18:24 123  
[TXT]clause_16.p2024-10-04 18:24 123  
[TXT]clause_8.p2024-10-04 18:24 127  
[TXT]clause_9.p2024-10-04 18:24 127  
[TXT]clause_2.p2024-10-04 18:24 128  
[TXT]clause_3.p2024-10-04 18:24 128  
[TXT]clause_21.p2024-10-04 18:24 128  
[TXT]clause_22.p2024-10-04 18:24 128  
[TXT]clause_23.p2024-10-04 18:24 129  
[TXT]clause_14.p2024-10-04 18:24 131  
[TXT]clause_12.p2024-10-04 18:24 135  
[TXT]clause_13.p2024-10-04 18:24 135  
[TXT]clause_17.p2024-10-04 18:24 135  
[TXT]clause_19.p2024-10-04 18:24 135  
[TXT]clause_36.p2024-10-04 18:24 135  
[TXT]clause_37.p2024-10-04 18:24 135  
[TXT]clause_40.p2024-10-04 18:24 136  
[TXT]clause_41.p2024-10-04 18:24 136  
[TXT]clause_5.p2024-10-04 18:24 137  
[TXT]clause_6.p2024-10-04 18:24 137  
[TXT]clause_18.p2024-10-04 18:24 138  
[TXT]clause_20.p2024-10-04 18:24 138  
[TXT]clause_30.p2024-10-04 18:24 138  
[TXT]clause_31.p2024-10-04 18:24 138  
[TXT]clause_32.p2024-10-04 18:24 138  
[TXT]clause_24.p2024-10-04 18:24 145  
[TXT]clause_11.p2024-10-04 18:24 150  
[TXT]clause_35.p2024-10-04 18:24 150  
[TXT]clause_4.p2024-10-04 18:24 152  
[TXT]clause_39.p2024-10-04 18:24 152  
[TXT]clause_27.p2024-10-04 18:24 153  
[TXT]clause_28.p2024-10-04 18:24 153  
[TXT]clause_29.p2024-10-04 18:24 153  
[TXT]clause_25.p2024-10-04 18:24 175  
[TXT]clause_26.p2024-10-04 18:24 176  
[TXT]clause_7.p2024-10-04 18:24 180  
[TXT]clause_10.p2024-10-04 18:24 182  
[TXT]clause_34.p2024-10-04 18:24 182  
[TXT]clause_38.p2024-10-04 18:24 182  
[TXT]clause_33.p2024-10-04 18:24 239  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443