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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2025-09-12 17:45 72K 
[ ]scpqsort__l3_scpqsort2025-09-12 17:47 85K 
[ ]scpqsort__l11_scpqsort2025-09-12 17:51 970K 
[ ]scpqsort__l12_scpqsort2025-09-12 17:54 306K 
[ ]scpqsort__l13_scpqsort2025-09-12 17:56 321K 
[ ]scpqsort__l16_scpqsort2025-09-12 17:59 169K 
[ ]scpqsort__l17_scpqsort2025-09-12 18:02 427K 
[ ]scpqsort__l18_scpqsort2025-09-12 18:05 1.7M 
[ ]scpqsort__l19_scpqsort2025-09-12 18:08 1.2M 
[ ]scpqsort__l20_scpqsort2025-09-12 18:10 148K 
[ ]scpqsort__l21_scpqsort2025-09-12 18:13 169K 
[ ]scpqsort__l22_scpqsort2025-09-12 18:15 148K 
[ ]scpqsort__l23_scpqsort2025-09-12 18:18 427K 
[ ]scpqsort__l24_scpqsort2025-09-12 18:22 1.7M 
[ ]scpqsort__l25_scpqsort2025-09-12 18:24 420K 
[ ]scpqsort__l26_scpqsort2025-09-12 18:27 208K 
[ ]scpqsort__l27_scpqsort2025-09-12 18:29 150K 
[ ]scpqsort__l29_scpqsort2025-09-12 18:32 437K 
[ ]scpqsort__l30_scpqsort2025-09-12 18:35 1.4M 
[ ]scpqsort__l31_scpqsort2025-09-12 18:36 22K 
[ ]scpqsort__l32_scpqsort2025-09-12 18:36 33K 
[ ]scpqsort__l33_scpqsort2025-09-12 18:37 44K 
[ ]scpqsort__l34_scpqsort2025-09-12 18:39 102K 
[ ]scpqsort__l35_scpqsort2025-09-12 18:41 55K 
[ ]scpqsort__l36_scpqsort2025-09-12 18:45 1.8M 
[ ]scpqsort__l37_scpqsort2025-09-12 18:48 1.3M 
[ ]scpqsort__l38_scpqsort2025-09-12 18:50 365K 
[ ]scpqsort__l42_scpqsort2025-09-12 18:56 2.3M 
[ ]scpqsort__t1_scpqsort2025-09-12 17:16 93K 
[ ]scpqsort__t2_scpqsort2025-09-12 17:19 256K 
[ ]scpqsort__t3_scpqsort2025-09-12 17:22 154K 
[ ]scpqsort__t4_scpqsort2025-09-12 17:24 65K 
[ ]scpqsort__t5_scpqsort2025-09-12 17:26 97K 
[ ]scpqsort__t6_scpqsort2025-09-12 17:28 101K 
[ ]scpqsort__t7_scpqsort2025-09-12 17:30 120K 
[ ]scpqsort__t8_scpqsort2025-09-12 17:31 62K 
[ ]scpqsort__t9_scpqsort2025-09-12 17:34 195K 
[ ]scpqsort__t10_scpqsort2025-09-12 17:37 1.3M 
[ ]scpqsort__t11_scpqsort2025-09-12 17:40 1.7M 
[ ]scpqsort__t12_scpqsort2025-09-12 17:09 100K 
[ ]scpqsort__t13_scpqsort2025-09-12 17:11 206K 
[ ]scpqsort__t14_scpqsort2025-09-12 17:43 225K 
[ ]scpqsort__t15_scpqsort2025-09-12 17:14 207K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80