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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ramsey_1__l3_ramsey_12024-07-28 18:32 38K 
[ ]ramsey_1__l3_ramsey_1.vout2024-08-03 06:32 3.7K 
[ ]ramsey_1__l4_ramsey_12024-07-28 18:33 24K 
[ ]ramsey_1__l4_ramsey_1.depv12024-08-03 10:19 80  
[ ]ramsey_1__l4_ramsey_1.depvmin12024-08-03 10:24 80  
[ ]ramsey_1__l4_ramsey_1.vmin12024-08-03 10:20 749  
[ ]ramsey_1__l4_ramsey_1.vmin1out2024-08-03 10:23 14K 
[ ]ramsey_1__l4_ramsey_1.vout2024-08-03 09:38 12K 
[ ]ramsey_1__l6_ramsey_12024-07-28 18:35 25K 
[ ]ramsey_1__l6_ramsey_1.vout2024-08-03 05:35 5.9K 
[ ]ramsey_1__l7_ramsey_12024-07-28 18:36 33K 
[ ]ramsey_1__l7_ramsey_1.vout2024-08-03 05:00 4.2K 
[ ]ramsey_1__l11_ramsey_12024-07-28 18:40 93K 
[ ]ramsey_1__l11_ramsey_1.vout2024-08-03 04:27 3.7K 
[ ]ramsey_1__t1_ramsey_12024-07-28 18:14 42K 
[ ]ramsey_1__t1_ramsey_1.vout2024-08-03 07:56 3.7K 
[ ]ramsey_1__t2_ramsey_12024-07-28 18:08 24K 
[ ]ramsey_1__t2_ramsey_1.depv12024-08-03 10:19 125  
[ ]ramsey_1__t2_ramsey_1.depvmin12024-08-03 10:24 125  
[ ]ramsey_1__t2_ramsey_1.vmin12024-08-03 10:20 928  
[ ]ramsey_1__t2_ramsey_1.vmin1out2024-08-03 10:21 6.8K 
[ ]ramsey_1__t2_ramsey_1.vout2024-08-03 04:56 9.3K 
[ ]ramsey_1__t3_ramsey_12024-07-28 18:15 25K 
[ ]ramsey_1__t3_ramsey_1.depv12024-08-03 10:19 61  
[ ]ramsey_1__t3_ramsey_1.depvmin12024-08-03 10:24 61  
[ ]ramsey_1__t3_ramsey_1.vmin12024-08-03 10:20 507  
[ ]ramsey_1__t3_ramsey_1.vmin1out2024-08-03 10:23 4.0K 
[ ]ramsey_1__t3_ramsey_1.vout2024-08-03 06:33 5.7K 
[ ]ramsey_1__t4_ramsey_12024-07-28 18:17 26K 
[ ]ramsey_1__t4_ramsey_1.depv12024-08-03 10:19 101  
[ ]ramsey_1__t4_ramsey_1.depvmin12024-08-03 10:24 101  
[ ]ramsey_1__t4_ramsey_1.vmin12024-08-03 10:20 654  
[ ]ramsey_1__t4_ramsey_1.vmin1out2024-08-03 10:22 4.8K 
[ ]ramsey_1__t4_ramsey_1.vout2024-08-03 04:07 4.7K 
[ ]ramsey_1__t5_ramsey_12024-07-28 18:09 25K 
[ ]ramsey_1__t5_ramsey_1.depv12024-08-03 10:19 60  
[ ]ramsey_1__t5_ramsey_1.depvmin12024-08-03 10:24 24  
[ ]ramsey_1__t5_ramsey_1.vmin12024-08-03 10:20 329  
[ ]ramsey_1__t5_ramsey_1.vmin1out2024-08-03 10:23 1.9K 
[ ]ramsey_1__t5_ramsey_1.vout2024-08-03 09:27 2.8K 
[ ]ramsey_1__t6_ramsey_12024-07-28 18:18 28K 
[ ]ramsey_1__t6_ramsey_1.vout2024-08-03 09:33 4.2K 
[ ]ramsey_1__t7_ramsey_12024-07-28 18:10 24K 
[ ]ramsey_1__t7_ramsey_1.depv12024-08-03 10:19 24  
[ ]ramsey_1__t7_ramsey_1.depvmin12024-08-03 10:24 24  
[ ]ramsey_1__t7_ramsey_1.vmin12024-08-03 10:20 271  
[ ]ramsey_1__t7_ramsey_1.vmin1out2024-08-03 10:22 2.6K 
[ ]ramsey_1__t7_ramsey_1.vout2024-08-03 06:14 2.7K 
[ ]ramsey_1__t8_ramsey_12024-07-28 18:12 25K 
[ ]ramsey_1__t8_ramsey_1.depv12024-08-03 10:19 59  
[ ]ramsey_1__t8_ramsey_1.depvmin12024-08-03 10:24 59  
[ ]ramsey_1__t8_ramsey_1.vmin12024-08-03 10:20 483  
[ ]ramsey_1__t8_ramsey_1.vmin1out2024-08-03 10:20 6.6K 
[ ]ramsey_1__t8_ramsey_1.vout2024-08-03 05:48 6.0K 
[ ]ramsey_1__t9_ramsey_12024-07-28 18:13 30K 
[ ]ramsey_1__t9_ramsey_1.depv12024-08-03 10:19 123  
[ ]ramsey_1__t9_ramsey_1.depvmin12024-08-03 10:24 123  
[ ]ramsey_1__t9_ramsey_1.vmin12024-08-03 10:20 1.4K 
[ ]ramsey_1__t9_ramsey_1.vmin1out2024-08-03 10:22 17K 
[ ]ramsey_1__t9_ramsey_1.vout2024-08-03 07:27 27K 
[ ]ramsey_1__t10_ramsey_12024-07-28 18:19 26K 
[ ]ramsey_1__t10_ramsey_1.depv12024-08-03 10:19 185  
[ ]ramsey_1__t10_ramsey_1.depvmin12024-08-03 10:24 185  
[ ]ramsey_1__t10_ramsey_1.vmin12024-08-03 10:20 1.5K 
[ ]ramsey_1__t10_ramsey_1.vmin1out2024-08-03 10:22 19K 
[ ]ramsey_1__t10_ramsey_1.vout2024-08-03 05:35 17K 
[ ]ramsey_1__t11_ramsey_12024-07-28 18:20 38K 
[ ]ramsey_1__t11_ramsey_1.vout2024-08-03 09:13 2.0K 
[ ]ramsey_1__t12_ramsey_12024-07-28 18:22 44K 
[ ]ramsey_1__t12_ramsey_1.vout2024-08-03 04:16 2.0K 
[ ]ramsey_1__t13_ramsey_12024-07-28 18:23 32K 
[ ]ramsey_1__t13_ramsey_1.vout2024-08-03 06:53 7.9K 
[ ]ramsey_1__t14_ramsey_12024-07-28 18:25 48K 
[ ]ramsey_1__t14_ramsey_1.vout2024-08-03 06:19 3.7K 
[ ]ramsey_1__t15_ramsey_12024-07-28 18:26 48K 
[ ]ramsey_1__t15_ramsey_1.vout2024-08-03 09:26 4.2K 
[ ]ramsey_1__t16_ramsey_12024-07-28 18:29 185K 
[ ]ramsey_1__t16_ramsey_1.vout2024-08-03 06:09 3.7K 
[ ]ramsey_1__t17_ramsey_12024-07-28 18:31 61K 
[ ]ramsey_1__t17_ramsey_1.vout2024-08-03 08:13 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80