Index of /~mptp/1147/MPTP2/problems/int_7

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]int_7__l1_int_72023-06-28 00:32 68K 
[   ]int_7__l6_int_72023-06-28 00:32 98K 
[   ]int_7__l7_int_72023-06-28 00:32 107K 
[   ]int_7__l10_int_72023-06-28 00:32 89K 
[   ]int_7__l11_int_72023-06-28 00:32 172K 
[   ]int_7__l12_int_72023-06-28 00:32 133K 
[   ]int_7__l14_int_72023-06-28 00:32 79K 
[   ]int_7__l21_int_72023-06-28 00:32 97K 
[   ]int_7__l22_int_72023-06-28 00:32 111K 
[   ]int_7__l23_int_72023-06-28 00:32 129K 
[   ]int_7__l26_int_72023-06-28 00:32 127K 
[   ]int_7__l33_int_72023-06-28 00:32 105K 
[   ]int_7__l42_int_72023-06-28 00:32 228K 
[   ]int_7__l46_int_72023-06-28 00:32 185K 
[   ]int_7__t1_int_72023-06-28 00:32 68K 
[   ]int_7__t2_int_72023-06-28 00:32 72K 
[   ]int_7__t3_int_72023-06-28 00:32 63K 
[   ]int_7__t4_int_72023-06-28 00:32 65K 
[   ]int_7__t5_int_72023-06-28 00:32 47K 
[   ]int_7__t6_int_72023-06-28 00:32 73K 
[   ]int_7__t7_int_72023-06-28 00:32 71K 
[   ]int_7__t8_int_72023-06-28 00:32 49K 
[   ]int_7__t9_int_72023-06-28 00:32 65K 
[   ]int_7__t10_int_72023-06-28 00:32 59K 
[   ]int_7__t11_int_72023-06-28 00:32 60K 
[   ]int_7__t12_int_72023-06-28 00:32 49K 
[   ]int_7__t13_int_72023-06-28 00:32 85K 
[   ]int_7__t14_int_72023-06-28 00:32 77K 
[   ]int_7__t15_int_72023-06-28 00:32 51K 
[   ]int_7__t16_int_72023-06-28 00:32 47K 
[   ]int_7__t17_int_72023-06-28 00:32 108K 
[   ]int_7__t18_int_72023-06-28 00:32 60K 
[   ]int_7__t19_int_72023-06-28 00:32 118K 
[   ]int_7__t20_int_72023-06-28 00:32 105K 
[   ]int_7__t21_int_72023-06-28 00:32 115K 
[   ]int_7__t22_int_72023-06-28 00:32 118K 
[   ]int_7__t23_int_72023-06-28 00:32 83K 
[   ]int_7__t24_int_72023-06-28 00:32 100K 
[   ]int_7__t25_int_72023-06-28 00:32 92K 
[   ]int_7__t26_int_72023-06-28 00:32 98K 
[   ]int_7__t27_int_72023-06-28 00:32 87K 
[   ]int_7__t28_int_72023-06-28 00:32 114K 
[   ]int_7__t29_int_72023-06-28 00:32 160K 
[   ]int_7__t30_int_72023-06-28 00:32 88K 
[   ]int_7__t31_int_72023-06-28 00:32 181K 

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