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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpisort__l12_scpisort2025-09-13 06:33 84K 
[ ]scpisort__l13_scpisort2025-09-13 06:35 86K 
[ ]scpisort__l14_scpisort2025-09-13 06:37 105K 
[ ]scpisort__l19_scpisort2025-09-13 06:40 172K 
[ ]scpisort__l20_scpisort2025-09-13 06:42 184K 
[ ]scpisort__l21_scpisort2025-09-13 06:45 1.2M 
[ ]scpisort__l22_scpisort2025-09-13 06:48 1.7M 
[ ]scpisort__l23_scpisort2025-09-13 06:50 298K 
[ ]scpisort__l24_scpisort2025-09-13 06:53 304K 
[ ]scpisort__l25_scpisort2025-09-13 06:56 363K 
[ ]scpisort__l26_scpisort2025-09-13 06:58 436K 
[ ]scpisort__l27_scpisort2025-09-13 07:01 432K 
[ ]scpisort__l28_scpisort2025-09-13 07:04 434K 
[ ]scpisort__l31_scpisort2025-09-13 07:06 300K 
[ ]scpisort__l33_scpisort2025-09-13 07:10 1.7M 
[ ]scpisort__s1_scpisort2025-09-13 05:47 1.5M 
[ ]scpisort__s2_scpisort2025-09-13 05:51 1.5M 
[ ]scpisort__s3_scpisort2025-09-13 05:53 151K 
[ ]scpisort__t1_scpisort2025-09-13 05:55 75K 
[ ]scpisort__t2_scpisort2025-09-13 05:57 74K 
[ ]scpisort__t3_scpisort2025-09-13 05:58 43K 
[ ]scpisort__t4_scpisort2025-09-13 06:00 93K 
[ ]scpisort__t5_scpisort2025-09-13 06:02 94K 
[ ]scpisort__t6_scpisort2025-09-13 06:04 91K 
[ ]scpisort__t7_scpisort2025-09-13 06:06 91K 
[ ]scpisort__t8_scpisort2025-09-13 06:08 89K 
[ ]scpisort__t9_scpisort2025-09-13 06:10 89K 
[ ]scpisort__t10_scpisort2025-09-13 06:12 94K 
[ ]scpisort__t11_scpisort2025-09-13 06:15 113K 
[ ]scpisort__t12_scpisort2025-09-13 06:17 113K 
[ ]scpisort__t13_scpisort2025-09-13 06:19 80K 
[ ]scpisort__t14_scpisort2025-09-13 06:22 239K 
[ ]scpisort__t15_scpisort2025-09-13 06:25 296K 
[ ]scpisort__t16_scpisort2025-09-13 06:28 1.7M 
[ ]scpisort__t17_scpisort2025-09-13 06:31 1.2M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80