Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l42_scpqsort2024-07-26 19:03 1.2M 
[ ]scpqsort__l36_scpqsort2024-07-26 18:51 1.0M 
[ ]scpqsort__t11_scpqsort2024-07-26 17:45 922K 
[ ]scpqsort__l18_scpqsort2024-07-26 18:10 915K 
[ ]scpqsort__l24_scpqsort2024-07-26 18:27 914K 
[ ]scpqsort__l30_scpqsort2024-07-26 18:41 729K 
[ ]scpqsort__l37_scpqsort2024-07-26 18:54 692K 
[ ]scpqsort__t10_scpqsort2024-07-26 17:41 669K 
[ ]scpqsort__l19_scpqsort2024-07-26 18:13 627K 
[ ]scpqsort__l11_scpqsort2024-07-26 17:57 540K 
[ ]scpqsort__l17_scpqsort2024-07-26 18:07 241K 
[ ]scpqsort__l23_scpqsort2024-07-26 18:23 241K 
[ ]scpqsort__l29_scpqsort2024-07-26 18:37 239K 
[ ]scpqsort__l25_scpqsort2024-07-26 18:29 236K 
[ ]scpqsort__l38_scpqsort2024-07-26 18:57 203K 
[ ]scpqsort__l13_scpqsort2024-07-26 18:02 183K 
[ ]scpqsort__l12_scpqsort2024-07-26 17:59 174K 
[ ]scpqsort__t2_scpqsort2024-07-26 17:23 153K 
[ ]scpqsort__t14_scpqsort2024-07-26 17:48 135K 
[ ]scpqsort__t15_scpqsort2024-07-26 17:17 123K 
[ ]scpqsort__t13_scpqsort2024-07-26 17:14 122K 
[ ]scpqsort__l26_scpqsort2024-07-26 18:32 121K 
[ ]scpqsort__t9_scpqsort2024-07-26 17:38 115K 
[ ]scpqsort__l16_scpqsort2024-07-26 18:04 100K 
[ ]scpqsort__l21_scpqsort2024-07-26 18:18 100K 
[ ]scpqsort__t3_scpqsort2024-07-26 17:26 99K 
[ ]scpqsort__l27_scpqsort2024-07-26 18:34 91K 
[ ]scpqsort__l22_scpqsort2024-07-26 18:20 89K 
[ ]scpqsort__l20_scpqsort2024-07-26 18:16 89K 
[ ]scpqsort__t7_scpqsort2024-07-26 17:35 79K 
[ ]scpqsort__t6_scpqsort2024-07-26 17:32 67K 
[ ]scpqsort__t12_scpqsort2024-07-26 17:12 64K 
[ ]scpqsort__t5_scpqsort2024-07-26 17:30 62K 
[ ]scpqsort__l34_scpqsort2024-07-26 18:45 61K 
[ ]scpqsort__t1_scpqsort2024-07-26 17:19 59K 
[ ]scpqsort__l3_scpqsort2024-07-26 17:52 54K 
[ ]scpqsort__t4_scpqsort.vout2024-08-03 04:41 51K 
[ ]scpqsort__t4_scpqsort.vmin1out2024-08-03 10:23 50K 
[ ]scpqsort__l2_scpqsort2024-07-26 17:50 45K 
[ ]scpqsort__t4_scpqsort2024-07-26 17:28 40K 
[ ]scpqsort__l35_scpqsort.vout2024-08-03 04:37 37K 
[ ]scpqsort__t8_scpqsort2024-07-26 17:36 36K 
[ ]scpqsort__l35_scpqsort2024-07-26 18:47 34K 
[ ]scpqsort__l35_scpqsort.vmin1out2024-08-03 10:22 32K 
[ ]scpqsort__l2_scpqsort.vout2024-08-03 07:15 30K 
[ ]scpqsort__l2_scpqsort.vmin1out2024-08-03 10:23 28K 
[ ]scpqsort__l33_scpqsort2024-07-26 18:43 26K 
[ ]scpqsort__l32_scpqsort2024-07-26 18:42 19K 
[ ]scpqsort__l31_scpqsort.vout2024-08-03 07:48 19K 
[ ]scpqsort__l31_scpqsort.vmin1out2024-08-03 10:20 17K 
[ ]scpqsort__l31_scpqsort2024-07-26 18:41 13K 
[ ]scpqsort__t12_scpqsort.vout2024-08-03 07:12 11K 
[ ]scpqsort__t9_scpqsort.vout2024-08-03 08:22 10K 
[ ]scpqsort__l26_scpqsort.vout2024-08-03 09:12 9.0K 
[ ]scpqsort__l16_scpqsort.vout2024-08-03 07:48 9.0K 
[ ]scpqsort__l21_scpqsort.vout2024-08-03 07:50 8.4K 
[ ]scpqsort__l27_scpqsort.vout2024-08-03 07:51 8.4K 
[ ]scpqsort__l22_scpqsort.vout2024-08-03 05:36 8.4K 
[ ]scpqsort__l20_scpqsort.vout2024-08-03 04:27 8.4K 
[ ]scpqsort__t13_scpqsort.vout2024-08-03 04:34 7.4K 
[ ]scpqsort__l3_scpqsort.vout2024-08-03 07:16 7.3K 
[ ]scpqsort__t14_scpqsort.vout2024-08-03 05:56 7.3K 
[ ]scpqsort__l38_scpqsort.vout2024-08-03 04:33 6.8K 
[ ]scpqsort__l23_scpqsort.vout2024-08-03 06:26 6.8K 
[ ]scpqsort__l17_scpqsort.vout2024-08-03 05:59 6.8K 
[ ]scpqsort__l12_scpqsort.vout2024-08-03 09:20 4.7K 
[ ]scpqsort__l42_scpqsort.vout2024-08-03 05:16 4.7K 
[ ]scpqsort__l36_scpqsort.vout2024-08-03 05:07 4.7K 
[ ]scpqsort__l24_scpqsort.vout2024-08-03 10:04 4.7K 
[ ]scpqsort__l11_scpqsort.vout2024-08-03 08:11 4.7K 
[ ]scpqsort__l18_scpqsort.vout2024-08-03 10:14 4.7K 
[ ]scpqsort__t15_scpqsort.vout2024-08-03 06:06 4.7K 
[ ]scpqsort__t11_scpqsort.vout2024-08-03 09:14 4.7K 
[ ]scpqsort__l29_scpqsort.vout2024-08-03 09:00 4.7K 
[ ]scpqsort__t5_scpqsort.vout2024-08-03 08:48 4.7K 
[ ]scpqsort__t10_scpqsort.vout2024-08-03 04:29 4.7K 
[ ]scpqsort__l37_scpqsort.vout2024-08-03 05:38 4.7K 
[ ]scpqsort__l34_scpqsort.vout2024-08-03 08:47 4.7K 
[ ]scpqsort__l30_scpqsort.vout2024-08-03 05:45 4.7K 
[ ]scpqsort__l25_scpqsort.vout2024-08-03 08:28 4.7K 
[ ]scpqsort__l19_scpqsort.vout2024-08-03 07:55 4.7K 
[ ]scpqsort__l13_scpqsort.vout2024-08-03 05:49 4.7K 
[ ]scpqsort__t6_scpqsort.vout2024-08-03 08:01 4.7K 
[ ]scpqsort__t2_scpqsort.vout2024-08-03 05:06 4.7K 
[ ]scpqsort__t3_scpqsort.vout2024-08-03 08:48 4.7K 
[ ]scpqsort__t1_scpqsort.vout2024-08-03 09:29 4.7K 
[ ]scpqsort__t7_scpqsort.vout2024-08-03 04:24 4.7K 
[ ]scpqsort__t8_scpqsort.vout2024-08-03 05:57 3.2K 
[ ]scpqsort__t4_scpqsort.vmin12024-08-03 10:20 2.7K 
[ ]scpqsort__l2_scpqsort.vmin12024-08-03 10:20 2.6K 
[ ]scpqsort__l33_scpqsort.vout2024-08-03 08:53 2.0K 
[ ]scpqsort__l32_scpqsort.vout2024-08-03 05:57 2.0K 
[ ]scpqsort__l31_scpqsort.vmin12024-08-03 10:20 1.8K 
[ ]scpqsort__l35_scpqsort.vmin12024-08-03 10:20 1.6K 
[ ]scpqsort__t4_scpqsort.depv12024-08-03 10:19 285  
[ ]scpqsort__l31_scpqsort.depvmin12024-08-03 10:24 248  
[ ]scpqsort__l31_scpqsort.depv12024-08-03 10:19 248  
[ ]scpqsort__t4_scpqsort.depvmin12024-08-03 10:24 232  
[ ]scpqsort__l2_scpqsort.depv12024-08-03 10:19 193  
[ ]scpqsort__l2_scpqsort.depvmin12024-08-03 10:24 173  
[ ]scpqsort__l35_scpqsort.depvmin12024-08-03 10:24 60  
[ ]scpqsort__l35_scpqsort.depv12024-08-03 10:19 60  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80