Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems/int_5

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]int_5__l3_int_52023-06-28 00:39 63K 
[   ]int_5__l15_int_52023-06-28 00:39 74K 
[   ]int_5__l33_int_52023-06-28 00:39 49K 
[   ]int_5__l55_int_52023-06-28 00:39 51K 
[   ]int_5__t1_int_52023-06-28 00:39 77K 
[   ]int_5__t2_int_52023-06-28 00:39 54K 
[   ]int_5__t3_int_52023-06-28 00:39 74K 
[   ]int_5__t4_int_52023-06-28 00:39 70K 
[   ]int_5__t5_int_52023-06-28 00:39 209K 
[   ]int_5__t6_int_52023-06-28 00:39 214K 
[   ]int_5__t7_int_52023-06-28 00:39 72K 
[   ]int_5__t8_int_52023-06-28 00:39 117K 
[   ]int_5__t9_int_52023-06-28 00:39 64K 
[   ]int_5__t10_int_52023-06-28 00:39 47K 
[   ]int_5__t11_int_52023-06-28 00:39 65K 
[   ]int_5__t12_int_52023-06-28 00:39 46K 
[   ]int_5__t13_int_52023-06-28 00:39 53K 
[   ]int_5__t14_int_52023-06-28 00:39 74K 
[   ]int_5__t15_int_52023-06-28 00:39 95K 
[   ]int_5__t16_int_52023-06-28 00:39 248K 
[   ]int_5__t17_int_52023-06-28 00:39 173K 
[   ]int_5__t18_int_52023-06-28 00:39 228K 
[   ]int_5__t19_int_52023-06-28 00:39 166K 
[   ]int_5__t20_int_52023-06-28 00:39 95K 
[   ]int_5__t21_int_52023-06-28 00:39 167K 
[   ]int_5__t22_int_52023-06-28 00:39 72K 
[   ]int_5__t23_int_52023-06-28 00:39 359K 
[   ]int_5__t24_int_52023-06-28 00:39 167K 
[   ]int_5__t25_int_52023-06-28 00:39 47K 
[   ]int_5__t26_int_52023-06-28 00:39 73K 
[   ]int_5__t27_int_52023-06-28 00:39 53K 
[   ]int_5__t28_int_52023-06-28 00:39 97K 
[   ]int_5__t29_int_52023-06-28 00:39 96K 
[   ]int_5__t30_int_52023-06-28 00:39 262K 
[   ]int_5__t31_int_52023-06-28 00:39 91K 
[   ]int_5__t32_int_52023-06-28 00:39 91K 
[   ]int_5__t33_int_52023-06-28 00:39 108K 
[   ]int_5__t34_int_52023-06-28 00:39 120K 
[   ]int_5__t35_int_52023-06-28 00:39 99K 
[   ]int_5__t36_int_52023-06-28 00:39 170K 
[   ]int_5__t37_int_52023-06-28 00:39 439K 
[   ]int_5__t38_int_52023-06-28 00:39 574K 
[   ]int_5__t39_int_52023-06-28 00:39 57K 
[   ]int_5__t40_int_52023-06-28 00:39 134K 
[   ]int_5__t41_int_52023-06-28 00:39 530K 
[   ]int_5__t42_int_52023-06-28 00:39 2.0M 
[   ]int_5__t43_int_52023-06-28 00:39 1.4M 
[   ]int_5__t44_int_52023-06-28 00:39 1.6M 
[   ]int_5__t45_int_52023-06-28 00:39 166K 
[   ]int_5__t46_int_52023-06-28 00:39 106K 
[   ]int_5__t47_int_52023-06-28 00:39 123K 
[   ]int_5__t48_int_52023-06-28 00:39 116K 
[   ]int_5__t49_int_52023-06-28 00:39 561K 
[   ]int_5__t50_int_52023-06-28 00:39 574K 
[   ]int_5__t51_int_52023-06-28 00:39 439K 

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