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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]combgras__t1_combgras2017-01-13 00:37 48K 
[ ]combgras__t2_combgras2017-01-13 00:37 130K 
[ ]combgras__t3_combgras2017-01-13 00:37 46K 
[ ]combgras__t4_combgras2017-01-13 00:37 39K 
[ ]combgras__t5_combgras2017-01-13 00:37 37K 
[ ]combgras__t6_combgras2017-01-13 00:37 48K 
[ ]combgras__t7_combgras2017-01-13 00:37 428K 
[ ]combgras__t8_combgras2017-01-13 00:37 46K 
[ ]combgras__t9_combgras2017-01-13 00:37 46K 
[ ]combgras__t10_combgras2017-01-13 00:37 99K 
[ ]combgras__t11_combgras2017-01-13 00:37 181K 
[ ]combgras__t12_combgras2017-01-13 00:37 192K 
[ ]combgras__t13_combgras2017-01-13 00:37 374K 
[ ]combgras__t14_combgras2017-01-13 00:38 380K 
[ ]combgras__t15_combgras2017-01-13 00:38 382K 
[ ]combgras__t16_combgras2017-01-13 00:38 56K 
[ ]combgras__t17_combgras2017-01-13 00:38 53K 
[ ]combgras__t18_combgras2017-01-13 00:38 53K 
[ ]combgras__t19_combgras2017-01-13 00:38 52K 
[ ]combgras__t20_combgras2017-01-13 00:38 56K 
[ ]combgras__t21_combgras2017-01-13 00:38 63K 
[ ]combgras__t22_combgras2017-01-13 00:38 60K 
[ ]combgras__t23_combgras2017-01-13 00:38 400K 
[ ]combgras__t24_combgras2017-01-13 00:38 107K 
[ ]combgras__t25_combgras2017-01-13 00:38 128K 
[ ]combgras__t26_combgras2017-01-13 00:38 87K 
[ ]combgras__t27_combgras2017-01-13 00:38 73K 
[ ]combgras__t28_combgras2017-01-13 00:38 86K 
[ ]combgras__t29_combgras2017-01-13 00:38 74K 
[ ]combgras__t30_combgras2017-01-13 00:38 74K 
[ ]combgras__t31_combgras2017-01-13 00:38 210K 
[ ]combgras__t32_combgras2017-01-13 00:38 293K 
[ ]combgras__t33_combgras2017-01-13 00:38 93K 
[ ]combgras__t34_combgras2017-01-13 00:38 103K 
[ ]combgras__t35_combgras2017-01-13 00:38 188K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80