Index of /~mptp/mml5.63.1382/MPTP2/problems_small/scpqsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scpqsort__l2_scpqsort2021-07-17 22:40 43K 
[ ]scpqsort__l2_scpqsort.depv12021-07-25 20:57 193  
[ ]scpqsort__l2_scpqsort.depvmin12021-07-25 21:03 173  
[ ]scpqsort__l2_scpqsort.vmin12021-07-25 20:57 2.6K 
[ ]scpqsort__l2_scpqsort.vmin1out2021-07-25 21:00 28K 
[ ]scpqsort__l2_scpqsort.vout2021-07-25 15:50 30K 
[ ]scpqsort__l3_scpqsort2021-07-17 22:41 52K 
[ ]scpqsort__l3_scpqsort.vout2021-07-25 17:39 7.3K 
[ ]scpqsort__l11_scpqsort2021-07-17 22:42 468K 
[ ]scpqsort__l11_scpqsort.vout2021-07-25 16:40 4.7K 
[ ]scpqsort__l12_scpqsort2021-07-17 22:43 169K 
[ ]scpqsort__l12_scpqsort.vout2021-07-25 20:30 4.8K 
[ ]scpqsort__l13_scpqsort2021-07-17 22:44 176K 
[ ]scpqsort__l13_scpqsort.vout2021-07-25 20:29 4.7K 
[ ]scpqsort__l16_scpqsort2021-07-17 22:45 98K 
[ ]scpqsort__l16_scpqsort.vout2021-07-25 15:04 8.4K 
[ ]scpqsort__l17_scpqsort2021-07-17 22:46 233K 
[ ]scpqsort__l17_scpqsort.vout2021-07-25 18:00 6.8K 
[ ]scpqsort__l18_scpqsort2021-07-17 22:47 759K 
[ ]scpqsort__l18_scpqsort.vout2021-07-25 15:42 4.7K 
[ ]scpqsort__l19_scpqsort2021-07-17 22:48 540K 
[ ]scpqsort__l19_scpqsort.vout2021-07-25 17:53 4.7K 
[ ]scpqsort__l20_scpqsort2021-07-17 22:49 87K 
[ ]scpqsort__l20_scpqsort.vout2021-07-25 16:42 8.4K 
[ ]scpqsort__l21_scpqsort2021-07-17 22:49 98K 
[ ]scpqsort__l21_scpqsort.vout2021-07-25 16:32 8.5K 
[ ]scpqsort__l22_scpqsort2021-07-17 22:50 88K 
[ ]scpqsort__l22_scpqsort.vout2021-07-25 18:03 8.4K 
[ ]scpqsort__l23_scpqsort2021-07-17 22:51 233K 
[ ]scpqsort__l23_scpqsort.vout2021-07-25 15:26 6.8K 
[ ]scpqsort__l24_scpqsort2021-07-17 22:52 758K 
[ ]scpqsort__l24_scpqsort.vout2021-07-25 18:46 4.7K 
[ ]scpqsort__l25_scpqsort2021-07-17 22:53 228K 
[ ]scpqsort__l25_scpqsort.vout2021-07-25 18:30 4.7K 
[ ]scpqsort__l26_scpqsort2021-07-17 22:54 119K 
[ ]scpqsort__l26_scpqsort.vout2021-07-25 15:21 8.5K 
[ ]scpqsort__l27_scpqsort2021-07-17 22:55 90K 
[ ]scpqsort__l27_scpqsort.vout2021-07-25 15:08 8.4K 
[ ]scpqsort__l29_scpqsort2021-07-17 22:56 230K 
[ ]scpqsort__l29_scpqsort.vout2021-07-25 19:53 4.7K 
[ ]scpqsort__l30_scpqsort2021-07-17 22:57 636K 
[ ]scpqsort__l30_scpqsort.vout2021-07-25 19:20 4.7K 
[ ]scpqsort__l31_scpqsort2021-07-17 22:57 14K 
[ ]scpqsort__l31_scpqsort.depv12021-07-25 20:57 262  
[ ]scpqsort__l31_scpqsort.depvmin12021-07-25 21:03 262  
[ ]scpqsort__l31_scpqsort.vmin12021-07-25 20:57 1.8K 
[ ]scpqsort__l31_scpqsort.vmin1out2021-07-25 20:59 17K 
[ ]scpqsort__l31_scpqsort.vout2021-07-25 14:51 18K 
[ ]scpqsort__l32_scpqsort2021-07-17 22:57 20K 
[ ]scpqsort__l32_scpqsort.vout2021-07-25 19:41 2.0K 
[ ]scpqsort__l33_scpqsort2021-07-17 22:58 26K 
[ ]scpqsort__l33_scpqsort.vout2021-07-25 16:35 2.0K 
[ ]scpqsort__l34_scpqsort2021-07-17 22:58 60K 
[ ]scpqsort__l34_scpqsort.vout2021-07-25 20:23 4.7K 
[ ]scpqsort__l35_scpqsort2021-07-17 22:59 32K 
[ ]scpqsort__l35_scpqsort.depv12021-07-25 20:57 60  
[ ]scpqsort__l35_scpqsort.depvmin12021-07-25 21:03 60  
[ ]scpqsort__l35_scpqsort.vmin12021-07-25 20:57 1.6K 
[ ]scpqsort__l35_scpqsort.vmin1out2021-07-25 21:02 32K 
[ ]scpqsort__l35_scpqsort.vout2021-07-25 17:55 36K 
[ ]scpqsort__l36_scpqsort2021-07-17 23:00 863K 
[ ]scpqsort__l36_scpqsort.vout2021-07-25 17:44 4.7K 
[ ]scpqsort__l37_scpqsort2021-07-17 23:01 598K 
[ ]scpqsort__l37_scpqsort.vout2021-07-25 16:36 4.7K 
[ ]scpqsort__l38_scpqsort2021-07-17 23:02 196K 
[ ]scpqsort__l38_scpqsort.vout2021-07-25 16:09 6.8K 
[ ]scpqsort__l42_scpqsort2021-07-17 23:04 907K 
[ ]scpqsort__l42_scpqsort.vout2021-07-25 19:25 4.8K 
[ ]scpqsort__t1_scpqsort2021-07-17 22:30 57K 
[ ]scpqsort__t1_scpqsort.vout2021-07-25 15:33 4.7K 
[ ]scpqsort__t2_scpqsort2021-07-17 22:31 145K 
[ ]scpqsort__t2_scpqsort.vout2021-07-25 18:10 4.7K 
[ ]scpqsort__t3_scpqsort2021-07-17 22:32 94K 
[ ]scpqsort__t3_scpqsort.vout2021-07-25 19:26 4.7K 
[ ]scpqsort__t4_scpqsort2021-07-17 22:33 39K 
[ ]scpqsort__t4_scpqsort.depv12021-07-25 20:57 285  
[ ]scpqsort__t4_scpqsort.depvmin12021-07-25 21:03 232  
[ ]scpqsort__t4_scpqsort.vmin12021-07-25 20:57 2.7K 
[ ]scpqsort__t4_scpqsort.vmin1out2021-07-25 21:02 50K 
[ ]scpqsort__t4_scpqsort.vout2021-07-25 20:07 52K 
[ ]scpqsort__t5_scpqsort2021-07-17 22:33 59K 
[ ]scpqsort__t5_scpqsort.vout2021-07-25 18:12 4.7K 
[ ]scpqsort__t6_scpqsort2021-07-17 22:34 65K 
[ ]scpqsort__t6_scpqsort.vout2021-07-25 18:49 4.7K 
[ ]scpqsort__t7_scpqsort2021-07-17 22:35 77K 
[ ]scpqsort__t7_scpqsort.vout2021-07-25 19:11 4.7K 
[ ]scpqsort__t8_scpqsort2021-07-17 22:35 35K 
[ ]scpqsort__t8_scpqsort.vout2021-07-25 16:16 3.2K 
[ ]scpqsort__t9_scpqsort2021-07-17 22:36 112K 
[ ]scpqsort__t9_scpqsort.vout2021-07-25 14:36 10K 
[ ]scpqsort__t10_scpqsort2021-07-17 22:37 576K 
[ ]scpqsort__t10_scpqsort.vout2021-07-25 14:51 4.7K 
[ ]scpqsort__t11_scpqsort2021-07-17 22:38 767K 
[ ]scpqsort__t11_scpqsort.vout2021-07-25 16:19 4.7K 
[ ]scpqsort__t12_scpqsort2021-07-17 22:27 63K 
[ ]scpqsort__t12_scpqsort.vout2021-07-25 18:52 11K 
[ ]scpqsort__t13_scpqsort2021-07-17 22:28 118K 
[ ]scpqsort__t13_scpqsort.vout2021-07-25 15:52 7.4K 
[ ]scpqsort__t14_scpqsort2021-07-17 22:39 131K 
[ ]scpqsort__t14_scpqsort.vout2021-07-25 17:27 7.3K 
[ ]scpqsort__t15_scpqsort2021-07-17 22:29 119K 
[ ]scpqsort__t15_scpqsort.vout2021-07-25 15:58 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80