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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmbsort__l34_scmbsort2021-07-18 09:42 46K 
[ ]scmbsort__l34_scmbsort.depv12021-07-25 20:57 114  
[ ]scmbsort__l34_scmbsort.depvmin12021-07-25 21:02 114  
[ ]scmbsort__l34_scmbsort.vmin12021-07-25 20:57 677  
[ ]scmbsort__l34_scmbsort.vmin1out2021-07-25 21:01 4.8K 
[ ]scmbsort__l34_scmbsort.vout2021-07-25 17:17 6.6K 
[ ]scmbsort__l35_scmbsort2021-07-18 09:42 46K 
[ ]scmbsort__l35_scmbsort.depv12021-07-25 20:57 114  
[ ]scmbsort__l35_scmbsort.depvmin12021-07-25 21:02 114  
[ ]scmbsort__l35_scmbsort.vmin12021-07-25 20:57 677  
[ ]scmbsort__l35_scmbsort.vmin1out2021-07-25 20:59 4.8K 
[ ]scmbsort__l35_scmbsort.vout2021-07-25 16:21 6.6K 
[ ]scmbsort__l36_scmbsort2021-07-18 09:43 46K 
[ ]scmbsort__l36_scmbsort.depv12021-07-25 20:57 114  
[ ]scmbsort__l36_scmbsort.depvmin12021-07-25 21:02 114  
[ ]scmbsort__l36_scmbsort.vmin12021-07-25 20:57 677  
[ ]scmbsort__l36_scmbsort.vmin1out2021-07-25 20:58 4.8K 
[ ]scmbsort__l36_scmbsort.vout2021-07-25 19:24 6.6K 
[ ]scmbsort__l37_scmbsort2021-07-18 09:43 46K 
[ ]scmbsort__l37_scmbsort.depv12021-07-25 20:57 114  
[ ]scmbsort__l37_scmbsort.depvmin12021-07-25 21:02 114  
[ ]scmbsort__l37_scmbsort.vmin12021-07-25 20:57 677  
[ ]scmbsort__l37_scmbsort.vmin1out2021-07-25 20:59 4.8K 
[ ]scmbsort__l37_scmbsort.vout2021-07-25 16:11 6.6K 
[ ]scmbsort__l38_scmbsort2021-07-18 09:44 46K 
[ ]scmbsort__l38_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l38_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l38_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l38_scmbsort.vmin1out2021-07-25 20:59 3.5K 
[ ]scmbsort__l38_scmbsort.vout2021-07-25 16:16 3.1K 
[ ]scmbsort__l39_scmbsort2021-07-18 09:44 46K 
[ ]scmbsort__l39_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l39_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l39_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l39_scmbsort.vmin1out2021-07-25 21:01 3.5K 
[ ]scmbsort__l39_scmbsort.vout2021-07-25 19:53 3.1K 
[ ]scmbsort__l40_scmbsort2021-07-18 09:45 46K 
[ ]scmbsort__l40_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l40_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l40_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l40_scmbsort.vmin1out2021-07-25 21:01 3.5K 
[ ]scmbsort__l40_scmbsort.vout2021-07-25 18:56 3.1K 
[ ]scmbsort__l41_scmbsort2021-07-18 09:45 46K 
[ ]scmbsort__l41_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l41_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l41_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l41_scmbsort.vmin1out2021-07-25 21:00 3.5K 
[ ]scmbsort__l41_scmbsort.vout2021-07-25 15:21 3.1K 
[ ]scmbsort__l42_scmbsort2021-07-18 09:46 46K 
[ ]scmbsort__l42_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l42_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l42_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l42_scmbsort.vmin1out2021-07-25 20:58 3.5K 
[ ]scmbsort__l42_scmbsort.vout2021-07-25 17:44 3.1K 
[ ]scmbsort__l43_scmbsort2021-07-18 09:46 46K 
[ ]scmbsort__l43_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l43_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l43_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l43_scmbsort.vmin1out2021-07-25 21:02 3.5K 
[ ]scmbsort__l43_scmbsort.vout2021-07-25 17:05 3.1K 
[ ]scmbsort__l44_scmbsort2021-07-18 09:47 46K 
[ ]scmbsort__l44_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l44_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l44_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l44_scmbsort.vmin1out2021-07-25 20:58 3.5K 
[ ]scmbsort__l44_scmbsort.vout2021-07-25 14:55 3.1K 
[ ]scmbsort__l45_scmbsort2021-07-18 09:47 46K 
[ ]scmbsort__l45_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l45_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l45_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l45_scmbsort.vmin1out2021-07-25 21:02 3.5K 
[ ]scmbsort__l45_scmbsort.vout2021-07-25 16:23 3.1K 
[ ]scmbsort__l46_scmbsort2021-07-18 09:48 46K 
[ ]scmbsort__l46_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l46_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l46_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l46_scmbsort.vmin1out2021-07-25 20:59 3.5K 
[ ]scmbsort__l46_scmbsort.vout2021-07-25 19:14 3.1K 
[ ]scmbsort__l47_scmbsort2021-07-18 09:48 46K 
[ ]scmbsort__l47_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l47_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l47_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l47_scmbsort.vmin1out2021-07-25 20:59 3.5K 
[ ]scmbsort__l47_scmbsort.vout2021-07-25 18:47 3.1K 
[ ]scmbsort__l48_scmbsort2021-07-18 09:49 46K 
[ ]scmbsort__l48_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l48_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l48_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l48_scmbsort.vmin1out2021-07-25 21:01 3.5K 
[ ]scmbsort__l48_scmbsort.vout2021-07-25 14:38 3.1K 
[ ]scmbsort__l49_scmbsort2021-07-18 09:50 46K 
[ ]scmbsort__l49_scmbsort.depv12021-07-25 20:57 76  
[ ]scmbsort__l49_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l49_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l49_scmbsort.vmin1out2021-07-25 20:57 3.5K 
[ ]scmbsort__l49_scmbsort.vout2021-07-25 15:18 3.1K 
[ ]scmbsort__l50_scmbsort2021-07-18 09:50 46K 
[ ]scmbsort__l50_scmbsort.depv12021-07-25 20:57 68  
[ ]scmbsort__l50_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l50_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l50_scmbsort.vmin1out2021-07-25 20:58 3.5K 
[ ]scmbsort__l50_scmbsort.vout2021-07-25 14:52 3.0K 
[ ]scmbsort__l51_scmbsort2021-07-18 09:51 46K 
[ ]scmbsort__l51_scmbsort.depv12021-07-25 20:57 68  
[ ]scmbsort__l51_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l51_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l51_scmbsort.vmin1out2021-07-25 21:01 3.5K 
[ ]scmbsort__l51_scmbsort.vout2021-07-25 19:38 3.0K 
[ ]scmbsort__l52_scmbsort2021-07-18 09:51 46K 
[ ]scmbsort__l52_scmbsort.depv12021-07-25 20:57 68  
[ ]scmbsort__l52_scmbsort.depvmin12021-07-25 21:02 76  
[ ]scmbsort__l52_scmbsort.vmin12021-07-25 20:57 459  
[ ]scmbsort__l52_scmbsort.vmin1out2021-07-25 21:02 3.5K 
[ ]scmbsort__l52_scmbsort.vout2021-07-25 17:16 3.0K 
[ ]scmbsort__l61_scmbsort2021-07-18 10:12 201K 
[ ]scmbsort__l61_scmbsort.vout2021-07-25 20:45 4.7K 
[ ]scmbsort__l62_scmbsort2021-07-18 10:13 174K 
[ ]scmbsort__l62_scmbsort.vout2021-07-25 14:46 4.7K 
[ ]scmbsort__l63_scmbsort2021-07-18 10:14 125K 
[ ]scmbsort__l63_scmbsort.vout2021-07-25 16:06 7.9K 
[ ]scmbsort__l65_scmbsort2021-07-18 10:15 118K 
[ ]scmbsort__l65_scmbsort.vout2021-07-25 17:02 7.9K 
[ ]scmbsort__l66_scmbsort2021-07-18 10:15 128K 
[ ]scmbsort__l66_scmbsort.vout2021-07-25 17:25 7.9K 
[ ]scmbsort__l69_scmbsort2021-07-18 10:16 161K 
[ ]scmbsort__l69_scmbsort.vout2021-07-25 18:56 4.7K 
[ ]scmbsort__l70_scmbsort2021-07-18 10:17 156K 
[ ]scmbsort__l70_scmbsort.vout2021-07-25 16:36 4.7K 
[ ]scmbsort__l71_scmbsort2021-07-18 10:18 518K 
[ ]scmbsort__l71_scmbsort.vout2021-07-25 15:17 4.7K 
[ ]scmbsort__l72_scmbsort2021-07-18 10:19 657K 
[ ]scmbsort__l72_scmbsort.vout2021-07-25 20:12 4.7K 
[ ]scmbsort__l73_scmbsort2021-07-18 10:20 678K 
[ ]scmbsort__l73_scmbsort.vout2021-07-25 17:53 4.7K 
[ ]scmbsort__l74_scmbsort2021-07-18 10:20 160K 
[ ]scmbsort__l74_scmbsort.vout2021-07-25 16:43 4.7K 
[ ]scmbsort__l75_scmbsort2021-07-18 10:21 736K 
[ ]scmbsort__l75_scmbsort.vout2021-07-25 20:24 4.7K 
[ ]scmbsort__t2_scmbsort2021-07-18 09:52 63K 
[ ]scmbsort__t2_scmbsort.depv12021-07-25 20:57 60  
[ ]scmbsort__t2_scmbsort.depvmin12021-07-25 21:02 60  
[ ]scmbsort__t2_scmbsort.vmin12021-07-25 20:57 2.1K 
[ ]scmbsort__t2_scmbsort.vmin1out2021-07-25 20:58 27K 
[ ]scmbsort__t2_scmbsort.vout2021-07-25 16:49 25K 
[ ]scmbsort__t3_scmbsort2021-07-18 09:52 65K 
[ ]scmbsort__t3_scmbsort.vout2021-07-25 17:52 4.1K 
[ ]scmbsort__t4_scmbsort2021-07-18 09:53 87K 
[ ]scmbsort__t4_scmbsort.vout2021-07-25 18:15 4.7K 
[ ]scmbsort__t5_scmbsort2021-07-18 09:54 85K 
[ ]scmbsort__t5_scmbsort.vout2021-07-25 15:02 4.7K 
[ ]scmbsort__t6_scmbsort2021-07-18 09:54 85K 
[ ]scmbsort__t6_scmbsort.vout2021-07-25 17:21 4.7K 
[ ]scmbsort__t7_scmbsort2021-07-18 09:55 59K 
[ ]scmbsort__t7_scmbsort.vout2021-07-25 15:46 4.7K 
[ ]scmbsort__t8_scmbsort2021-07-18 09:55 56K 
[ ]scmbsort__t8_scmbsort.vout2021-07-25 15:20 4.7K 
[ ]scmbsort__t9_scmbsort2021-07-18 09:56 59K 
[ ]scmbsort__t9_scmbsort.vout2021-07-25 17:28 4.7K 
[ ]scmbsort__t10_scmbsort2021-07-18 09:57 58K 
[ ]scmbsort__t10_scmbsort.vout2021-07-25 16:56 4.7K 
[ ]scmbsort__t11_scmbsort2021-07-18 09:57 57K 
[ ]scmbsort__t11_scmbsort.vout2021-07-25 19:48 4.7K 
[ ]scmbsort__t12_scmbsort2021-07-18 09:58 57K 
[ ]scmbsort__t12_scmbsort.vout2021-07-25 17:34 4.7K 
[ ]scmbsort__t13_scmbsort2021-07-18 09:59 55K 
[ ]scmbsort__t13_scmbsort.vout2021-07-25 15:51 4.7K 
[ ]scmbsort__t14_scmbsort2021-07-18 10:00 673K 
[ ]scmbsort__t14_scmbsort.vout2021-07-25 18:02 4.7K 
[ ]scmbsort__t15_scmbsort2021-07-18 10:00 71K 
[ ]scmbsort__t15_scmbsort.vout2021-07-25 16:55 6.8K 
[ ]scmbsort__t23_scmbsort2021-07-18 10:01 53K 
[ ]scmbsort__t23_scmbsort.depv12021-07-25 20:57 150  
[ ]scmbsort__t23_scmbsort.depvmin12021-07-25 21:02 150  
[ ]scmbsort__t23_scmbsort.vmin12021-07-25 20:57 1.6K 
[ ]scmbsort__t23_scmbsort.vmin1out2021-07-25 21:02 14K 
[ ]scmbsort__t23_scmbsort.vout2021-07-25 18:49 22K 
[ ]scmbsort__t26_scmbsort2021-07-18 10:01 58K 
[ ]scmbsort__t26_scmbsort.vout2021-07-25 19:17 4.1K 
[ ]scmbsort__t27_scmbsort2021-07-18 10:02 101K 
[ ]scmbsort__t27_scmbsort.vout2021-07-25 19:49 4.7K 
[ ]scmbsort__t28_scmbsort2021-07-18 10:03 101K 
[ ]scmbsort__t28_scmbsort.vout2021-07-25 17:50 4.1K 
[ ]scmbsort__t32_scmbsort2021-07-18 10:03 54K 
[ ]scmbsort__t32_scmbsort.vout2021-07-25 18:31 6.8K 
[ ]scmbsort__t33_scmbsort2021-07-18 10:04 90K 
[ ]scmbsort__t33_scmbsort.vout2021-07-25 16:41 4.7K 
[ ]scmbsort__t34_scmbsort2021-07-18 10:05 123K 
[ ]scmbsort__t34_scmbsort.vout2021-07-25 16:43 6.8K 
[ ]scmbsort__t35_scmbsort2021-07-18 10:06 112K 
[ ]scmbsort__t35_scmbsort.vout2021-07-25 16:25 6.8K 
[ ]scmbsort__t38_scmbsort2021-07-18 10:06 105K 
[ ]scmbsort__t38_scmbsort.vout2021-07-25 18:57 7.4K 
[ ]scmbsort__t39_scmbsort2021-07-18 10:07 142K 
[ ]scmbsort__t39_scmbsort.vout2021-07-25 15:26 6.8K 
[ ]scmbsort__t40_scmbsort2021-07-18 09:41 127K 
[ ]scmbsort__t40_scmbsort.vout2021-07-25 18:50 10K 
[ ]scmbsort__t41_scmbsort2021-07-18 10:08 190K 
[ ]scmbsort__t41_scmbsort.vout2021-07-25 17:59 4.7K 
[ ]scmbsort__t42_scmbsort2021-07-18 10:09 149K 
[ ]scmbsort__t42_scmbsort.vout2021-07-25 17:14 7.3K 
[ ]scmbsort__t43_scmbsort2021-07-18 10:10 174K 
[ ]scmbsort__t43_scmbsort.vout2021-07-25 16:33 4.7K 
[ ]scmbsort__t44_scmbsort2021-07-18 10:11 211K 
[ ]scmbsort__t44_scmbsort.vout2021-07-25 16:49 6.3K 
[ ]scmbsort__t45_scmbsort2021-07-18 10:12 183K 
[ ]scmbsort__t45_scmbsort.vout2021-07-25 20:54 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80