Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/c0sp2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]c0sp2__l12_c0sp22017-01-05 20:54 96K 
[   ]c0sp2__l16_c0sp22017-01-05 20:54 107K 
[   ]c0sp2__l18_c0sp22017-01-05 20:54 98K 
[   ]c0sp2__l19_c0sp22017-01-05 20:54 104K 
[   ]c0sp2__l20_c0sp22017-01-05 20:54 102K 
[   ]c0sp2__l21_c0sp22017-01-05 20:54 103K 
[   ]c0sp2__l24_c0sp22017-01-05 20:54 100K 
[   ]c0sp2__l25_c0sp22017-01-05 20:54 102K 
[   ]c0sp2__l32_c0sp22017-01-05 20:54 109K 
[   ]c0sp2__l42_c0sp22017-01-05 20:54 116K 
[   ]c0sp2__l43_c0sp22017-01-05 20:54 99K 
[   ]c0sp2__l44_c0sp22017-01-05 20:54 80K 
[   ]c0sp2__l55_c0sp22017-01-05 20:54 112K 
[   ]c0sp2__l56_c0sp22017-01-05 20:54 110K 
[   ]c0sp2__t1_c0sp22017-01-05 20:54 76K 
[   ]c0sp2__t2_c0sp22017-01-05 20:54 75K 
[   ]c0sp2__t3_c0sp22017-01-05 20:54 98K 
[   ]c0sp2__t4_c0sp22017-01-05 20:54 99K 
[   ]c0sp2__t5_c0sp22017-01-05 20:54 98K 
[   ]c0sp2__t6_c0sp22017-01-05 20:54 91K 
[   ]c0sp2__t7_c0sp22017-01-05 20:54 91K 
[   ]c0sp2__t8_c0sp22016-03-08 13:04 58K 
[   ]c0sp2__t9_c0sp22017-01-05 20:54 92K 
[   ]c0sp2__t10_c0sp22016-03-08 13:04 75K 
[   ]c0sp2__t11_c0sp22017-01-05 20:54 101K 
[   ]c0sp2__t12_c0sp22017-01-05 20:54 99K 
[   ]c0sp2__t13_c0sp22017-01-05 20:54 102K 
[   ]c0sp2__t14_c0sp22017-01-05 20:54 104K 
[   ]c0sp2__t15_c0sp22017-01-05 20:54 109K 
[   ]c0sp2__t16_c0sp22017-01-05 20:54 106K 
[   ]c0sp2__t17_c0sp22017-01-05 20:54 109K 
[   ]c0sp2__t18_c0sp22017-01-05 20:54 120K 
[   ]c0sp2__t19_c0sp22017-01-05 20:54 124K 
[   ]c0sp2__t20_c0sp22016-03-08 13:04 48K 
[   ]c0sp2__t21_c0sp22017-01-05 20:54 238K 
[   ]c0sp2__t22_c0sp22017-01-05 20:54 118K 
[   ]c0sp2__t23_c0sp22016-03-08 13:04 79K 
[   ]c0sp2__t24_c0sp22016-03-08 13:04 58K 
[   ]c0sp2__t25_c0sp22016-03-08 13:04 75K 
[   ]c0sp2__t26_c0sp22017-01-05 20:54 72K 
[   ]c0sp2__t27_c0sp22017-01-05 20:54 85K 
[   ]c0sp2__t28_c0sp22017-01-05 20:54 81K 
[   ]c0sp2__t29_c0sp22017-01-05 20:54 65K 
[   ]c0sp2__t30_c0sp22017-01-05 20:54 140K 
[   ]c0sp2__t31_c0sp22017-01-05 20:54 75K 
[   ]c0sp2__t32_c0sp22017-01-05 20:54 69K 
[   ]c0sp2__t33_c0sp22017-01-05 20:54 99K 
[   ]c0sp2__t34_c0sp22017-01-05 20:54 127K 
[   ]c0sp2__t35_c0sp22017-01-05 20:54 114K 
[   ]c0sp2__t36_c0sp22017-01-05 20:54 95K 

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