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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmbsort__l34_scmbsort2024-07-28 11:20 45K 
[ ]scmbsort__l34_scmbsort.depv12024-08-03 10:19 114  
[ ]scmbsort__l34_scmbsort.depvmin12024-08-03 10:24 114  
[ ]scmbsort__l34_scmbsort.vmin12024-08-03 10:19 677  
[ ]scmbsort__l34_scmbsort.vmin1out2024-08-03 10:20 4.8K 
[ ]scmbsort__l34_scmbsort.vout2024-08-03 05:34 6.5K 
[ ]scmbsort__l35_scmbsort2024-07-28 11:21 45K 
[ ]scmbsort__l35_scmbsort.depv12024-08-03 10:19 114  
[ ]scmbsort__l35_scmbsort.depvmin12024-08-03 10:24 114  
[ ]scmbsort__l35_scmbsort.vmin12024-08-03 10:19 677  
[ ]scmbsort__l35_scmbsort.vmin1out2024-08-03 10:22 4.8K 
[ ]scmbsort__l35_scmbsort.vout2024-08-03 09:24 6.5K 
[ ]scmbsort__l36_scmbsort2024-07-28 11:23 45K 
[ ]scmbsort__l36_scmbsort.depv12024-08-03 10:19 114  
[ ]scmbsort__l36_scmbsort.depvmin12024-08-03 10:24 114  
[ ]scmbsort__l36_scmbsort.vmin12024-08-03 10:19 677  
[ ]scmbsort__l36_scmbsort.vmin1out2024-08-03 10:22 4.8K 
[ ]scmbsort__l36_scmbsort.vout2024-08-03 06:12 6.5K 
[ ]scmbsort__l37_scmbsort2024-07-28 11:25 45K 
[ ]scmbsort__l37_scmbsort.depv12024-08-03 10:19 114  
[ ]scmbsort__l37_scmbsort.depvmin12024-08-03 10:24 114  
[ ]scmbsort__l37_scmbsort.vmin12024-08-03 10:19 677  
[ ]scmbsort__l37_scmbsort.vmin1out2024-08-03 10:20 4.8K 
[ ]scmbsort__l37_scmbsort.vout2024-08-03 05:31 6.5K 
[ ]scmbsort__l38_scmbsort2024-07-28 11:27 44K 
[ ]scmbsort__l38_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l38_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l38_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l38_scmbsort.vmin1out2024-08-03 10:21 3.5K 
[ ]scmbsort__l38_scmbsort.vout2024-08-03 08:28 3.1K 
[ ]scmbsort__l39_scmbsort2024-07-28 11:29 44K 
[ ]scmbsort__l39_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l39_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l39_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l39_scmbsort.vmin1out2024-08-03 10:21 3.5K 
[ ]scmbsort__l39_scmbsort.vout2024-08-03 04:38 3.1K 
[ ]scmbsort__l40_scmbsort2024-07-28 11:31 44K 
[ ]scmbsort__l40_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l40_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l40_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l40_scmbsort.vmin1out2024-08-03 10:21 3.5K 
[ ]scmbsort__l40_scmbsort.vout2024-08-03 08:42 3.1K 
[ ]scmbsort__l41_scmbsort2024-07-28 11:32 44K 
[ ]scmbsort__l41_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l41_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l41_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l41_scmbsort.vmin1out2024-08-03 10:22 3.5K 
[ ]scmbsort__l41_scmbsort.vout2024-08-03 08:30 3.1K 
[ ]scmbsort__l42_scmbsort2024-07-28 11:34 44K 
[ ]scmbsort__l42_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l42_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l42_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l42_scmbsort.vmin1out2024-08-03 10:21 3.5K 
[ ]scmbsort__l42_scmbsort.vout2024-08-03 09:18 3.1K 
[ ]scmbsort__l43_scmbsort2024-07-28 11:36 44K 
[ ]scmbsort__l43_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l43_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l43_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l43_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l43_scmbsort.vout2024-08-03 04:55 3.1K 
[ ]scmbsort__l44_scmbsort2024-07-28 11:38 44K 
[ ]scmbsort__l44_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l44_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l44_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l44_scmbsort.vmin1out2024-08-03 10:22 3.5K 
[ ]scmbsort__l44_scmbsort.vout2024-08-03 09:08 3.1K 
[ ]scmbsort__l45_scmbsort2024-07-28 11:40 44K 
[ ]scmbsort__l45_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l45_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l45_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l45_scmbsort.vmin1out2024-08-03 10:23 3.5K 
[ ]scmbsort__l45_scmbsort.vout2024-08-03 10:00 3.1K 
[ ]scmbsort__l46_scmbsort2024-07-28 11:41 44K 
[ ]scmbsort__l46_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l46_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l46_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l46_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l46_scmbsort.vout2024-08-03 08:20 3.1K 
[ ]scmbsort__l47_scmbsort2024-07-28 11:43 44K 
[ ]scmbsort__l47_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l47_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l47_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l47_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l47_scmbsort.vout2024-08-03 05:16 3.1K 
[ ]scmbsort__l48_scmbsort2024-07-28 11:45 44K 
[ ]scmbsort__l48_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l48_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l48_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l48_scmbsort.vmin1out2024-08-03 10:23 3.5K 
[ ]scmbsort__l48_scmbsort.vout2024-08-03 09:55 3.1K 
[ ]scmbsort__l49_scmbsort2024-07-28 11:47 44K 
[ ]scmbsort__l49_scmbsort.depv12024-08-03 10:19 76  
[ ]scmbsort__l49_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l49_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l49_scmbsort.vmin1out2024-08-03 10:22 3.5K 
[ ]scmbsort__l49_scmbsort.vout2024-08-03 08:15 3.1K 
[ ]scmbsort__l50_scmbsort2024-07-28 11:49 44K 
[ ]scmbsort__l50_scmbsort.depv12024-08-03 10:19 68  
[ ]scmbsort__l50_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l50_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l50_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l50_scmbsort.vout2024-08-03 08:26 3.0K 
[ ]scmbsort__l51_scmbsort2024-07-28 11:50 44K 
[ ]scmbsort__l51_scmbsort.depv12024-08-03 10:19 68  
[ ]scmbsort__l51_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l51_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l51_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l51_scmbsort.vout2024-08-03 06:54 3.0K 
[ ]scmbsort__l52_scmbsort2024-07-28 11:52 44K 
[ ]scmbsort__l52_scmbsort.depv12024-08-03 10:19 68  
[ ]scmbsort__l52_scmbsort.depvmin12024-08-03 10:24 76  
[ ]scmbsort__l52_scmbsort.vmin12024-08-03 10:19 459  
[ ]scmbsort__l52_scmbsort.vmin1out2024-08-03 10:20 3.5K 
[ ]scmbsort__l52_scmbsort.vout2024-08-03 09:41 3.0K 
[ ]scmbsort__l61_scmbsort2024-07-28 13:08 204K 
[ ]scmbsort__l61_scmbsort.vout2024-08-03 08:40 4.7K 
[ ]scmbsort__l62_scmbsort2024-07-28 13:11 172K 
[ ]scmbsort__l62_scmbsort.vout2024-08-03 05:22 4.7K 
[ ]scmbsort__l63_scmbsort2024-07-28 13:13 123K 
[ ]scmbsort__l63_scmbsort.vout2024-08-03 08:47 7.9K 
[ ]scmbsort__l65_scmbsort2024-07-28 13:16 115K 
[ ]scmbsort__l65_scmbsort.vout2024-08-03 09:20 7.9K 
[ ]scmbsort__l66_scmbsort2024-07-28 13:18 125K 
[ ]scmbsort__l66_scmbsort.vout2024-08-03 06:27 7.9K 
[ ]scmbsort__l69_scmbsort2024-07-28 13:21 158K 
[ ]scmbsort__l69_scmbsort.vout2024-08-03 04:26 4.7K 
[ ]scmbsort__l70_scmbsort2024-07-28 13:24 154K 
[ ]scmbsort__l70_scmbsort.vout2024-08-03 06:30 4.7K 
[ ]scmbsort__l71_scmbsort2024-07-28 13:27 574K 
[ ]scmbsort__l71_scmbsort.vout2024-08-03 06:49 4.7K 
[ ]scmbsort__l72_scmbsort2024-07-28 13:30 758K 
[ ]scmbsort__l72_scmbsort.vout2024-08-03 06:00 4.7K 
[ ]scmbsort__l73_scmbsort2024-07-28 13:34 780K 
[ ]scmbsort__l73_scmbsort.vout2024-08-03 09:07 4.7K 
[ ]scmbsort__l74_scmbsort2024-07-28 13:37 158K 
[ ]scmbsort__l74_scmbsort.vout2024-08-03 07:51 4.7K 
[ ]scmbsort__l75_scmbsort2024-07-28 13:40 864K 
[ ]scmbsort__l75_scmbsort.vout2024-08-03 07:08 4.7K 
[ ]scmbsort__t2_scmbsort2024-07-28 11:54 61K 
[ ]scmbsort__t2_scmbsort.depv12024-08-03 10:19 60  
[ ]scmbsort__t2_scmbsort.depvmin12024-08-03 10:24 60  
[ ]scmbsort__t2_scmbsort.vmin12024-08-03 10:19 2.1K 
[ ]scmbsort__t2_scmbsort.vmin1out2024-08-03 10:21 27K 
[ ]scmbsort__t2_scmbsort.vout2024-08-03 09:00 25K 
[ ]scmbsort__t3_scmbsort2024-07-28 11:57 63K 
[ ]scmbsort__t3_scmbsort.vout2024-08-03 07:13 4.1K 
[ ]scmbsort__t4_scmbsort2024-07-28 11:59 85K 
[ ]scmbsort__t4_scmbsort.depv12024-08-03 10:19 156  
[ ]scmbsort__t4_scmbsort.depvmin12024-08-03 10:24 156  
[ ]scmbsort__t4_scmbsort.vmin12024-08-03 10:19 3.5K 
[ ]scmbsort__t4_scmbsort.vmin1out2024-08-03 10:20 55K 
[ ]scmbsort__t4_scmbsort.vout2024-08-03 04:41 28K 
[ ]scmbsort__t5_scmbsort2024-07-28 12:01 83K 
[ ]scmbsort__t5_scmbsort.vout2024-08-03 08:30 4.7K 
[ ]scmbsort__t6_scmbsort2024-07-28 12:04 82K 
[ ]scmbsort__t6_scmbsort.vout2024-08-03 10:02 4.7K 
[ ]scmbsort__t7_scmbsort2024-07-28 12:06 59K 
[ ]scmbsort__t7_scmbsort.vout2024-08-03 09:26 4.7K 
[ ]scmbsort__t8_scmbsort2024-07-28 12:08 56K 
[ ]scmbsort__t8_scmbsort.vout2024-08-03 06:04 4.7K 
[ ]scmbsort__t9_scmbsort2024-07-28 12:10 59K 
[ ]scmbsort__t9_scmbsort.vout2024-08-03 05:56 4.7K 
[ ]scmbsort__t10_scmbsort2024-07-28 12:13 58K 
[ ]scmbsort__t10_scmbsort.vout2024-08-03 05:27 4.7K 
[ ]scmbsort__t11_scmbsort2024-07-28 12:15 57K 
[ ]scmbsort__t11_scmbsort.vout2024-08-03 06:35 4.7K 
[ ]scmbsort__t12_scmbsort2024-07-28 12:17 57K 
[ ]scmbsort__t12_scmbsort.vout2024-08-03 08:27 4.7K 
[ ]scmbsort__t13_scmbsort2024-07-28 12:19 52K 
[ ]scmbsort__t13_scmbsort.vout2024-08-03 08:45 4.7K 
[ ]scmbsort__t14_scmbsort2024-07-28 12:23 801K 
[ ]scmbsort__t14_scmbsort.vout2024-08-03 07:29 4.7K 
[ ]scmbsort__t15_scmbsort2024-07-28 12:25 71K 
[ ]scmbsort__t15_scmbsort.vout2024-08-03 08:00 6.8K 
[ ]scmbsort__t23_scmbsort2024-07-28 12:27 51K 
[ ]scmbsort__t23_scmbsort.depv12024-08-03 10:19 150  
[ ]scmbsort__t23_scmbsort.depvmin12024-08-03 10:24 150  
[ ]scmbsort__t23_scmbsort.vmin12024-08-03 10:19 1.6K 
[ ]scmbsort__t23_scmbsort.vmin1out2024-08-03 10:20 14K 
[ ]scmbsort__t23_scmbsort.vout2024-08-03 07:55 22K 
[ ]scmbsort__t26_scmbsort2024-07-28 12:29 55K 
[ ]scmbsort__t26_scmbsort.vout2024-08-03 06:01 4.1K 
[ ]scmbsort__t27_scmbsort2024-07-28 12:32 98K 
[ ]scmbsort__t27_scmbsort.vout2024-08-03 10:17 4.7K 
[ ]scmbsort__t28_scmbsort2024-07-28 12:34 98K 
[ ]scmbsort__t28_scmbsort.vout2024-08-03 07:36 4.1K 
[ ]scmbsort__t32_scmbsort2024-07-28 12:36 52K 
[ ]scmbsort__t32_scmbsort.vout2024-08-03 05:14 7.3K 
[ ]scmbsort__t33_scmbsort2024-07-28 12:38 90K 
[ ]scmbsort__t33_scmbsort.vout2024-08-03 05:33 4.7K 
[ ]scmbsort__t34_scmbsort2024-07-28 12:41 119K 
[ ]scmbsort__t34_scmbsort.vout2024-08-03 04:12 6.8K 
[ ]scmbsort__t35_scmbsort2024-07-28 12:44 109K 
[ ]scmbsort__t35_scmbsort.vout2024-08-03 06:08 6.8K 
[ ]scmbsort__t38_scmbsort2024-07-28 12:47 102K 
[ ]scmbsort__t38_scmbsort.vout2024-08-03 05:14 7.3K 
[ ]scmbsort__t39_scmbsort2024-07-28 12:50 142K 
[ ]scmbsort__t39_scmbsort.vout2024-08-03 07:58 6.8K 
[ ]scmbsort__t40_scmbsort2024-07-28 11:18 124K 
[ ]scmbsort__t40_scmbsort.vout2024-08-03 07:42 11K 
[ ]scmbsort__t41_scmbsort2024-07-28 12:53 188K 
[ ]scmbsort__t41_scmbsort.vout2024-08-03 06:31 4.7K 
[ ]scmbsort__t42_scmbsort2024-07-28 12:56 146K 
[ ]scmbsort__t42_scmbsort.vout2024-08-03 08:01 7.3K 
[ ]scmbsort__t43_scmbsort2024-07-28 12:59 171K 
[ ]scmbsort__t43_scmbsort.vout2024-08-03 08:29 4.7K 
[ ]scmbsort__t44_scmbsort2024-07-28 13:02 214K 
[ ]scmbsort__t44_scmbsort.vout2024-08-03 07:03 4.7K 
[ ]scmbsort__t45_scmbsort2024-07-28 13:05 182K 
[ ]scmbsort__t45_scmbsort.vout2024-08-03 08:06 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80