Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from.bad_dt_f/seq_4

[ICO]NameLast modifiedSizeDescription

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

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