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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmisort__t36_scmisort.vout2021-07-25 15:52 8.4K 
[ ]scmisort__t36_scmisort2021-07-18 10:12 217K 
[ ]scmisort__t35_scmisort.vout2021-07-25 18:03 7.9K 
[ ]scmisort__t35_scmisort2021-07-18 10:11 249K 
[ ]scmisort__t34_scmisort.vout2021-07-25 20:18 4.7K 
[ ]scmisort__t34_scmisort2021-07-18 10:10 209K 
[ ]scmisort__t33_scmisort.vout2021-07-25 16:47 7.3K 
[ ]scmisort__t33_scmisort2021-07-18 10:09 183K 
[ ]scmisort__t32_scmisort.vout2021-07-25 16:12 4.7K 
[ ]scmisort__t32_scmisort2021-07-18 10:08 300K 
[ ]scmisort__t31_scmisort.vout2021-07-25 17:47 10K 
[ ]scmisort__t31_scmisort2021-07-18 09:49 160K 
[ ]scmisort__t30_scmisort.vout2021-07-25 19:45 7.3K 
[ ]scmisort__t30_scmisort2021-07-18 10:07 142K 
[ ]scmisort__t29_scmisort.vout2021-07-25 20:37 7.4K 
[ ]scmisort__t29_scmisort2021-07-18 10:06 144K 
[ ]scmisort__t28_scmisort.vout2021-07-25 14:26 77K 
[ ]scmisort__t28_scmisort.vmin1out2021-07-25 21:01 35K 
[ ]scmisort__t28_scmisort.vmin12021-07-25 20:57 2.6K 
[ ]scmisort__t28_scmisort.depvmin12021-07-25 21:03 189  
[ ]scmisort__t28_scmisort.depv12021-07-25 20:57 189  
[ ]scmisort__t28_scmisort2021-07-18 10:05 56K 
[ ]scmisort__t27_scmisort.vout2021-07-25 18:56 49K 
[ ]scmisort__t27_scmisort.vmin1out2021-07-25 21:00 44K 
[ ]scmisort__t27_scmisort.vmin12021-07-25 20:57 2.5K 
[ ]scmisort__t27_scmisort.depvmin12021-07-25 21:03 188  
[ ]scmisort__t27_scmisort.depv12021-07-25 20:57 188  
[ ]scmisort__t27_scmisort2021-07-18 10:05 56K 
[ ]scmisort__t26_scmisort.vout2021-07-25 14:30 7.3K 
[ ]scmisort__t26_scmisort2021-07-18 10:04 150K 
[ ]scmisort__t25_scmisort.vout2021-07-25 18:39 7.4K 
[ ]scmisort__t25_scmisort2021-07-18 10:03 166K 
[ ]scmisort__t24_scmisort.vout2021-07-25 17:25 4.7K 
[ ]scmisort__t24_scmisort2021-07-18 10:02 106K 
[ ]scmisort__t23_scmisort.vout2021-07-25 20:40 4.7K 
[ ]scmisort__t23_scmisort2021-07-18 10:01 108K 
[ ]scmisort__t22_scmisort.vout2021-07-25 15:22 4.7K 
[ ]scmisort__t22_scmisort2021-07-18 10:00 120K 
[ ]scmisort__t21_scmisort.vout2021-07-25 16:29 4.7K 
[ ]scmisort__t21_scmisort2021-07-18 10:00 123K 
[ ]scmisort__t19_scmisort.vout2021-07-25 17:03 4.7K 
[ ]scmisort__t19_scmisort2021-07-18 09:59 154K 
[ ]scmisort__t18_scmisort.vout2021-07-25 19:04 4.7K 
[ ]scmisort__t18_scmisort2021-07-18 09:58 269K 
[ ]scmisort__t17_scmisort.vout2021-07-25 18:14 7.3K 
[ ]scmisort__t17_scmisort2021-07-18 09:57 94K 
[ ]scmisort__t15_scmisort.vout2021-07-25 15:17 4.7K 
[ ]scmisort__t15_scmisort2021-07-18 09:56 199K 
[ ]scmisort__t14_scmisort.vout2021-07-25 15:22 4.7K 
[ ]scmisort__t14_scmisort2021-07-18 09:55 113K 
[ ]scmisort__t13_scmisort.vout2021-07-25 17:06 4.7K 
[ ]scmisort__t13_scmisort2021-07-18 09:54 111K 
[ ]scmisort__t12_scmisort.vout2021-07-25 20:06 4.7K 
[ ]scmisort__t12_scmisort2021-07-18 09:53 111K 
[ ]scmisort__t8_scmisort.vout2021-07-25 15:38 4.7K 
[ ]scmisort__t8_scmisort2021-07-18 09:53 127K 
[ ]scmisort__t7_scmisort.vout2021-07-25 15:33 4.7K 
[ ]scmisort__t7_scmisort2021-07-18 09:52 129K 
[ ]scmisort__t6_scmisort.vout2021-07-25 19:29 4.7K 
[ ]scmisort__t6_scmisort2021-07-18 09:51 143K 
[ ]scmisort__l55_scmisort.vout2021-07-25 16:51 4.7K 
[ ]scmisort__l55_scmisort2021-07-18 10:28 770K 
[ ]scmisort__l54_scmisort.vout2021-07-25 20:21 4.7K 
[ ]scmisort__l54_scmisort2021-07-18 10:27 220K 
[ ]scmisort__l53_scmisort.vout2021-07-25 14:48 4.7K 
[ ]scmisort__l53_scmisort2021-07-18 10:26 684K 
[ ]scmisort__l52_scmisort.vout2021-07-25 18:22 4.7K 
[ ]scmisort__l52_scmisort2021-07-18 10:25 204K 
[ ]scmisort__l51_scmisort.vout2021-07-25 18:01 4.7K 
[ ]scmisort__l51_scmisort2021-07-18 10:24 624K 
[ ]scmisort__l50_scmisort.vout2021-07-25 16:04 4.7K 
[ ]scmisort__l50_scmisort2021-07-18 10:23 234K 
[ ]scmisort__l49_scmisort.vout2021-07-25 19:17 4.7K 
[ ]scmisort__l49_scmisort2021-07-18 10:22 132K 
[ ]scmisort__l48_scmisort.vout2021-07-25 18:36 4.7K 
[ ]scmisort__l48_scmisort2021-07-18 10:21 133K 
[ ]scmisort__l47_scmisort.vout2021-07-25 14:40 4.7K 
[ ]scmisort__l47_scmisort2021-07-18 10:21 156K 
[ ]scmisort__l44_scmisort.vout2021-07-25 18:35 7.9K 
[ ]scmisort__l44_scmisort2021-07-18 10:20 197K 
[ ]scmisort__l42_scmisort.vout2021-07-25 17:33 7.9K 
[ ]scmisort__l42_scmisort2021-07-18 10:19 161K 
[ ]scmisort__l41_scmisort.vout2021-07-25 17:16 8.4K 
[ ]scmisort__l41_scmisort2021-07-18 10:18 123K 
[ ]scmisort__l40_scmisort.vout2021-07-25 16:46 8.4K 
[ ]scmisort__l40_scmisort2021-07-18 10:17 105K 
[ ]scmisort__l39_scmisort.vout2021-07-25 15:19 7.9K 
[ ]scmisort__l39_scmisort2021-07-18 10:17 105K 
[ ]scmisort__l38_scmisort.vout2021-07-25 20:14 7.9K 
[ ]scmisort__l38_scmisort2021-07-18 09:50 159K 
[ ]scmisort__l37_scmisort.vout2021-07-25 16:07 4.7K 
[ ]scmisort__l37_scmisort2021-07-18 10:16 587K 
[ ]scmisort__l36_scmisort.vout2021-07-25 16:03 4.7K 
[ ]scmisort__l36_scmisort2021-07-18 10:15 157K 
[ ]scmisort__l35_scmisort.vout2021-07-25 20:29 4.7K 
[ ]scmisort__l35_scmisort2021-07-18 10:14 227K 
[ ]scmisort__l34_scmisort.vout2021-07-25 14:52 5.3K 
[ ]scmisort__l34_scmisort2021-07-18 10:13 222K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80