Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/polyalg1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polyalg1__l8_polyalg12017-01-13 00:37 86K 
[ ]polyalg1__t1_polyalg12017-01-13 00:37 31K 
[ ]polyalg1__t2_polyalg12017-01-13 00:37 31K 
[ ]polyalg1__t3_polyalg12017-01-13 00:37 66K 
[ ]polyalg1__t4_polyalg12017-01-13 00:37 53K 
[ ]polyalg1__t5_polyalg12017-01-13 00:37 119K 
[ ]polyalg1__t6_polyalg12017-01-13 00:37 72K 
[ ]polyalg1__t7_polyalg12017-01-13 00:37 71K 
[ ]polyalg1__t8_polyalg12017-01-13 00:37 57K 
[ ]polyalg1__t9_polyalg12017-01-13 00:37 60K 
[ ]polyalg1__t10_polyalg12017-01-13 00:37 99K 
[ ]polyalg1__t11_polyalg12017-01-13 00:37 45K 
[ ]polyalg1__t12_polyalg12017-01-13 00:37 47K 
[ ]polyalg1__t13_polyalg12017-01-13 00:37 53K 
[ ]polyalg1__t14_polyalg12017-01-13 00:37 53K 
[ ]polyalg1__t15_polyalg12017-01-13 00:37 61K 
[ ]polyalg1__t16_polyalg12017-01-13 00:37 61K 
[ ]polyalg1__t17_polyalg12017-01-13 00:37 62K 
[ ]polyalg1__t18_polyalg12017-01-13 00:37 70K 
[ ]polyalg1__t19_polyalg12017-01-13 00:37 78K 
[ ]polyalg1__t20_polyalg12017-01-13 00:37 72K 
[ ]polyalg1__t21_polyalg12017-01-13 00:37 55K 
[ ]polyalg1__t22_polyalg12017-01-13 00:37 91K 
[ ]polyalg1__t23_polyalg12017-01-13 00:37 110K 
[ ]polyalg1__t24_polyalg12017-01-13 00:37 84K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80