Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/HWV034-1/VerificationProblems/E-SAT---3.0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]equal_value1.p2024-10-04 18:28 112  
[TXT]equal_value2.p2024-10-04 18:28 112  
[TXT]not_ok_and_abnormal.p2024-10-04 18:28 144  
[TXT]ok_or_abnormal.p2024-10-04 18:28 161  
[TXT]or_0_0x.p2024-10-04 18:28 171  
[TXT]or_0_01.p2024-10-04 18:28 171  
[TXT]unique_value.p2024-10-04 18:28 172  
[TXT]and_1_1x.p2024-10-04 18:28 173  
[TXT]and_1_x1.p2024-10-04 18:28 173  
[TXT]not_0_1_bw.p2024-10-04 18:28 175  
[TXT]not_0_1_fw.p2024-10-04 18:28 175  
[TXT]not_1_0_bw.p2024-10-04 18:28 175  
[TXT]not_1_0_fw.p2024-10-04 18:28 175  
[TXT]value_propagation1.p2024-10-04 18:28 177  
[TXT]value_propagation2.p2024-10-04 18:28 177  
[TXT]or_1x_1.p2024-10-04 18:28 182  
[TXT]and_0x_0.p2024-10-04 18:28 184  
[TXT]or_1_11.p2024-10-04 18:28 192  
[TXT]and_0_00.p2024-10-04 18:28 194  
[TXT]or_00_0.p2024-10-04 18:28 194  
[TXT]and_11_1.p2024-10-04 18:28 196  

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