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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]afinsq_2__e1_8_12017-01-05 21:25 80K 
[   ]afinsq_2__e1_13_1_12017-01-05 21:25 89K 
[   ]afinsq_2__e1_16_1_1_12017-01-05 21:25 87K 
[   ]afinsq_2__e1_107_1_12017-01-05 21:25 90K 
[   ]afinsq_2__e3_672017-01-05 21:25 102K 
[   ]afinsq_2__e3_682017-01-05 21:25 102K 
[   ]afinsq_2__e3_982017-01-05 21:25 96K 
[   ]afinsq_2__e4_35_1_12017-01-05 21:25 96K 
[   ]afinsq_2__e4_62_1_1_1_1_22017-01-05 21:25 110K 
[   ]afinsq_2__e4_1022017-01-05 21:25 102K 
[   ]afinsq_2__e5_61_12017-01-05 21:25 83K 
[   ]afinsq_2__e6_1032017-01-05 21:25 104K 
[   ]afinsq_2__e7_35_1_22017-01-05 21:25 100K 
[   ]afinsq_2__e7_692017-01-05 21:25 116K 
[   ]afinsq_2__e8_712017-01-05 21:25 105K 
[   ]afinsq_2__e9_54_12017-01-05 21:25 94K 
[   ]afinsq_2__e10_92_1_1_22017-01-05 21:25 106K 
[   ]afinsq_2__e12_52017-01-05 21:25 87K 
[   ]afinsq_2__e12_62_1_1_1_1_2_1_1_1_22017-01-05 21:25 90K 
[   ]afinsq_2__e13_54_12017-01-05 21:25 97K 
[   ]afinsq_2__e14_902017-01-05 21:25 101K 
[   ]afinsq_2__e15_70_1_12017-01-05 21:25 103K 
[   ]afinsq_2__e15_91_1_12017-01-05 21:25 99K 
[   ]afinsq_2__e16_35_1_2_12017-01-05 21:25 81K 
[   ]afinsq_2__e16_62_1_22017-01-05 21:25 101K 
[   ]afinsq_2__e17_66_1_1_22017-01-05 21:25 107K 
[   ]afinsq_2__e22_732017-01-05 21:25 102K 
[   ]afinsq_2__e22_952017-01-05 21:25 94K 
[   ]afinsq_2__e26_952017-01-05 21:25 101K 
[   ]afinsq_2__e32_69_12017-01-05 21:25 95K 

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