Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/seq_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_4__e1_482017-01-12 23:13 66K 
[   ]seq_4__e1_62_12017-01-12 23:13 69K 
[   ]seq_4__e1_127_1_12017-01-12 23:13 60K 
[   ]seq_4__e1_131_1_12017-01-12 23:13 60K 
[   ]seq_4__e1_131_1_22017-01-12 23:13 60K 
[   ]seq_4__e1_132_1_12017-01-12 23:13 57K 
[   ]seq_4__e1_1342017-01-12 23:13 60K 
[   ]seq_4__e1_1352017-01-12 23:13 64K 
[   ]seq_4__e1_1362017-01-12 23:13 60K 
[   ]seq_4__e1_137_12017-01-12 23:13 60K 
[   ]seq_4__e1_143_1_12017-01-12 23:13 60K 
[   ]seq_4__e1_143_1_22017-01-12 23:13 60K 
[   ]seq_4__e1_1472017-01-12 23:13 60K 
[   ]seq_4__e1_1482017-01-12 23:13 60K 
[   ]seq_4__e1_1492017-01-12 23:13 60K 
[   ]seq_4__e2_62_12017-01-12 23:13 71K 
[   ]seq_4__e2_1482017-01-12 23:13 60K 
[   ]seq_4__e2_1492017-01-12 23:13 60K 
[   ]seq_4__e3_44_1_12017-01-12 23:13 65K 
[   ]seq_4__e3_462017-01-12 23:13 70K 
[   ]seq_4__e3_472017-01-12 23:13 70K 
[   ]seq_4__e3_48_1_32017-01-12 23:13 76K 
[   ]seq_4__e3_48_2_12017-01-12 23:13 46K 
[   ]seq_4__e3_48_2_42017-01-12 23:13 70K 
[   ]seq_4__e3_1352017-01-12 23:13 60K 
[   ]seq_4__e4_392017-01-12 23:13 70K 
[   ]seq_4__e4_422017-01-12 23:13 73K 
[   ]seq_4__e5_22017-01-12 23:13 46K 
[   ]seq_4__e5_43_1_12017-01-12 23:13 65K 
[   ]seq_4__e6_62017-01-12 23:13 46K 
[   ]seq_4__e6_48_12017-01-12 23:13 79K 
[   ]seq_4__e7_48_22017-01-12 23:13 72K 
[   ]seq_4__e8_82017-01-12 23:13 46K 
[   ]seq_4__e10_1492017-01-12 23:13 60K 
[   ]seq_4__l161_seq_42017-01-12 23:13 55K 
[   ]seq_4__l171_seq_42017-01-12 23:13 63K 
[   ]seq_4__l175_seq_42017-01-12 23:13 63K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80