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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2025-09-09 18:12 45K 
[ ]scpqsort__l2_scpqsort.depv12025-09-15 19:47 193  
[ ]scpqsort__l2_scpqsort.depvmin12025-09-15 19:52 173  
[ ]scpqsort__l2_scpqsort.vmin12025-09-15 19:47 2.6K 
[ ]scpqsort__l2_scpqsort.vmin1out2025-09-15 19:49 28K 
[ ]scpqsort__l2_scpqsort.vout2025-09-15 18:32 30K 
[ ]scpqsort__l3_scpqsort2025-09-09 18:14 54K 
[ ]scpqsort__l3_scpqsort.vout2025-09-15 15:12 7.3K 
[ ]scpqsort__l11_scpqsort2025-09-09 18:19 556K 
[ ]scpqsort__l11_scpqsort.vout2025-09-15 16:43 4.7K 
[ ]scpqsort__l12_scpqsort2025-09-09 18:21 174K 
[ ]scpqsort__l12_scpqsort.vout2025-09-15 17:31 4.7K 
[ ]scpqsort__l13_scpqsort2025-09-09 18:24 184K 
[ ]scpqsort__l13_scpqsort.vout2025-09-15 16:14 4.7K 
[ ]scpqsort__l16_scpqsort2025-09-09 18:26 100K 
[ ]scpqsort__l16_scpqsort.vout2025-09-15 17:00 9.0K 
[ ]scpqsort__l17_scpqsort2025-09-09 18:29 244K 
[ ]scpqsort__l17_scpqsort.vout2025-09-15 15:08 6.8K 
[ ]scpqsort__l18_scpqsort2025-09-09 18:32 1.0M 
[ ]scpqsort__l18_scpqsort.vout2025-09-15 19:04 4.7K 
[ ]scpqsort__l19_scpqsort2025-09-09 18:35 674K 
[ ]scpqsort__l19_scpqsort.vout2025-09-15 18:44 4.7K 
[ ]scpqsort__l20_scpqsort2025-09-09 18:37 89K 
[ ]scpqsort__l20_scpqsort.vout2025-09-15 17:17 8.4K 
[ ]scpqsort__l21_scpqsort2025-09-09 18:39 100K 
[ ]scpqsort__l21_scpqsort.vout2025-09-15 18:11 9.0K 
[ ]scpqsort__l22_scpqsort2025-09-09 18:41 89K 
[ ]scpqsort__l22_scpqsort.vout2025-09-15 15:57 8.4K 
[ ]scpqsort__l23_scpqsort2025-09-09 18:44 244K 
[ ]scpqsort__l23_scpqsort.vout2025-09-15 17:06 7.3K 
[ ]scpqsort__l24_scpqsort2025-09-09 18:47 1.0M 
[ ]scpqsort__l24_scpqsort.vout2025-09-15 18:54 4.7K 
[ ]scpqsort__l25_scpqsort2025-09-09 18:50 239K 
[ ]scpqsort__l25_scpqsort.vout2025-09-15 14:00 4.7K 
[ ]scpqsort__l26_scpqsort2025-09-09 18:52 122K 
[ ]scpqsort__l26_scpqsort.vout2025-09-15 18:30 8.4K 
[ ]scpqsort__l27_scpqsort2025-09-09 18:55 91K 
[ ]scpqsort__l27_scpqsort.vout2025-09-15 17:24 8.4K 
[ ]scpqsort__l29_scpqsort2025-09-09 18:57 245K 
[ ]scpqsort__l29_scpqsort.vout2025-09-15 15:59 4.7K 
[ ]scpqsort__l30_scpqsort2025-09-09 19:01 791K 
[ ]scpqsort__l30_scpqsort.vout2025-09-15 19:40 4.7K 
[ ]scpqsort__l31_scpqsort2025-09-09 19:02 13K 
[ ]scpqsort__l31_scpqsort.depv12025-09-15 19:47 248  
[ ]scpqsort__l31_scpqsort.depvmin12025-09-15 19:52 248  
[ ]scpqsort__l31_scpqsort.vmin12025-09-15 19:47 1.8K 
[ ]scpqsort__l31_scpqsort.vmin1out2025-09-15 19:47 17K 
[ ]scpqsort__l31_scpqsort.vout2025-09-15 13:40 19K 
[ ]scpqsort__l32_scpqsort2025-09-09 19:02 19K 
[ ]scpqsort__l32_scpqsort.vout2025-09-15 14:34 2.0K 
[ ]scpqsort__l33_scpqsort2025-09-09 19:03 26K 
[ ]scpqsort__l33_scpqsort.vout2025-09-15 13:49 2.0K 
[ ]scpqsort__l34_scpqsort2025-09-09 19:05 61K 
[ ]scpqsort__l34_scpqsort.vout2025-09-15 18:18 4.7K 
[ ]scpqsort__l35_scpqsort2025-09-09 19:07 34K 
[ ]scpqsort__l35_scpqsort.depv12025-09-15 19:47 60  
[ ]scpqsort__l35_scpqsort.depvmin12025-09-15 19:52 60  
[ ]scpqsort__l35_scpqsort.vmin12025-09-15 19:47 1.6K 
[ ]scpqsort__l35_scpqsort.vmin1out2025-09-15 19:50 32K 
[ ]scpqsort__l35_scpqsort.vout2025-09-15 16:43 37K 
[ ]scpqsort__l36_scpqsort2025-09-09 19:10 1.1M 
[ ]scpqsort__l36_scpqsort.vout2025-09-15 13:41 4.7K 
[ ]scpqsort__l37_scpqsort2025-09-09 19:13 754K 
[ ]scpqsort__l37_scpqsort.vout2025-09-15 17:10 4.7K 
[ ]scpqsort__l38_scpqsort2025-09-09 19:16 206K 
[ ]scpqsort__l38_scpqsort.vout2025-09-15 14:48 6.8K 
[ ]scpqsort__l42_scpqsort2025-09-09 19:22 1.3M 
[ ]scpqsort__l42_scpqsort.vout2025-09-15 18:49 4.8K 
[ ]scpqsort__t1_scpqsort2025-09-09 17:43 59K 
[ ]scpqsort__t1_scpqsort.vout2025-09-15 18:29 4.7K 
[ ]scpqsort__t2_scpqsort2025-09-09 17:46 156K 
[ ]scpqsort__t2_scpqsort.vout2025-09-15 14:50 4.7K 
[ ]scpqsort__t3_scpqsort2025-09-09 17:49 99K 
[ ]scpqsort__t3_scpqsort.vout2025-09-15 18:49 4.7K 
[ ]scpqsort__t4_scpqsort2025-09-09 17:51 40K 
[ ]scpqsort__t4_scpqsort.depv12025-09-15 19:47 285  
[ ]scpqsort__t4_scpqsort.depvmin12025-09-15 19:52 232  
[ ]scpqsort__t4_scpqsort.vmin12025-09-15 19:47 2.7K 
[ ]scpqsort__t4_scpqsort.vmin1out2025-09-15 19:49 50K 
[ ]scpqsort__t4_scpqsort.vout2025-09-15 18:53 51K 
[ ]scpqsort__t5_scpqsort2025-09-09 17:53 62K 
[ ]scpqsort__t5_scpqsort.vout2025-09-15 16:13 4.7K 
[ ]scpqsort__t6_scpqsort2025-09-09 17:55 67K 
[ ]scpqsort__t6_scpqsort.vout2025-09-15 17:02 4.7K 
[ ]scpqsort__t7_scpqsort2025-09-09 17:57 79K 
[ ]scpqsort__t7_scpqsort.vout2025-09-15 13:28 4.7K 
[ ]scpqsort__t8_scpqsort2025-09-09 17:59 36K 
[ ]scpqsort__t8_scpqsort.vout2025-09-15 16:19 3.2K 
[ ]scpqsort__t9_scpqsort2025-09-09 18:01 115K 
[ ]scpqsort__t9_scpqsort.vout2025-09-15 16:49 10K 
[ ]scpqsort__t10_scpqsort2025-09-09 18:04 731K 
[ ]scpqsort__t10_scpqsort.vout2025-09-15 17:25 4.7K 
[ ]scpqsort__t11_scpqsort2025-09-09 18:07 1.0M 
[ ]scpqsort__t11_scpqsort.vout2025-09-15 16:18 4.7K 
[ ]scpqsort__t12_scpqsort2025-09-09 17:36 64K 
[ ]scpqsort__t12_scpqsort.vout2025-09-15 19:34 11K 
[ ]scpqsort__t13_scpqsort2025-09-09 17:38 123K 
[ ]scpqsort__t13_scpqsort.vout2025-09-15 13:29 7.4K 
[ ]scpqsort__t14_scpqsort2025-09-09 18:10 136K 
[ ]scpqsort__t14_scpqsort.vout2025-09-15 15:37 7.3K 
[ ]scpqsort__t15_scpqsort2025-09-09 17:41 124K 
[ ]scpqsort__t15_scpqsort.vout2025-09-15 15:07 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80