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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]mp_constant_not_decrease.p2024-10-04 18:30 161  
[TXT]mp_previous_negative_growth.p2024-10-04 18:30 414  
[TXT]mp_no_members.p2024-10-04 18:30 273  
[TXT]a13.p2024-10-04 18:30 291  
[TXT]mp_efficient_producers_exist.p2024-10-04 18:30 300  
[TXT]prove_t6.p2024-10-04 18:30 279  
[TXT]mp_non_decreasing.p2024-10-04 18:30 329  
[TXT]a2.p2024-10-04 18:30 163  
[TXT]mp_start_of_organizations.p2024-10-04 18:30 259  
[TXT]mp_subpopulations.p2024-10-04 18:30 253  
[TXT]mp_environment_inequality.p2024-10-04 18:30 275  
[TXT]a7.p2024-10-04 18:30 313  
[TXT]a4.p2024-10-04 18:30 331  
[TXT]a11.p2024-10-04 18:30 259  
[TXT]mp_empty_not_decreasing.p2024-10-04 18:30 206  
[TXT]a1.p2024-10-04 18:30 252  

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