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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_5__l1_scmpds_52025-09-12 02:25 47K 
[ ]scmpds_5__l22_scmpds_52025-09-12 03:26 83K 
[ ]scmpds_5__l26_scmpds_52025-09-12 03:28 80K 
[ ]scmpds_5__l38_scmpds_52025-09-12 03:31 138K 
[ ]scmpds_5__t12_scmpds_52025-09-12 02:27 61K 
[ ]scmpds_5__t13_scmpds_52025-09-12 02:29 155K 
[ ]scmpds_5__t14_scmpds_52025-09-12 02:30 62K 
[ ]scmpds_5__t15_scmpds_52025-09-12 02:32 54K 
[ ]scmpds_5__t16_scmpds_52025-09-12 02:34 71K 
[ ]scmpds_5__t17_scmpds_52025-09-12 02:36 73K 
[ ]scmpds_5__t19_scmpds_52025-09-12 02:38 98K 
[ ]scmpds_5__t20_scmpds_52025-09-12 02:40 75K 
[ ]scmpds_5__t21_scmpds_52025-09-12 02:41 30K 
[ ]scmpds_5__t22_scmpds_52025-09-12 02:43 122K 
[ ]scmpds_5__t23_scmpds_52025-09-12 02:45 115K 
[ ]scmpds_5__t24_scmpds_52025-09-12 02:47 115K 
[ ]scmpds_5__t25_scmpds_52025-09-12 02:49 91K 
[ ]scmpds_5__t26_scmpds_52025-09-12 02:51 77K 
[ ]scmpds_5__t27_scmpds_52025-09-12 02:53 123K 
[ ]scmpds_5__t28_scmpds_52025-09-12 02:55 80K 
[ ]scmpds_5__t29_scmpds_52025-09-12 02:57 96K 
[ ]scmpds_5__t30_scmpds_52025-09-12 02:59 77K 
[ ]scmpds_5__t31_scmpds_52025-09-12 03:03 1.6M 
[ ]scmpds_5__t32_scmpds_52025-09-12 03:05 132K 
[ ]scmpds_5__t33_scmpds_52025-09-12 03:08 95K 
[ ]scmpds_5__t34_scmpds_52025-09-12 03:10 135K 
[ ]scmpds_5__t35_scmpds_52025-09-12 03:12 91K 
[ ]scmpds_5__t37_scmpds_52025-09-12 03:13 34K 
[ ]scmpds_5__t38_scmpds_52025-09-12 03:16 394K 
[ ]scmpds_5__t39_scmpds_52025-09-12 03:17 43K 
[ ]scmpds_5__t40_scmpds_52025-09-12 03:20 320K 
[ ]scmpds_5__t41_scmpds_52025-09-12 03:22 107K 
[ ]scmpds_5__t42_scmpds_52025-09-12 03:24 88K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80