Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/t1_enumset1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]chord__1811_30.min1.thm1.tptp2017-02-06 16:58 353  
[ ]closure2__243_17.min1.thm1.tptp2017-02-06 16:58 427  
[ ]closure2__899_23.min1.thm1.tptp2017-02-06 16:58 373  
[ ]closure2__924_23.min1.thm1.tptp2017-02-06 16:58 373  
[ ]combgras__302_37.min1.thm1.tptp2017-02-06 16:58 491  
[ ]combgras__373_42.min1.thm1.tptp2017-02-06 16:58 491  
[ ]combgras__994_49.min1.thm1.tptp2017-02-06 16:58 593  
[ ]combgras__1014_49.min1.thm1.tptp2017-02-06 16:58 591  
[ ]ens_1__1231_25.min1.thm1.tptp2017-02-06 16:58 479  
[ ]fib_num2__1471_11.min1.thm1.tptp2017-02-06 16:58 634  
[ ]fib_num2__1631_11.min1.thm1.tptp2017-02-06 16:58 634  
[ ]fscirc_1__350_47.min1.thm1.tptp2017-02-06 16:58 839  
[ ]ftacell1__134_72.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]ftacell1__142_19.min1.thm1.tptp2017-02-06 16:58 2.4K 
[ ]ftacell1__214_48.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]ftacell1__899_72.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]ftacell1__979_48.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]ftacell1__1669_72.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]ftacell1__1749_48.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]ftacell1__2443_72.min1.thm1.tptp2017-02-06 16:58 1.4K 
[ ]ftacell1__2451_19.min1.thm1.tptp2017-02-06 16:58 2.5K 
[ ]ftacell1__2523_48.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]gfacirc1__1111_42.min1.thm1.tptp2017-02-06 16:58 573  
[ ]gfacirc1__1132_46.min1.thm1.tptp2017-02-06 16:58 573  
[ ]gfacirc1__1365_47.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]gfacirc1__2168_42.min1.thm1.tptp2017-02-06 16:58 570  
[ ]gfacirc1__2189_46.min1.thm1.tptp2017-02-06 16:58 570  
[ ]gfacirc1__2441_47.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]gfacirc1__3501_47.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]gfacirc1__4560_47.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]graphsp__613_21.min1.thm1.tptp2017-02-06 16:58 395  
[ ]jordan4__3992_28.min1.thm1.tptp2017-02-06 16:58 479  
[ ]jordan4__4003_29.min1.thm1.tptp2017-02-06 16:58 479  
[ ]jordan11__113_28.min1.thm1.tptp2017-02-06 16:58 1.0K 
[ ]sppol_2__2971_21.min1.thm1.tptp2017-02-06 16:58 541  
[ ]sppol_2__3301_17.min1.thm1.tptp2017-02-06 16:58 460  
[ ]topreal2__746_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__975_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__1493_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__2077_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__2298_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__2543_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__2726_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__3373_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__3592_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__3817_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__4032_23.min1.thm1.tptp2017-02-06 16:58 383  
[ ]topreal2__5109_29.min1.thm1.tptp2017-02-06 16:58 763  
[ ]wellset1__736_30.min1.thm1.tptp2017-02-06 16:58 505  
[ ]zf_lang1__2090_33.min1.thm1.tptp2017-02-06 16:58 448  
[ ]zf_lang1__2099_33.min1.thm1.tptp2017-02-06 16:58 448  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80