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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mfold_0__l5_mfold_02025-09-13 12:32 93K 
[   ]mfold_0__l13_mfold_02025-09-13 12:36 373K 
[   ]mfold_0__l14_mfold_02025-09-13 12:38 96K 
[   ]mfold_0__l17_mfold_02025-09-13 12:41 129K 
[   ]mfold_0__l18_mfold_02025-09-13 12:44 150K 
[   ]mfold_0__t1_mfold_02025-09-13 11:50 89K 
[   ]mfold_0__t2_mfold_02025-09-13 11:52 80K 
[   ]mfold_0__t3_mfold_02025-09-13 11:55 115K 
[   ]mfold_0__t4_mfold_02025-09-13 11:58 250K 
[   ]mfold_0__t5_mfold_02025-09-13 12:02 289K 
[   ]mfold_0__t6_mfold_02025-09-13 11:48 83K 
[   ]mfold_0__t7_mfold_02025-09-13 12:06 293K 
[   ]mfold_0__t8_mfold_02025-09-13 12:10 203K 
[   ]mfold_0__t9_mfold_02025-09-13 12:11 68K 
[   ]mfold_0__t10_mfold_02025-09-13 12:14 114K 
[   ]mfold_0__t11_mfold_02025-09-13 12:17 128K 
[   ]mfold_0__t12_mfold_02025-09-13 12:19 90K 
[   ]mfold_0__t13_mfold_02025-09-13 12:22 376K 
[   ]mfold_0__t14_mfold_02025-09-13 12:26 160K 
[   ]mfold_0__t15_mfold_02025-09-13 12:28 59K 
[   ]mfold_0__t16_mfold_02025-09-13 12:29 56K 

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