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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]random_1__t36_random_1.vout2021-07-25 20:47 3.7K 
[ ]random_1__t36_random_12021-07-18 05:45 83K 
[ ]random_1__t35_random_1.vout2021-07-25 14:42 4.7K 
[ ]random_1__t35_random_12021-07-18 05:44 64K 
[ ]random_1__t34_random_1.vout2021-07-25 14:27 4.7K 
[ ]random_1__t34_random_12021-07-18 05:44 64K 
[ ]random_1__t33_random_1.vout2021-07-25 14:27 7.3K 
[ ]random_1__t33_random_12021-07-18 05:43 62K 
[ ]random_1__t32_random_1.vout2021-07-25 16:48 7.3K 
[ ]random_1__t32_random_12021-07-18 05:43 62K 
[ ]random_1__t31_random_1.vout2021-07-25 17:49 7.3K 
[ ]random_1__t31_random_12021-07-18 05:42 62K 
[ ]random_1__t30_random_1.vout2021-07-25 17:03 7.3K 
[ ]random_1__t30_random_12021-07-18 05:41 69K 
[ ]random_1__t29_random_1.vout2021-07-25 19:41 25K 
[ ]random_1__t29_random_1.vmin1out2021-07-25 21:01 23K 
[ ]random_1__t29_random_1.vmin12021-07-25 20:57 2.0K 
[ ]random_1__t29_random_1.depvmin12021-07-25 21:03 153  
[ ]random_1__t29_random_1.depv12021-07-25 20:57 153  
[ ]random_1__t29_random_12021-07-18 05:41 34K 
[ ]random_1__t28_random_1.vout2021-07-25 16:33 7.3K 
[ ]random_1__t28_random_12021-07-18 05:41 73K 
[ ]random_1__t27_random_1.vout2021-07-25 15:11 7.3K 
[ ]random_1__t27_random_12021-07-18 05:40 59K 
[ ]random_1__t26_random_1.vout2021-07-25 15:16 7.3K 
[ ]random_1__t26_random_12021-07-18 05:40 68K 
[ ]random_1__t25_random_1.vout2021-07-25 16:49 2.0K 
[ ]random_1__t25_random_12021-07-18 05:39 37K 
[ ]random_1__t24_random_1.vout2021-07-25 16:24 7.3K 
[ ]random_1__t24_random_12021-07-18 05:39 39K 
[ ]random_1__t23_random_1.vout2021-07-25 19:08 7.3K 
[ ]random_1__t23_random_12021-07-18 05:38 41K 
[ ]random_1__t22_random_1.vout2021-07-25 14:37 4.7K 
[ ]random_1__t22_random_12021-07-18 05:38 46K 
[ ]random_1__t21_random_1.vout2021-07-25 15:01 4.7K 
[ ]random_1__t21_random_12021-07-18 05:37 43K 
[ ]random_1__t20_random_1.vout2021-07-25 20:43 7.4K 
[ ]random_1__t20_random_12021-07-18 05:37 38K 
[ ]random_1__t19_random_1.vout2021-07-25 15:31 7.4K 
[ ]random_1__t19_random_12021-07-18 05:37 52K 
[ ]random_1__t18_random_1.vout2021-07-25 18:26 2.0K 
[ ]random_1__t18_random_12021-07-18 05:36 39K 
[ ]random_1__t17_random_1.vout2021-07-25 17:56 7.3K 
[ ]random_1__t17_random_12021-07-18 05:36 33K 
[ ]random_1__t16_random_1.vout2021-07-25 19:30 7.3K 
[ ]random_1__t16_random_12021-07-18 05:35 70K 
[ ]random_1__t15_random_1.vout2021-07-25 16:51 7.3K 
[ ]random_1__t15_random_12021-07-18 05:35 36K 
[ ]random_1__t14_random_1.vout2021-07-25 16:20 7.3K 
[ ]random_1__t14_random_12021-07-18 05:34 70K 
[ ]random_1__t13_random_1.vout2021-07-25 20:06 42K 
[ ]random_1__t13_random_1.vmin1out2021-07-25 21:00 41K 
[ ]random_1__t13_random_1.vmin12021-07-25 20:57 2.2K 
[ ]random_1__t13_random_1.depvmin12021-07-25 21:03 159  
[ ]random_1__t13_random_1.depv12021-07-25 20:57 159  
[ ]random_1__t13_random_12021-07-18 05:34 62K 
[ ]random_1__t12_random_1.vout2021-07-25 16:12 6.8K 
[ ]random_1__t12_random_12021-07-18 05:33 64K 
[ ]random_1__t11_random_1.vout2021-07-25 19:50 6.8K 
[ ]random_1__t11_random_12021-07-18 05:33 63K 
[ ]random_1__t10_random_1.vout2021-07-25 15:21 6.8K 
[ ]random_1__t10_random_12021-07-18 05:32 122K 
[ ]random_1__t9_random_1.vout2021-07-25 18:28 6.8K 
[ ]random_1__t9_random_12021-07-18 05:32 49K 
[ ]random_1__t8_random_1.vout2021-07-25 18:27 17K 
[ ]random_1__t8_random_1.vmin1out2021-07-25 20:58 17K 
[ ]random_1__t8_random_1.vmin12021-07-25 20:57 1.4K 
[ ]random_1__t8_random_1.depvmin12021-07-25 21:03 90  
[ ]random_1__t8_random_1.depv12021-07-25 20:57 90  
[ ]random_1__t8_random_12021-07-18 05:31 36K 
[ ]random_1__t7_random_1.vout2021-07-25 17:31 2.0K 
[ ]random_1__t7_random_12021-07-18 05:28 44K 
[ ]random_1__t6_random_1.vout2021-07-25 14:55 2.0K 
[ ]random_1__t6_random_12021-07-18 05:31 38K 
[ ]random_1__t5_random_1.vout2021-07-25 19:41 2.0K 
[ ]random_1__t5_random_12021-07-18 05:30 39K 
[ ]random_1__t4_random_1.vout2021-07-25 20:49 6.8K 
[ ]random_1__t4_random_12021-07-18 05:28 62K 
[ ]random_1__t3_random_1.vout2021-07-25 14:25 6.8K 
[ ]random_1__t3_random_12021-07-18 05:30 73K 
[ ]random_1__t2_random_1.vout2021-07-25 18:19 6.8K 
[ ]random_1__t2_random_12021-07-18 05:27 62K 
[ ]random_1__t1_random_1.vout2021-07-25 16:08 6.8K 
[ ]random_1__t1_random_12021-07-18 05:29 73K 
[ ]random_1__l38_random_1.vout2021-07-25 14:36 34K 
[ ]random_1__l38_random_1.vmin1out2021-07-25 20:58 37K 
[ ]random_1__l38_random_1.vmin12021-07-25 20:57 2.7K 
[ ]random_1__l38_random_1.depvmin12021-07-25 21:03 267  
[ ]random_1__l38_random_1.depv12021-07-25 20:57 267  
[ ]random_1__l38_random_12021-07-18 05:51 33K 
[ ]random_1__l23_random_1.vout2021-07-25 20:25 7.3K 
[ ]random_1__l23_random_12021-07-18 05:50 69K 
[ ]random_1__l19_random_1.vout2021-07-25 18:17 6.8K 
[ ]random_1__l19_random_12021-07-18 05:50 124K 
[ ]random_1__l18_random_1.vout2021-07-25 17:01 2.1K 
[ ]random_1__l18_random_1.vmin1out2021-07-25 20:57 2.2K 
[ ]random_1__l18_random_1.vmin12021-07-25 20:57 286  
[ ]random_1__l18_random_1.depvmin12021-07-25 21:03 52  
[ ]random_1__l18_random_1.depv12021-07-25 20:57 52  
[ ]random_1__l18_random_12021-07-18 05:29 13K 
[ ]random_1__l16_random_1.vout2021-07-25 19:10 7.3K 
[ ]random_1__l16_random_12021-07-18 05:49 37K 
[ ]random_1__l15_random_1.vout2021-07-25 17:45 7.3K 
[ ]random_1__l15_random_12021-07-18 05:48 38K 
[ ]random_1__l14_random_1.vout2021-07-25 20:07 7.3K 
[ ]random_1__l14_random_12021-07-18 05:48 37K 
[ ]random_1__l10_random_1.vout2021-07-25 15:50 6.8K 
[ ]random_1__l10_random_12021-07-18 05:48 44K 
[ ]random_1__l9_random_1.vout2021-07-25 16:46 43K 
[ ]random_1__l9_random_1.vmin1out2021-07-25 20:58 42K 
[ ]random_1__l9_random_1.vmin12021-07-25 20:57 3.0K 
[ ]random_1__l9_random_1.depvmin12021-07-25 21:03 160  
[ ]random_1__l9_random_1.depv12021-07-25 20:57 160  
[ ]random_1__l9_random_12021-07-18 05:47 44K 
[ ]random_1__l8_random_1.vout2021-07-25 19:32 6.8K 
[ ]random_1__l8_random_12021-07-18 05:47 71K 
[ ]random_1__l7_random_1.vout2021-07-25 14:58 7.3K 
[ ]random_1__l7_random_12021-07-18 05:46 36K 
[ ]random_1__l6_random_1.vout2021-07-25 15:42 6.8K 
[ ]random_1__l6_random_12021-07-18 05:46 39K 
[ ]random_1__l5_random_1.vout2021-07-25 19:51 6.8K 
[ ]random_1__l5_random_12021-07-18 05:45 76K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80