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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]random_2__l10_random_22024-07-27 05:58 55K 
[ ]random_2__l10_random_2.vout2024-08-03 06:21 7.3K 
[ ]random_2__l11_random_22024-07-27 06:00 56K 
[ ]random_2__l11_random_2.vout2024-08-03 08:32 4.7K 
[ ]random_2__l12_random_22024-07-27 06:02 45K 
[ ]random_2__l12_random_2.vout2024-08-03 04:08 4.7K 
[ ]random_2__l13_random_22024-07-27 06:03 46K 
[ ]random_2__l13_random_2.vout2024-08-03 08:05 4.7K 
[ ]random_2__l14_random_22024-07-27 06:05 70K 
[ ]random_2__l14_random_2.vout2024-08-03 05:13 7.3K 
[ ]random_2__l17_random_22024-07-27 06:06 45K 
[ ]random_2__l17_random_2.vout2024-08-03 07:39 7.3K 
[ ]random_2__l23_random_22024-07-27 05:27 26K 
[ ]random_2__l23_random_2.depv12024-08-03 10:19 98  
[ ]random_2__l23_random_2.depvmin12024-08-03 10:24 98  
[ ]random_2__l23_random_2.vmin12024-08-03 10:20 568  
[ ]random_2__l23_random_2.vmin1out2024-08-03 10:23 4.1K 
[ ]random_2__l23_random_2.vout2024-08-03 04:55 4.3K 
[ ]random_2__l24_random_22024-07-27 06:09 98K 
[ ]random_2__l24_random_2.vout2024-08-03 06:54 4.3K 
[ ]random_2__l25_random_22024-07-27 06:11 97K 
[ ]random_2__l25_random_2.vout2024-08-03 05:10 3.7K 
[ ]random_2__l26_random_22024-07-27 06:14 80K 
[ ]random_2__l26_random_2.vout2024-08-03 04:32 6.8K 
[ ]random_2__l31_random_22024-07-27 06:17 91K 
[ ]random_2__l31_random_2.vout2024-08-03 07:57 4.2K 
[ ]random_2__t1_random_22024-07-27 05:28 46K 
[ ]random_2__t1_random_2.vout2024-08-03 06:17 7.3K 
[ ]random_2__t2_random_22024-07-27 05:30 47K 
[ ]random_2__t2_random_2.vout2024-08-03 05:15 7.3K 
[ ]random_2__t3_random_22024-07-27 05:31 43K 
[ ]random_2__t3_random_2.vout2024-08-03 05:36 4.7K 
[ ]random_2__t4_random_22024-07-27 05:33 56K 
[ ]random_2__t4_random_2.vout2024-08-03 07:07 7.3K 
[ ]random_2__t5_random_22024-07-27 05:34 55K 
[ ]random_2__t5_random_2.vout2024-08-03 05:26 4.7K 
[ ]random_2__t6_random_22024-07-27 05:36 152K 
[ ]random_2__t6_random_2.vout2024-08-03 07:01 6.8K 
[ ]random_2__t7_random_22024-07-27 05:57 96K 
[ ]random_2__t7_random_2.vout2024-08-03 07:33 3.7K 
[ ]random_2__t8_random_22024-07-27 05:38 71K 
[ ]random_2__t8_random_2.vout2024-08-03 07:08 6.8K 
[ ]random_2__t9_random_22024-07-27 05:39 52K 
[ ]random_2__t9_random_2.vout2024-08-03 09:49 7.3K 
[ ]random_2__t10_random_22024-07-27 05:26 52K 
[ ]random_2__t10_random_2.vout2024-08-03 06:04 7.3K 
[ ]random_2__t11_random_22024-07-27 05:43 134K 
[ ]random_2__t11_random_2.vout2024-08-03 06:08 3.7K 
[ ]random_2__t12_random_22024-07-27 05:45 61K 
[ ]random_2__t12_random_2.vout2024-08-03 08:25 4.7K 
[ ]random_2__t13_random_22024-07-27 05:46 58K 
[ ]random_2__t13_random_2.vout2024-08-03 07:52 2.0K 
[ ]random_2__t14_random_22024-07-27 05:48 74K 
[ ]random_2__t14_random_2.vout2024-08-03 07:12 7.3K 
[ ]random_2__t15_random_22024-07-27 05:51 153K 
[ ]random_2__t15_random_2.vout2024-08-03 07:10 3.7K 
[ ]random_2__t16_random_22024-07-27 05:53 53K 
[ ]random_2__t16_random_2.vout2024-08-03 05:23 6.8K 
[ ]random_2__t17_random_22024-07-27 05:54 53K 
[ ]random_2__t17_random_2.vout2024-08-03 08:08 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80