Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/axioms

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]axioms__42_11.min1.thm12017-02-06 12:45 574  
[ ]axioms__45_19.min1.thm12017-02-06 12:45 1.5K 
[ ]axioms__49_19.min1.thm12017-02-06 12:45 1.7K 
[ ]axioms__54_19.min1.thm12017-02-06 12:45 1.2K 
[ ]axioms__54_19.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]axioms__68_16.min1.thm12017-02-06 12:45 291  
[ ]axioms__68_16.min1.thm1.tptp2017-02-06 16:48 210  
[ ]axioms__71_33.min1.thm12017-02-06 12:45 705  
[ ]axioms__74_17.min1.thm12017-02-06 12:45 645  
[ ]axioms__84_34.min1.thm12017-02-06 12:45 946  
[ ]axioms__85_20.min1.thm12017-02-06 12:45 869  
[ ]axioms__87_19.min1.thm12017-02-06 12:45 458  
[ ]axioms__88_20.min1.thm12017-02-06 12:45 873  
[ ]axioms__89_17.min1.thm12017-02-06 12:45 1.4K 
[ ]axioms__92_18.min1.thm12017-02-06 12:45 256  
[ ]axioms__94_39.min1.thm12017-02-06 12:45 459  
[ ]axioms__105_11.min1.thm12017-02-06 12:45 242  
[ ]axioms__109_18.min1.thm12017-02-06 12:45 620  
[ ]axioms__115_14.min1.thm12017-02-06 12:45 659  
[ ]axioms__116_34.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__117_34.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__118_45.min1.thm12017-02-06 12:45 659  
[ ]axioms__121_15.min1.thm12017-02-06 12:45 358  
[ ]axioms__129_52.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__131_23.min1.thm12017-02-06 12:45 1.9K 
[ ]axioms__132_21.min1.thm12017-02-06 12:45 527  
[ ]axioms__133_53.min1.thm12017-02-06 12:45 549  
[ ]axioms__134_19.min1.thm12017-02-06 12:45 651  
[ ]axioms__135_23.min1.thm12017-02-06 12:45 1.8K 
[ ]axioms__143_41.min1.thm12017-02-06 12:45 830  
[ ]axioms__144_22.min1.thm12017-02-06 12:45 487  
[ ]axioms__146_63.min1.thm12017-02-06 12:45 375  
[ ]axioms__146_63.min1.thm1.tptp2017-02-06 16:48 297  
[ ]axioms__151_41.min1.thm12017-02-06 12:45 830  
[ ]axioms__152_22.min1.thm12017-02-06 12:45 487  
[ ]axioms__154_64.min1.thm12017-02-06 12:45 375  
[ ]axioms__154_64.min1.thm1.tptp2017-02-06 16:48 297  
[ ]axioms__157_29.min1.thm12017-02-06 12:45 521  
[ ]axioms__157_29.min1.thm1.tptp2017-02-06 16:48 467  
[ ]axioms__161_21.min1.thm12017-02-06 12:45 804  
[ ]axioms__162_44.min1.thm12017-02-06 12:45 342  
[ ]axioms__162_44.min1.thm1.tptp2017-02-06 16:48 264  
[ ]axioms__163_20.min1.thm12017-02-06 12:45 616  
[ ]axioms__165_25.min1.thm12017-02-06 12:45 869  
[ ]axioms__166_50.min1.thm12017-02-06 12:45 552  
[ ]axioms__167_18.min1.thm12017-02-06 12:45 961  
[ ]axioms__169_16.min1.thm12017-02-06 12:45 962  
[ ]axioms__170_30.min1.thm12017-02-06 12:45 940  
[ ]axioms__176_46.min1.thm12017-02-06 12:45 541  
[ ]axioms__180_37.min1.thm12017-02-06 12:45 720  
[ ]axioms__181_40.min1.thm12017-02-06 12:45 1.3K 
[ ]axioms__184_25.min1.thm12017-02-06 12:45 1.2K 
[ ]axioms__189_22.min1.thm12017-02-06 12:45 797  
[ ]axioms__190_44.min1.thm12017-02-06 12:45 342  
[ ]axioms__190_44.min1.thm1.tptp2017-02-06 16:48 264  
[ ]axioms__191_22.min1.thm12017-02-06 12:45 775  
[ ]axioms__193_19.min1.thm12017-02-06 12:45 945  
[ ]axioms__199_40.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__202_40.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__203_66.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__204_52.min1.thm12017-02-06 12:45 1.2K 
[ ]axioms__205_19.min1.thm12017-02-06 12:45 1.1K 
[ ]axioms__208_38.min1.thm12017-02-06 12:45 1.9K 
[ ]axioms__209_21.min1.thm12017-02-06 12:45 616  
[ ]axioms__210_25.min1.thm12017-02-06 12:45 786  
[ ]axioms__215_18.min1.thm12017-02-06 12:45 606  
[ ]axioms__216_20.min1.thm12017-02-06 12:45 841  
[ ]axioms__217_30.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__218_49.min1.thm12017-02-06 12:45 554  
[ ]axioms__226_21.min1.thm12017-02-06 12:45 818  
[ ]axioms__227_44.min1.thm12017-02-06 12:45 344  
[ ]axioms__227_44.min1.thm1.tptp2017-02-06 16:48 266  
[ ]axioms__228_29.min1.thm12017-02-06 12:45 946  
[ ]axioms__229_21.min1.thm12017-02-06 12:45 793  
[ ]axioms__231_19.min1.thm12017-02-06 12:45 966  
[ ]axioms__233_22.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__236_24.min1.thm12017-02-06 12:45 847  
[ ]axioms__237_27.min1.thm12017-02-06 12:45 2.3K 
[ ]axioms__238_37.min1.thm12017-02-06 12:45 722  
[ ]axioms__239_29.min1.thm12017-02-06 12:45 717  
[ ]axioms__240_27.min1.thm12017-02-06 12:45 1.7K 
[ ]axioms__247_25.min1.thm12017-02-06 12:45 818  
[ ]axioms__248_48.min1.thm12017-02-06 12:45 364  
[ ]axioms__248_48.min1.thm1.tptp2017-02-06 16:48 286  
[ ]axioms__249_25.min1.thm12017-02-06 12:45 843  
[ ]axioms__250_28.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__251_41.min1.thm12017-02-06 12:45 937  
[ ]axioms__252_27.min1.thm12017-02-06 12:45 2.8K 
[ ]axioms__255_20.min1.thm12017-02-06 12:45 420  
[ ]axioms__259_56.min1.thm12017-02-06 12:45 694  
[ ]axioms__262_22.min1.thm12017-02-06 12:45 451  
[ ]axioms__262_22.min1.thm1.tptp2017-02-06 16:48 397  
[ ]axioms__263_44.min1.thm12017-02-06 12:45 340  
[ ]axioms__263_44.min1.thm1.tptp2017-02-06 16:48 262  
[ ]axioms__264_19.min1.thm12017-02-06 12:45 417  
[ ]axioms__265_49.min1.thm12017-02-06 12:45 601  
[ ]axioms__271_46.min1.thm12017-02-06 12:45 541  
[ ]axioms__275_29.min1.thm12017-02-06 12:45 720  
[ ]axioms__276_48.min1.thm12017-02-06 12:45 1.7K 
[ ]axioms__282_49.min1.thm12017-02-06 12:45 348  
[ ]axioms__282_49.min1.thm1.tptp2017-02-06 16:48 270  
[ ]axioms__286_20.min1.thm12017-02-06 12:45 587  
[ ]axioms__287_35.min1.thm12017-02-06 12:45 568  
[ ]axioms__288_58.min1.thm12017-02-06 12:45 697  
[ ]axioms__291_24.min1.thm12017-02-06 12:45 1.4K 
[ ]axioms__293_12.min1.thm12017-02-06 12:45 2.0K 
[ ]axioms__294_22.min1.thm12017-02-06 12:45 574  
[ ]axioms__299_19.min1.thm12017-02-06 12:45 418  
[ ]axioms__300_48.min1.thm12017-02-06 12:45 603  
[ ]axioms__305_48.min1.thm12017-02-06 12:45 551  
[ ]axioms__306_19.min1.thm12017-02-06 12:45 1.1K 
[ ]axioms__308_22.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__311_54.min1.thm12017-02-06 12:45 352  
[ ]axioms__311_54.min1.thm1.tptp2017-02-06 16:48 274  
[ ]axioms__312_23.min1.thm12017-02-06 12:45 1.1K 
[ ]axioms__313_41.min1.thm12017-02-06 12:45 1.1K 
[ ]axioms__314_27.min1.thm12017-02-06 12:45 2.0K 
[ ]axioms__318_37.min1.thm12017-02-06 12:45 960  
[ ]axioms__319_29.min1.thm12017-02-06 12:45 720  
[ ]axioms__320_27.min1.thm12017-02-06 12:45 2.1K 
[ ]axioms__321_24.min1.thm12017-02-06 12:45 1.2K 
[ ]axioms__322_27.min1.thm12017-02-06 12:45 1.6K 
[ ]axioms__325_20.min1.thm12017-02-06 12:45 412  
[ ]axioms__334_49.min1.thm12017-02-06 12:45 468  
[ ]axioms__335_23.min1.thm12017-02-06 12:45 736  
[ ]axioms__340_17.min1.thm12017-02-06 12:45 963  
[ ]axioms__350_49.min1.thm12017-02-06 12:45 684  
[ ]axioms__351_13.min1.thm12017-02-06 12:45 545  
[ ]axioms__357_15.min1.thm12017-02-06 12:45 385  
[ ]axioms__358_48.min1.thm12017-02-06 12:45 501  
[ ]axioms__359_36.min1.thm12017-02-06 12:45 303  
[ ]axioms__359_36.min1.thm1.tptp2017-02-06 16:48 222  
[ ]axioms__360_16.min1.thm12017-02-06 12:45 1.0K 
[ ]axioms__363_19.min1.thm12017-02-06 12:45 1.5K 
[ ]axioms__365_11.min1.thm12017-02-06 12:45 898  
[ ]axioms__366_18.min1.thm12017-02-06 12:45 1.2K 
[ ]axioms__367_17.min1.thm12017-02-06 12:45 390  
[ ]axioms__373_15.min1.thm12017-02-06 12:45 360  
[ ]axioms__376_42.min1.thm12017-02-06 12:45 855  
[ ]axioms__380_16.min1.thm12017-02-06 12:45 1.3K 
[ ]axioms__381_46.min1.thm12017-02-06 12:45 1.3K 
[ ]axioms__382_15.min1.thm12017-02-06 12:45 1.1K 
[ ]axioms__383_49.min1.thm12017-02-06 12:45 566  
[ ]axioms__384_13.min1.thm12017-02-06 12:45 806  
[ ]axioms__385_50.min1.thm12017-02-06 12:45 566  
[ ]axioms__386_16.min1.thm12017-02-06 12:45 1.4K 
[ ]axioms__388_13.min1.thm12017-02-06 12:45 2.2K 
[ ]axioms__389_15.min1.thm12017-02-06 12:45 512  
[ ]axioms__390_17.min1.thm12017-02-06 12:45 1.5K 
[ ]axioms__391_16.min1.thm12017-02-06 12:45 643  
[ ]axioms__397_14.min1.thm12017-02-06 12:45 537  
[ ]axioms__398_10.min1.thm12017-02-06 12:45 798  
[ ]axioms__399_55.min1.thm12017-02-06 12:45 718  
[ ]axioms__400_18.min1.thm12017-02-06 12:45 2.1K 
[ ]axioms__401_17.min1.thm12017-02-06 12:45 1.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80