Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/MGT037+2/VerificationProblems/E-SAT---3.0.CSA-Sat.s

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]prove_t6.p2024-10-04 18:30 273  
[TXT]mp_subpopulations.p2024-10-04 18:30 247  
[TXT]mp_start_of_organizations.p2024-10-04 18:30 253  
[TXT]mp_previous_negative_growth.p2024-10-04 18:30 408  
[TXT]mp_non_decreasing.p2024-10-04 18:30 323  
[TXT]mp_no_members.p2024-10-04 18:30 267  
[TXT]mp_environment_inequality.p2024-10-04 18:30 269  
[TXT]mp_empty_not_decreasing.p2024-10-04 18:30 200  
[TXT]mp_efficient_producers_exist.p2024-10-04 18:30 294  
[TXT]mp_constant_not_decrease.p2024-10-04 18:30 155  
[TXT]a13.p2024-10-04 18:30 285  
[TXT]a11.p2024-10-04 18:30 253  
[TXT]a7.p2024-10-04 18:30 307  
[TXT]a4.p2024-10-04 18:30 325  
[TXT]a2.p2024-10-04 18:30 157  
[TXT]a1.p2024-10-04 18:30 246  

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