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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ramsey_1__t17_ramsey_1.vout2021-07-25 19:57 3.7K 
[ ]ramsey_1__t17_ramsey_12021-07-18 10:00 60K 
[ ]ramsey_1__t16_ramsey_1.vout2021-07-25 19:44 3.7K 
[ ]ramsey_1__t16_ramsey_12021-07-18 10:00 180K 
[ ]ramsey_1__t15_ramsey_1.vout2021-07-25 20:38 4.2K 
[ ]ramsey_1__t15_ramsey_12021-07-18 09:59 47K 
[ ]ramsey_1__t14_ramsey_1.vout2021-07-25 17:24 3.7K 
[ ]ramsey_1__t14_ramsey_12021-07-18 09:58 47K 
[ ]ramsey_1__t13_ramsey_1.vout2021-07-25 16:57 7.9K 
[ ]ramsey_1__t13_ramsey_12021-07-18 09:58 33K 
[ ]ramsey_1__t12_ramsey_1.vout2021-07-25 16:11 2.0K 
[ ]ramsey_1__t12_ramsey_12021-07-18 09:58 43K 
[ ]ramsey_1__t11_ramsey_1.vout2021-07-25 14:54 2.0K 
[ ]ramsey_1__t11_ramsey_12021-07-18 09:57 38K 
[ ]ramsey_1__t10_ramsey_1.vout2021-07-25 17:40 17K 
[ ]ramsey_1__t10_ramsey_1.vmin1out2021-07-25 21:00 19K 
[ ]ramsey_1__t10_ramsey_1.vmin12021-07-25 20:57 1.5K 
[ ]ramsey_1__t10_ramsey_1.depvmin12021-07-25 21:03 185  
[ ]ramsey_1__t10_ramsey_1.depv12021-07-25 20:57 185  
[ ]ramsey_1__t10_ramsey_12021-07-18 09:57 26K 
[ ]ramsey_1__t9_ramsey_1.vout2021-07-25 14:34 27K 
[ ]ramsey_1__t9_ramsey_1.vmin1out2021-07-25 21:01 17K 
[ ]ramsey_1__t9_ramsey_1.vmin12021-07-25 20:57 1.4K 
[ ]ramsey_1__t9_ramsey_1.depvmin12021-07-25 21:03 123  
[ ]ramsey_1__t9_ramsey_1.depv12021-07-25 20:57 123  
[ ]ramsey_1__t9_ramsey_12021-07-18 09:55 30K 
[ ]ramsey_1__t8_ramsey_1.vout2021-07-25 16:45 6.0K 
[ ]ramsey_1__t8_ramsey_1.vmin1out2021-07-25 21:00 6.6K 
[ ]ramsey_1__t8_ramsey_1.vmin12021-07-25 20:57 483  
[ ]ramsey_1__t8_ramsey_1.depvmin12021-07-25 21:03 59  
[ ]ramsey_1__t8_ramsey_1.depv12021-07-25 20:57 59  
[ ]ramsey_1__t8_ramsey_12021-07-18 09:55 25K 
[ ]ramsey_1__t7_ramsey_1.vout2021-07-25 16:17 2.7K 
[ ]ramsey_1__t7_ramsey_1.vmin1out2021-07-25 21:00 2.6K 
[ ]ramsey_1__t7_ramsey_1.vmin12021-07-25 20:57 271  
[ ]ramsey_1__t7_ramsey_1.depvmin12021-07-25 21:03 24  
[ ]ramsey_1__t7_ramsey_1.depv12021-07-25 20:57 24  
[ ]ramsey_1__t7_ramsey_12021-07-18 09:55 23K 
[ ]ramsey_1__t6_ramsey_1.vout2021-07-25 18:31 4.2K 
[ ]ramsey_1__t6_ramsey_12021-07-18 09:56 27K 
[ ]ramsey_1__t5_ramsey_1.vout2021-07-25 15:37 2.8K 
[ ]ramsey_1__t5_ramsey_1.vmin1out2021-07-25 21:01 1.9K 
[ ]ramsey_1__t5_ramsey_1.vmin12021-07-25 20:57 329  
[ ]ramsey_1__t5_ramsey_1.depvmin12021-07-25 21:03 24  
[ ]ramsey_1__t5_ramsey_1.depv12021-07-25 20:57 60  
[ ]ramsey_1__t5_ramsey_12021-07-18 09:54 25K 
[ ]ramsey_1__t4_ramsey_1.vout2021-07-25 19:49 4.7K 
[ ]ramsey_1__t4_ramsey_1.vmin1out2021-07-25 21:00 4.8K 
[ ]ramsey_1__t4_ramsey_1.vmin12021-07-25 20:57 654  
[ ]ramsey_1__t4_ramsey_1.depvmin12021-07-25 21:03 101  
[ ]ramsey_1__t4_ramsey_1.depv12021-07-25 20:57 101  
[ ]ramsey_1__t4_ramsey_12021-07-18 09:56 25K 
[ ]ramsey_1__t3_ramsey_1.vout2021-07-25 14:47 5.7K 
[ ]ramsey_1__t3_ramsey_1.vmin1out2021-07-25 21:02 4.0K 
[ ]ramsey_1__t3_ramsey_1.vmin12021-07-25 20:57 507  
[ ]ramsey_1__t3_ramsey_1.depvmin12021-07-25 21:03 61  
[ ]ramsey_1__t3_ramsey_1.depv12021-07-25 20:57 61  
[ ]ramsey_1__t3_ramsey_12021-07-18 09:56 25K 
[ ]ramsey_1__t2_ramsey_1.vout2021-07-25 15:53 9.3K 
[ ]ramsey_1__t2_ramsey_1.vmin1out2021-07-25 21:00 6.8K 
[ ]ramsey_1__t2_ramsey_1.vmin12021-07-25 20:57 928  
[ ]ramsey_1__t2_ramsey_1.depvmin12021-07-25 21:03 125  
[ ]ramsey_1__t2_ramsey_1.depv12021-07-25 20:57 125  
[ ]ramsey_1__t2_ramsey_12021-07-18 09:54 24K 
[ ]ramsey_1__t1_ramsey_1.vout2021-07-25 14:25 3.7K 
[ ]ramsey_1__t1_ramsey_12021-07-18 09:56 41K 
[ ]ramsey_1__l10_ramsey_1.vout2021-07-25 16:43 3.7K 
[ ]ramsey_1__l10_ramsey_12021-07-18 10:02 91K 
[ ]ramsey_1__l6_ramsey_1.vout2021-07-25 17:42 4.2K 
[ ]ramsey_1__l6_ramsey_12021-07-18 10:01 32K 
[ ]ramsey_1__l5_ramsey_1.vout2021-07-25 20:01 5.9K 
[ ]ramsey_1__l5_ramsey_12021-07-18 10:01 25K 
[ ]ramsey_1__l3_ramsey_1.vout2021-07-25 19:18 12K 
[ ]ramsey_1__l3_ramsey_1.vmin1out2021-07-25 21:00 14K 
[ ]ramsey_1__l3_ramsey_1.vmin12021-07-25 20:57 749  
[ ]ramsey_1__l3_ramsey_1.depvmin12021-07-25 21:03 80  
[ ]ramsey_1__l3_ramsey_1.depv12021-07-25 20:57 80  
[ ]ramsey_1__l3_ramsey_12021-07-18 10:00 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80