Index of /~mptp/mml5.63.1382/MPTP2/problems/int_8

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]int_8__l8_int_82023-06-28 15:04 95K 
[   ]int_8__l10_int_82023-06-28 14:47 30K 
[   ]int_8__l29_int_82023-06-28 14:47 27K 
[   ]int_8__t1_int_82023-06-28 14:48 36K 
[   ]int_8__t2_int_82023-06-28 14:48 36K 
[   ]int_8__t3_int_82023-06-28 14:48 42K 
[   ]int_8__t4_int_82023-06-28 14:49 713K 
[   ]int_8__t5_int_82023-06-28 14:49 29K 
[   ]int_8__t6_int_82023-06-28 14:50 37K 
[   ]int_8__t7_int_82023-06-28 14:50 881K 
[   ]int_8__t8_int_82023-06-28 14:51 123K 
[   ]int_8__t9_int_82023-06-28 14:51 34K 
[   ]int_8__t10_int_82023-06-28 14:52 75K 
[   ]int_8__t11_int_82023-06-28 14:52 38K 
[   ]int_8__t12_int_82023-06-28 14:53 111K 
[   ]int_8__t13_int_82023-06-28 14:53 62K 
[   ]int_8__t14_int_82023-06-28 14:54 52K 
[   ]int_8__t15_int_82023-06-28 14:54 49K 
[   ]int_8__t16_int_82023-06-28 14:55 48K 
[   ]int_8__t17_int_82023-06-28 14:55 43K 
[   ]int_8__t18_int_82023-06-28 14:56 51K 
[   ]int_8__t19_int_82023-06-28 14:56 47K 
[   ]int_8__t20_int_82023-06-28 14:57 41K 
[   ]int_8__t21_int_82023-06-28 14:57 48K 
[   ]int_8__t22_int_82023-06-28 14:58 62K 
[   ]int_8__t23_int_82023-06-28 14:58 81K 
[   ]int_8__t24_int_82023-06-28 14:59 68K 
[   ]int_8__t25_int_82023-06-28 14:59 63K 
[   ]int_8__t26_int_82023-06-28 15:00 95K 
[   ]int_8__t27_int_82023-06-28 15:01 80K 
[   ]int_8__t28_int_82023-06-28 15:01 128K 
[   ]int_8__t29_int_82023-06-28 15:02 171K 
[   ]int_8__t30_int_82023-06-28 15:02 167K 
[   ]int_8__t31_int_82023-06-28 15:03 727K 
[   ]int_8__t32_int_82023-06-28 15:04 119K 

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