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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]random_3__t22_random_3.vout2021-07-25 19:30 86K 
[ ]random_3__t22_random_3.vmin1out2021-07-25 21:01 77K 
[ ]random_3__t22_random_3.vmin12021-07-25 20:57 6.8K 
[ ]random_3__t22_random_3.depvmin12021-07-25 21:03 404  
[ ]random_3__t22_random_3.depv12021-07-25 20:57 461  
[ ]random_3__t22_random_32021-07-18 08:32 50K 
[ ]random_3__t21_random_3.vout2021-07-25 19:57 71K 
[ ]random_3__t21_random_3.vmin1out2021-07-25 21:01 74K 
[ ]random_3__t21_random_3.vmin12021-07-25 20:57 3.8K 
[ ]random_3__t21_random_3.depvmin12021-07-25 21:03 108  
[ ]random_3__t21_random_3.depv12021-07-25 20:57 123  
[ ]random_3__t21_random_32021-07-18 08:32 43K 
[ ]random_3__t20_random_3.vout2021-07-25 15:43 7.3K 
[ ]random_3__t20_random_32021-07-18 08:32 43K 
[ ]random_3__t19_random_3.vout2021-07-25 16:49 34K 
[ ]random_3__t19_random_3.vmin1out2021-07-25 20:59 35K 
[ ]random_3__t19_random_3.vmin12021-07-25 20:57 3.1K 
[ ]random_3__t19_random_3.depvmin12021-07-25 21:03 388  
[ ]random_3__t19_random_3.depv12021-07-25 20:57 388  
[ ]random_3__t19_random_32021-07-18 08:31 30K 
[ ]random_3__t18_random_3.vout2021-07-25 16:20 7.4K 
[ ]random_3__t18_random_32021-07-18 08:31 51K 
[ ]random_3__t17_random_3.vout2021-07-25 17:23 7.3K 
[ ]random_3__t17_random_32021-07-18 08:30 47K 
[ ]random_3__t16_random_3.vout2021-07-25 15:14 30K 
[ ]random_3__t16_random_3.vmin1out2021-07-25 21:01 28K 
[ ]random_3__t16_random_3.vmin12021-07-25 20:57 3.0K 
[ ]random_3__t16_random_3.depvmin12021-07-25 21:03 195  
[ ]random_3__t16_random_3.depv12021-07-25 20:57 299  
[ ]random_3__t16_random_32021-07-18 08:30 42K 
[ ]random_3__t15_random_3.vout2021-07-25 20:26 33K 
[ ]random_3__t15_random_3.vmin1out2021-07-25 21:00 23K 
[ ]random_3__t15_random_3.vmin12021-07-25 20:57 1.8K 
[ ]random_3__t15_random_3.depvmin12021-07-25 21:03 150  
[ ]random_3__t15_random_3.depv12021-07-25 20:57 150  
[ ]random_3__t15_random_32021-07-18 08:30 34K 
[ ]random_3__t14_random_3.vout2021-07-25 15:34 4.1K 
[ ]random_3__t14_random_32021-07-18 08:29 46K 
[ ]random_3__t13_random_3.vout2021-07-25 14:48 4.1K 
[ ]random_3__t13_random_32021-07-18 08:29 44K 
[ ]random_3__t12_random_3.vout2021-07-25 20:11 6.8K 
[ ]random_3__t12_random_32021-07-18 08:28 69K 
[ ]random_3__t11_random_3.vout2021-07-25 19:11 3.7K 
[ ]random_3__t11_random_32021-07-18 08:35 56K 
[ ]random_3__t10_random_3.vout2021-07-25 16:44 6.8K 
[ ]random_3__t10_random_32021-07-18 08:34 38K 
[ ]random_3__t9_random_3.vout2021-07-25 18:43 22K 
[ ]random_3__t9_random_3.vmin1out2021-07-25 20:58 19K 
[ ]random_3__t9_random_3.vmin12021-07-25 20:57 930  
[ ]random_3__t9_random_3.depvmin12021-07-25 21:03 24  
[ ]random_3__t9_random_3.depv12021-07-25 20:57 24  
[ ]random_3__t9_random_32021-07-18 08:25 36K 
[ ]random_3__t8_random_3.vout2021-07-25 15:27 6.8K 
[ ]random_3__t8_random_32021-07-18 08:28 42K 
[ ]random_3__t7_random_3.vout2021-07-25 16:27 6.8K 
[ ]random_3__t7_random_32021-07-18 08:27 38K 
[ ]random_3__t6_random_3.vout2021-07-25 17:44 3.7K 
[ ]random_3__t6_random_32021-07-18 08:34 37K 
[ ]random_3__t5_random_3.vout2021-07-25 19:58 3.7K 
[ ]random_3__t5_random_32021-07-18 08:33 56K 
[ ]random_3__t4_random_3.vout2021-07-25 14:28 7.3K 
[ ]random_3__t4_random_32021-07-18 08:27 43K 
[ ]random_3__t3_random_3.vout2021-07-25 20:27 6.8K 
[ ]random_3__t3_random_32021-07-18 08:27 48K 
[ ]random_3__t2_random_3.vout2021-07-25 19:21 6.8K 
[ ]random_3__t2_random_32021-07-18 08:26 43K 
[ ]random_3__t1_random_3.vout2021-07-25 16:22 7.3K 
[ ]random_3__t1_random_32021-07-18 08:33 28K 
[ ]random_3__l18_random_3.vout2021-07-25 16:54 2.0K 
[ ]random_3__l18_random_32021-07-18 08:35 49K 
[ ]random_3__l14_random_3.vout2021-07-25 14:44 1.1K 
[ ]random_3__l14_random_32021-07-18 08:26 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80