Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/sfmastr3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sfmastr3__l28_sfmastr32025-09-12 23:42 302K 
[ ]sfmastr3__t2_sfmastr32025-09-12 22:26 114K 
[ ]sfmastr3__t3_sfmastr32025-09-12 22:28 115K 
[ ]sfmastr3__t4_sfmastr32025-09-12 22:30 97K 
[ ]sfmastr3__t5_sfmastr32025-09-12 22:33 93K 
[ ]sfmastr3__t6_sfmastr32025-09-12 22:35 95K 
[ ]sfmastr3__t16_sfmastr32025-09-12 22:38 248K 
[ ]sfmastr3__t17_sfmastr32025-09-12 22:24 207K 
[ ]sfmastr3__t18_sfmastr32025-09-12 22:41 252K 
[ ]sfmastr3__t21_sfmastr32025-09-12 22:45 273K 
[ ]sfmastr3__t22_sfmastr32025-09-12 22:48 187K 
[ ]sfmastr3__t23_sfmastr32025-09-12 22:51 197K 
[ ]sfmastr3__t24_sfmastr32025-09-12 22:54 288K 
[ ]sfmastr3__t25_sfmastr32025-09-12 22:58 367K 
[ ]sfmastr3__t26_sfmastr32025-09-12 23:01 238K 
[ ]sfmastr3__t27_sfmastr32025-09-12 23:05 218K 
[ ]sfmastr3__t28_sfmastr32025-09-12 23:08 207K 
[ ]sfmastr3__t29_sfmastr32025-09-12 23:11 257K 
[ ]sfmastr3__t30_sfmastr32025-09-12 23:15 685K 
[ ]sfmastr3__t31_sfmastr32025-09-12 23:19 690K 
[ ]sfmastr3__t32_sfmastr32025-09-12 23:22 185K 
[ ]sfmastr3__t33_sfmastr32025-09-12 23:25 225K 
[ ]sfmastr3__t34_sfmastr32025-09-12 23:28 185K 
[ ]sfmastr3__t35_sfmastr32025-09-12 23:31 170K 
[ ]sfmastr3__t36_sfmastr32025-09-12 23:34 169K 
[ ]sfmastr3__t37_sfmastr32025-09-12 23:38 555K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80