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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]random_1__l5_random_12024-07-28 15:01 81K 
[ ]random_1__l5_random_1.vout2024-08-03 09:14 6.8K 
[ ]random_1__l6_random_12024-07-28 15:03 44K 
[ ]random_1__l6_random_1.vout2024-08-03 09:55 6.8K 
[ ]random_1__l7_random_12024-07-28 15:05 41K 
[ ]random_1__l7_random_1.vout2024-08-03 08:25 7.3K 
[ ]random_1__l8_random_12024-07-28 15:07 76K 
[ ]random_1__l8_random_1.vout2024-08-03 09:05 6.8K 
[ ]random_1__l9_random_12024-07-28 15:09 49K 
[ ]random_1__l9_random_1.depv12024-08-03 10:19 160  
[ ]random_1__l9_random_1.depvmin12024-08-03 10:24 160  
[ ]random_1__l9_random_1.vmin12024-08-03 10:20 3.0K 
[ ]random_1__l9_random_1.vmin1out2024-08-03 10:21 42K 
[ ]random_1__l9_random_1.vout2024-08-03 10:08 44K 
[ ]random_1__l10_random_12024-07-28 15:10 49K 
[ ]random_1__l10_random_1.vout2024-08-03 05:15 6.8K 
[ ]random_1__l14_random_12024-07-28 15:12 41K 
[ ]random_1__l14_random_1.vout2024-08-03 09:28 7.3K 
[ ]random_1__l15_random_12024-07-28 15:13 42K 
[ ]random_1__l15_random_1.vout2024-08-03 09:15 7.3K 
[ ]random_1__l16_random_12024-07-28 15:15 42K 
[ ]random_1__l16_random_1.vout2024-08-03 05:06 7.3K 
[ ]random_1__l18_random_12024-07-28 14:00 17K 
[ ]random_1__l18_random_1.depv12024-08-03 10:19 52  
[ ]random_1__l18_random_1.depvmin12024-08-03 10:24 52  
[ ]random_1__l18_random_1.vmin12024-08-03 10:20 286  
[ ]random_1__l18_random_1.vmin1out2024-08-03 10:22 2.2K 
[ ]random_1__l18_random_1.vout2024-08-03 06:51 2.1K 
[ ]random_1__l19_random_12024-07-28 15:18 130K 
[ ]random_1__l19_random_1.vout2024-08-03 04:54 6.8K 
[ ]random_1__l23_random_12024-07-28 15:20 74K 
[ ]random_1__l23_random_1.vout2024-08-03 08:54 7.3K 
[ ]random_1__l37_random_12024-07-28 15:22 37K 
[ ]random_1__l37_random_1.vout2024-08-03 06:05 7.4K 
[ ]random_1__t1_random_12024-07-28 14:02 79K 
[ ]random_1__t1_random_1.vout2024-08-03 05:19 6.8K 
[ ]random_1__t2_random_12024-07-28 13:55 67K 
[ ]random_1__t2_random_1.vout2024-08-03 09:51 6.8K 
[ ]random_1__t3_random_12024-07-28 14:04 79K 
[ ]random_1__t3_random_1.vout2024-08-03 07:55 6.8K 
[ ]random_1__t4_random_12024-07-28 13:57 67K 
[ ]random_1__t4_random_1.vout2024-08-03 08:16 7.3K 
[ ]random_1__t5_random_12024-07-28 14:05 44K 
[ ]random_1__t5_random_1.vout2024-08-03 05:35 2.0K 
[ ]random_1__t6_random_12024-07-28 14:07 43K 
[ ]random_1__t6_random_1.vout2024-08-03 04:08 2.0K 
[ ]random_1__t7_random_12024-07-28 13:59 49K 
[ ]random_1__t7_random_1.vout2024-08-03 09:49 2.0K 
[ ]random_1__t8_random_12024-07-28 14:08 41K 
[ ]random_1__t8_random_1.depv12024-08-03 10:19 90  
[ ]random_1__t8_random_1.depvmin12024-08-03 10:24 90  
[ ]random_1__t8_random_1.vmin12024-08-03 10:20 1.4K 
[ ]random_1__t8_random_1.vmin1out2024-08-03 10:20 17K 
[ ]random_1__t8_random_1.vout2024-08-03 07:04 17K 
[ ]random_1__t9_random_12024-07-28 14:10 54K 
[ ]random_1__t9_random_1.vout2024-08-03 07:05 6.8K 
[ ]random_1__t10_random_12024-07-28 14:13 127K 
[ ]random_1__t10_random_1.vout2024-08-03 09:00 6.8K 
[ ]random_1__t11_random_12024-07-28 14:15 68K 
[ ]random_1__t11_random_1.vout2024-08-03 04:08 7.4K 
[ ]random_1__t12_random_12024-07-28 14:17 68K 
[ ]random_1__t12_random_1.vout2024-08-03 08:08 6.8K 
[ ]random_1__t13_random_12024-07-28 14:19 67K 
[ ]random_1__t13_random_1.depv12024-08-03 10:19 160  
[ ]random_1__t13_random_1.depvmin12024-08-03 10:24 160  
[ ]random_1__t13_random_1.vmin12024-08-03 10:20 2.3K 
[ ]random_1__t13_random_1.vmin1out2024-08-03 10:23 43K 
[ ]random_1__t13_random_1.vout2024-08-03 07:10 46K 
[ ]random_1__t14_random_12024-07-28 14:21 74K 
[ ]random_1__t14_random_1.vout2024-08-03 07:18 7.3K 
[ ]random_1__t15_random_12024-07-28 14:22 41K 
[ ]random_1__t15_random_1.vout2024-08-03 08:05 7.3K 
[ ]random_1__t16_random_12024-07-28 14:24 74K 
[ ]random_1__t16_random_1.vout2024-08-03 08:09 7.3K 
[ ]random_1__t17_random_12024-07-28 14:26 38K 
[ ]random_1__t17_random_1.vout2024-08-03 04:56 7.3K 
[ ]random_1__t18_random_12024-07-28 14:27 43K 
[ ]random_1__t18_random_1.vout2024-08-03 06:22 2.0K 
[ ]random_1__t19_random_12024-07-28 14:29 56K 
[ ]random_1__t19_random_1.depv12024-08-03 10:19 339  
[ ]random_1__t19_random_1.depvmin12024-08-03 10:24 339  
[ ]random_1__t19_random_1.vmin12024-08-03 10:20 5.1K 
[ ]random_1__t19_random_1.vmin1out2024-08-03 10:20 70K 
[ ]random_1__t19_random_1.vout2024-08-03 07:30 59K 
[ ]random_1__t20_random_12024-07-28 14:30 43K 
[ ]random_1__t20_random_1.depv12024-08-03 10:19 317  
[ ]random_1__t20_random_1.depvmin12024-08-03 10:24 317  
[ ]random_1__t20_random_1.vmin12024-08-03 10:20 3.9K 
[ ]random_1__t20_random_1.vmin1out2024-08-03 10:22 48K 
[ ]random_1__t20_random_1.vout2024-08-03 08:59 49K 
[ ]random_1__t21_random_12024-07-28 14:31 47K 
[ ]random_1__t21_random_1.vout2024-08-03 05:54 4.7K 
[ ]random_1__t22_random_12024-07-28 14:33 50K 
[ ]random_1__t22_random_1.vout2024-08-03 09:56 4.7K 
[ ]random_1__t23_random_12024-07-28 14:35 45K 
[ ]random_1__t23_random_1.depv12024-08-03 10:19 287  
[ ]random_1__t23_random_1.depvmin12024-08-03 10:24 287  
[ ]random_1__t23_random_1.vmin12024-08-03 10:20 3.8K 
[ ]random_1__t23_random_1.vmin1out2024-08-03 10:22 52K 
[ ]random_1__t23_random_1.vout2024-08-03 09:57 53K 
[ ]random_1__t24_random_12024-07-28 14:36 43K 
[ ]random_1__t24_random_1.vout2024-08-03 09:26 7.4K 
[ ]random_1__t25_random_12024-07-28 14:38 43K 
[ ]random_1__t25_random_1.depv12024-08-03 10:19 264  
[ ]random_1__t25_random_1.depvmin12024-08-03 10:24 264  
[ ]random_1__t25_random_1.vmin12024-08-03 10:20 4.4K 
[ ]random_1__t25_random_1.vmin1out2024-08-03 10:23 62K 
[ ]random_1__t25_random_1.vout2024-08-03 06:07 55K 
[ ]random_1__t26_random_12024-07-28 14:40 76K 
[ ]random_1__t26_random_1.vout2024-08-03 04:51 6.8K 
[ ]random_1__t27_random_12024-07-28 14:42 65K 
[ ]random_1__t27_random_1.vout2024-08-03 08:05 7.3K 
[ ]random_1__t28_random_12024-07-28 14:43 81K 
[ ]random_1__t28_random_1.vout2024-08-03 09:01 6.8K 
[ ]random_1__t29_random_12024-07-28 14:45 38K 
[ ]random_1__t29_random_1.depv12024-08-03 10:19 141  
[ ]random_1__t29_random_1.depvmin12024-08-03 10:24 141  
[ ]random_1__t29_random_1.vmin12024-08-03 10:20 1.7K 
[ ]random_1__t29_random_1.vmin1out2024-08-03 10:23 20K 
[ ]random_1__t29_random_1.vout2024-08-03 05:07 21K 
[ ]random_1__t30_random_12024-07-28 14:47 75K 
[ ]random_1__t30_random_1.vout2024-08-03 08:54 7.3K 
[ ]random_1__t31_random_12024-07-28 14:49 69K 
[ ]random_1__t31_random_1.vout2024-08-03 06:17 7.3K 
[ ]random_1__t32_random_12024-07-28 14:51 69K 
[ ]random_1__t32_random_1.depv12024-08-03 10:19 104  
[ ]random_1__t32_random_1.depvmin12024-08-03 10:24 104  
[ ]random_1__t32_random_1.vmin12024-08-03 10:20 2.7K 
[ ]random_1__t32_random_1.vmin1out2024-08-03 10:22 56K 
[ ]random_1__t32_random_1.vout2024-08-03 06:31 60K 
[ ]random_1__t33_random_12024-07-28 14:53 69K 
[ ]random_1__t33_random_1.depv12024-08-03 10:19 104  
[ ]random_1__t33_random_1.depvmin12024-08-03 10:24 104  
[ ]random_1__t33_random_1.vmin12024-08-03 10:20 2.7K 
[ ]random_1__t33_random_1.vmin1out2024-08-03 10:23 56K 
[ ]random_1__t33_random_1.vout2024-08-03 06:50 60K 
[ ]random_1__t34_random_12024-07-28 14:55 71K 
[ ]random_1__t34_random_1.vout2024-08-03 09:43 4.7K 
[ ]random_1__t35_random_12024-07-28 14:57 71K 
[ ]random_1__t35_random_1.vout2024-08-03 06:57 4.7K 
[ ]random_1__t36_random_12024-07-28 14:59 88K 
[ ]random_1__t36_random_1.vout2024-08-03 06:36 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80