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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]finance5__l4_finance52025-09-13 23:28 51K 
[   ]finance5__l5_finance52025-09-13 23:29 54K 
[   ]finance5__t1_finance52025-09-13 22:50 54K 
[   ]finance5__t2_finance52025-09-13 22:52 37K 
[   ]finance5__t3_finance52025-09-13 22:53 49K 
[   ]finance5__t4_finance52025-09-13 22:54 48K 
[   ]finance5__t5_finance52025-09-13 22:56 48K 
[   ]finance5__t6_finance52025-09-13 22:58 107K 
[   ]finance5__t7_finance52025-09-13 22:59 50K 
[   ]finance5__t8_finance52025-09-13 23:01 76K 
[   ]finance5__t9_finance52025-09-13 23:03 79K 
[   ]finance5__t10_finance52025-09-13 23:04 50K 
[   ]finance5__t11_finance52025-09-13 23:06 92K 
[   ]finance5__t12_finance52025-09-13 23:08 113K 
[   ]finance5__t13_finance52025-09-13 23:10 68K 
[   ]finance5__t14_finance52025-09-13 23:11 43K 
[   ]finance5__t15_finance52025-09-13 23:12 60K 
[   ]finance5__t16_finance52025-09-13 23:14 70K 
[   ]finance5__t17_finance52025-09-13 23:16 97K 
[   ]finance5__t18_finance52025-09-13 22:47 60K 
[   ]finance5__t19_finance52025-09-13 23:17 69K 
[   ]finance5__t20_finance52025-09-13 23:19 91K 
[   ]finance5__t21_finance52025-09-13 22:49 61K 
[   ]finance5__t22_finance52025-09-13 23:21 71K 
[   ]finance5__t23_finance52025-09-13 23:22 71K 
[   ]finance5__t24_finance52025-09-13 23:24 76K 
[   ]finance5__t25_finance52025-09-13 23:26 80K 

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