Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from1/seq_4

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]seq_4__e1_482017-01-13 18:27 110K 
[   ]seq_4__e1_62_12017-01-13 18:27 115K 
[   ]seq_4__e1_127_1_12017-01-13 18:27 98K 
[   ]seq_4__e1_131_1_12017-01-13 18:27 98K 
[   ]seq_4__e1_131_1_22017-01-13 18:27 98K 
[   ]seq_4__e1_132_1_12017-01-13 18:27 92K 
[   ]seq_4__e1_1342017-01-13 18:27 98K 
[   ]seq_4__e1_1352017-01-13 18:27 105K 
[   ]seq_4__e1_1362017-01-13 18:27 98K 
[   ]seq_4__e1_137_12017-01-13 18:27 98K 
[   ]seq_4__e1_143_1_12017-01-13 18:27 98K 
[   ]seq_4__e1_143_1_22017-01-13 18:27 98K 
[   ]seq_4__e1_1472017-01-13 18:27 98K 
[   ]seq_4__e1_1482017-01-13 18:27 98K 
[   ]seq_4__e1_1492017-01-13 18:27 98K 
[   ]seq_4__e2_62_12017-01-13 18:27 118K 
[   ]seq_4__e2_1482017-01-13 18:27 98K 
[   ]seq_4__e2_1492017-01-13 18:27 98K 
[   ]seq_4__e3_44_1_12017-01-13 18:27 109K 
[   ]seq_4__e3_462017-01-13 18:27 115K 
[   ]seq_4__e3_472017-01-13 18:27 115K 
[   ]seq_4__e3_48_1_32017-01-13 18:27 125K 
[   ]seq_4__e3_48_2_12017-01-13 18:27 76K 
[   ]seq_4__e3_48_2_42017-01-13 18:27 115K 
[   ]seq_4__e3_1352017-01-13 18:27 98K 
[   ]seq_4__e4_392017-01-13 18:27 116K 
[   ]seq_4__e4_422017-01-13 18:27 120K 
[   ]seq_4__e5_22017-01-13 18:27 75K 
[   ]seq_4__e5_43_1_12017-01-13 18:27 108K 
[   ]seq_4__e6_62017-01-13 18:27 75K 
[   ]seq_4__e6_48_12017-01-13 18:27 130K 
[   ]seq_4__e7_48_22017-01-13 18:27 119K 
[   ]seq_4__e8_82017-01-13 18:27 75K 
[   ]seq_4__e10_1492017-01-13 18:27 98K 
[   ]seq_4__l161_seq_42017-01-13 18:28 90K 
[   ]seq_4__l171_seq_42017-01-13 18:28 102K 
[   ]seq_4__l175_seq_42017-01-13 18:28 102K 

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