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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]quantal1__l19_quantal12016-03-08 13:08 26K 
[   ]quantal1__t1_quantal12016-03-08 13:08 33K 
[   ]quantal1__t2_quantal12016-03-08 13:08 35K 
[   ]quantal1__t3_quantal12016-03-08 13:08 18K 
[   ]quantal1__t4_quantal12017-01-05 20:54 62K 
[   ]quantal1__t5_quantal12017-01-05 20:54 35K 
[   ]quantal1__t6_quantal12017-01-05 20:54 41K 
[   ]quantal1__t7_quantal12017-01-05 20:54 37K 
[   ]quantal1__t8_quantal12016-03-08 13:08 37K 
[   ]quantal1__t9_quantal12016-03-08 13:08 34K 
[   ]quantal1__t10_quantal12017-01-05 20:54 33K 
[   ]quantal1__t11_quantal12017-01-05 20:54 38K 
[   ]quantal1__t12_quantal12017-01-05 20:54 38K 
[   ]quantal1__t13_quantal12017-01-05 20:54 37K 
[   ]quantal1__t14_quantal12017-01-05 20:54 37K 
[   ]quantal1__t15_quantal12017-01-05 20:54 37K 
[   ]quantal1__t16_quantal12017-01-05 20:54 41K 
[   ]quantal1__t17_quantal12017-01-05 20:54 37K 
[   ]quantal1__t18_quantal12017-01-05 20:54 41K 
[   ]quantal1__t19_quantal12017-01-05 20:54 42K 
[   ]quantal1__t20_quantal12017-01-05 20:54 38K 
[   ]quantal1__t21_quantal12017-01-05 20:54 51K 
[   ]quantal1__t22_quantal12017-01-05 20:54 39K 
[   ]quantal1__t23_quantal12017-01-05 20:54 39K 
[   ]quantal1__t24_quantal12017-01-05 20:54 43K 
[   ]quantal1__t25_quantal12017-01-05 20:54 41K 
[   ]quantal1__t26_quantal12017-01-05 20:54 46K 
[   ]quantal1__t27_quantal12017-01-05 20:54 42K 
[   ]quantal1__t28_quantal12017-01-05 20:54 42K 
[   ]quantal1__t29_quantal12017-01-05 20:54 45K 
[   ]quantal1__t30_quantal12017-01-05 20:54 41K 
[   ]quantal1__t31_quantal12017-01-05 20:54 39K 
[   ]quantal1__t32_quantal12017-01-05 20:54 39K 
[   ]quantal1__t33_quantal12017-01-05 20:54 39K 
[   ]quantal1__t34_quantal12017-01-05 20:54 52K 

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