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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ax10.p2024-10-04 18:28 146  
[TXT]ax66.p2024-10-04 18:28 135  
[TXT]ax62.p2024-10-04 18:28 229  
[TXT]ax64.p2024-10-04 18:28 244  
[TXT]ax35.p2024-10-04 18:28 156  
[TXT]ax28.p2024-10-04 18:28 148  
[TXT]ax46.p2024-10-04 18:28 148  
[TXT]ax14.p2024-10-04 18:28 153  
[TXT]ax52.p2024-10-04 18:28 145  
[TXT]ax63.p2024-10-04 18:28 156  
[TXT]ax45.p2024-10-04 18:28 148  
[TXT]ax27.p2024-10-04 18:28 151  
[TXT]ax37.p2024-10-04 18:28 150  
[TXT]ax3.p2024-10-04 18:28 146  
[TXT]ax24.p2024-10-04 18:28 142  
[TXT]ax47.p2024-10-04 18:28 148  
[TXT]ax7.p2024-10-04 18:28 143  
[TXT]ax49.p2024-10-04 18:28 146  
[TXT]ax23.p2024-10-04 18:28 150  
[TXT]ax13.p2024-10-04 18:28 152  
[TXT]ax18.p2024-10-04 18:28 150  
[TXT]ax1.p2024-10-04 18:28 157  
[TXT]ax33.p2024-10-04 18:28 143  
[TXT]ax40.p2024-10-04 18:28 145  
[TXT]ax12.p2024-10-04 18:28 151  
[TXT]ax43.p2024-10-04 18:28 149  
[TXT]ax15.p2024-10-04 18:28 150  
[TXT]ax26.p2024-10-04 18:28 153  
[TXT]co1.p2024-10-04 18:28 1.5K 
[TXT]ax61.p2024-10-04 18:28 144  
[TXT]ax32.p2024-10-04 18:28 149  
[TXT]ax50.p2024-10-04 18:28 148  
[TXT]ax51.p2024-10-04 18:28 149  
[TXT]ax54.p2024-10-04 18:28 155  
[TXT]ax41.p2024-10-04 18:28 142  
[TXT]ax57.p2024-10-04 18:28 153  
[TXT]ax29.p2024-10-04 18:28 151  
[TXT]ax34.p2024-10-04 18:28 151  
[TXT]ax36.p2024-10-04 18:28 153  
[TXT]ax16.p2024-10-04 18:28 153  
[TXT]ax48.p2024-10-04 18:28 145  
[TXT]ax25.p2024-10-04 18:28 141  
[TXT]ax22.p2024-10-04 18:28 144  
[TXT]ax4.p2024-10-04 18:28 156  
[TXT]ax60.p2024-10-04 18:28 146  
[TXT]ax56.p2024-10-04 18:28 151  
[TXT]ax58.p2024-10-04 18:28 151  
[TXT]ax8.p2024-10-04 18:28 141  
[TXT]ax42.p2024-10-04 18:28 146  
[TXT]ax65.p2024-10-04 18:28 199  
[TXT]ax19.p2024-10-04 18:28 145  
[TXT]ax2.p2024-10-04 18:28 146  
[TXT]ax6.p2024-10-04 18:28 149  
[TXT]ax38.p2024-10-04 18:28 150  
[TXT]ax21.p2024-10-04 18:28 145  
[TXT]ax11.p2024-10-04 18:28 162  
[TXT]ax17.p2024-10-04 18:28 149  
[TXT]ax55.p2024-10-04 18:28 149  
[TXT]ax5.p2024-10-04 18:28 157  
[TXT]ax44.p2024-10-04 18:28 149  
[TXT]ax30.p2024-10-04 18:28 148  
[TXT]ax9.p2024-10-04 18:28 147  
[TXT]ax59.p2024-10-04 18:28 146  
[TXT]ax39.p2024-10-04 18:28 143  
[TXT]ax20.p2024-10-04 18:28 143  
[TXT]ax31.p2024-10-04 18:28 154  
[TXT]ax53.p2024-10-04 18:28 152  

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