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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_5__55_68.min1.thm1.tptp2017-02-06 16:58 667  
[ ]borsuk_5__65_17.min1.thm1.tptp2017-02-06 16:58 649  
[ ]borsuk_5__201_15.min1.thm1.tptp2017-02-06 16:58 470  
[ ]borsuk_5__210_16.min1.thm1.tptp2017-02-06 16:58 471  
[ ]borsuk_5__212_16.min1.thm1.tptp2017-02-06 16:58 471  
[ ]borsuk_5__213_16.min1.thm1.tptp2017-02-06 16:58 471  
[ ]borsuk_5__214_16.min1.thm1.tptp2017-02-06 16:58 471  
[ ]borsuk_5__215_16.min1.thm1.tptp2017-02-06 16:58 471  
[ ]bvfunc14__3389_17.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3426_17.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3427_17.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3428_17.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3429_17.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3430_18.min1.thm1.tptp2017-02-06 16:58 504  
[ ]bvfunc14__3437_18.min1.thm1.tptp2017-02-06 16:58 1.0K 
[ ]ftacell1__209_39.min1.thm1.tptp2017-02-06 16:58 860  
[ ]ftacell1__318_29.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__319_30.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__320_30.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]ftacell1__321_28.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__322_28.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]ftacell1__323_32.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]ftacell1__974_39.min1.thm1.tptp2017-02-06 16:58 877  
[ ]ftacell1__1082_29.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__1083_30.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__1085_28.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__1744_39.min1.thm1.tptp2017-02-06 16:58 877  
[ ]ftacell1__1852_29.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__1853_30.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__1855_28.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__2518_39.min1.thm1.tptp2017-02-06 16:58 879  
[ ]ftacell1__2627_29.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__2628_30.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__2629_30.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]ftacell1__2630_28.min1.thm1.tptp2017-02-06 16:58 1.3K 
[ ]ftacell1__2631_28.min1.thm1.tptp2017-02-06 16:58 1.9K 
[ ]ftacell1__2632_32.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]kurato_1__191_49.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]kurato_1__203_61.min1.thm1.tptp2017-02-06 16:58 2.5K 
[ ]kurato_1__914_14.min1.thm1.tptp2017-02-06 16:58 1.1K 
[ ]robbins4__2068_74.min1.thm1.tptp2017-02-06 16:58 617  
[ ]robbins4__2082_74.min1.thm1.tptp2017-02-06 16:58 617  
[ ]robbins4__2096_74.min1.thm1.tptp2017-02-06 16:58 617  
[ ]robbins4__2110_74.min1.thm1.tptp2017-02-06 16:58 617  
[ ]scmpds_4__63_38.min1.thm1.tptp2017-02-06 16:58 558  
[ ]scmpds_4__64_21.min1.thm1.tptp2017-02-06 16:58 489  
[ ]scmpds_4__65_38.min1.thm1.tptp2017-02-06 16:58 553  
[ ]scmpds_4__66_20.min1.thm1.tptp2017-02-06 16:58 490  
[ ]scmpds_4__1262_31.min1.thm1.tptp2017-02-06 16:58 828  
[ ]sfmastr1__1287_37.min1.thm1.tptp2017-02-06 16:58 698  
[ ]sfmastr1__1288_16.min1.thm1.tptp2017-02-06 16:58 698  
[ ]subset_1__48_14.min1.thm1.tptp2017-02-06 16:58 479  
[ ]xregular__499_18.min1.thm1.tptp2017-02-06 16:58 692  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80