Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/ramsey_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ramsey_1__l3_ramsey_12025-09-08 13:06 38K 
[ ]ramsey_1__l3_ramsey_1.vout2025-09-15 19:12 3.7K 
[ ]ramsey_1__l4_ramsey_12025-09-08 13:07 24K 
[ ]ramsey_1__l4_ramsey_1.depv12025-09-15 19:47 80  
[ ]ramsey_1__l4_ramsey_1.depvmin12025-09-15 19:52 80  
[ ]ramsey_1__l4_ramsey_1.vmin12025-09-15 19:47 749  
[ ]ramsey_1__l4_ramsey_1.vmin1out2025-09-15 19:51 14K 
[ ]ramsey_1__l4_ramsey_1.vout2025-09-15 15:32 12K 
[ ]ramsey_1__l6_ramsey_12025-09-08 13:09 25K 
[ ]ramsey_1__l6_ramsey_1.vout2025-09-15 18:04 5.9K 
[ ]ramsey_1__l7_ramsey_12025-09-08 13:10 33K 
[ ]ramsey_1__l7_ramsey_1.vout2025-09-15 16:58 4.2K 
[ ]ramsey_1__l11_ramsey_12025-09-08 13:14 93K 
[ ]ramsey_1__l11_ramsey_1.vout2025-09-15 19:12 3.7K 
[ ]ramsey_1__t1_ramsey_12025-09-08 12:48 42K 
[ ]ramsey_1__t1_ramsey_1.vout2025-09-15 16:55 3.7K 
[ ]ramsey_1__t2_ramsey_12025-09-08 12:42 24K 
[ ]ramsey_1__t2_ramsey_1.depv12025-09-15 19:47 125  
[ ]ramsey_1__t2_ramsey_1.depvmin12025-09-15 19:52 125  
[ ]ramsey_1__t2_ramsey_1.vmin12025-09-15 19:47 928  
[ ]ramsey_1__t2_ramsey_1.vmin1out2025-09-15 19:51 6.8K 
[ ]ramsey_1__t2_ramsey_1.vout2025-09-15 15:34 9.3K 
[ ]ramsey_1__t3_ramsey_12025-09-08 12:49 25K 
[ ]ramsey_1__t3_ramsey_1.depv12025-09-15 19:47 61  
[ ]ramsey_1__t3_ramsey_1.depvmin12025-09-15 19:52 61  
[ ]ramsey_1__t3_ramsey_1.vmin12025-09-15 19:47 507  
[ ]ramsey_1__t3_ramsey_1.vmin1out2025-09-15 19:50 4.0K 
[ ]ramsey_1__t3_ramsey_1.vout2025-09-15 14:57 5.7K 
[ ]ramsey_1__t4_ramsey_12025-09-08 12:50 26K 
[ ]ramsey_1__t4_ramsey_1.depv12025-09-15 19:47 101  
[ ]ramsey_1__t4_ramsey_1.depvmin12025-09-15 19:52 101  
[ ]ramsey_1__t4_ramsey_1.vmin12025-09-15 19:47 654  
[ ]ramsey_1__t4_ramsey_1.vmin1out2025-09-15 19:50 4.8K 
[ ]ramsey_1__t4_ramsey_1.vout2025-09-15 17:36 4.7K 
[ ]ramsey_1__t5_ramsey_12025-09-08 12:43 25K 
[ ]ramsey_1__t5_ramsey_1.depv12025-09-15 19:47 60  
[ ]ramsey_1__t5_ramsey_1.depvmin12025-09-15 19:52 24  
[ ]ramsey_1__t5_ramsey_1.vmin12025-09-15 19:47 329  
[ ]ramsey_1__t5_ramsey_1.vmin1out2025-09-15 19:49 1.9K 
[ ]ramsey_1__t5_ramsey_1.vout2025-09-15 19:46 2.8K 
[ ]ramsey_1__t6_ramsey_12025-09-08 12:52 28K 
[ ]ramsey_1__t6_ramsey_1.vout2025-09-15 17:13 4.2K 
[ ]ramsey_1__t7_ramsey_12025-09-08 12:44 24K 
[ ]ramsey_1__t7_ramsey_1.depv12025-09-15 19:47 24  
[ ]ramsey_1__t7_ramsey_1.depvmin12025-09-15 19:52 24  
[ ]ramsey_1__t7_ramsey_1.vmin12025-09-15 19:47 271  
[ ]ramsey_1__t7_ramsey_1.vmin1out2025-09-15 19:51 2.6K 
[ ]ramsey_1__t7_ramsey_1.vout2025-09-15 17:20 2.7K 
[ ]ramsey_1__t8_ramsey_12025-09-08 12:46 25K 
[ ]ramsey_1__t8_ramsey_1.depv12025-09-15 19:47 59  
[ ]ramsey_1__t8_ramsey_1.depvmin12025-09-15 19:52 59  
[ ]ramsey_1__t8_ramsey_1.vmin12025-09-15 19:47 483  
[ ]ramsey_1__t8_ramsey_1.vmin1out2025-09-15 19:49 6.6K 
[ ]ramsey_1__t8_ramsey_1.vout2025-09-15 19:22 6.0K 
[ ]ramsey_1__t9_ramsey_12025-09-08 12:47 30K 
[ ]ramsey_1__t9_ramsey_1.depv12025-09-15 19:47 123  
[ ]ramsey_1__t9_ramsey_1.depvmin12025-09-15 19:52 123  
[ ]ramsey_1__t9_ramsey_1.vmin12025-09-15 19:47 1.4K 
[ ]ramsey_1__t9_ramsey_1.vmin1out2025-09-15 19:49 17K 
[ ]ramsey_1__t9_ramsey_1.vout2025-09-15 18:00 27K 
[ ]ramsey_1__t10_ramsey_12025-09-08 12:53 26K 
[ ]ramsey_1__t10_ramsey_1.depv12025-09-15 19:47 185  
[ ]ramsey_1__t10_ramsey_1.depvmin12025-09-15 19:52 185  
[ ]ramsey_1__t10_ramsey_1.vmin12025-09-15 19:47 1.5K 
[ ]ramsey_1__t10_ramsey_1.vmin1out2025-09-15 19:50 19K 
[ ]ramsey_1__t10_ramsey_1.vout2025-09-15 14:11 17K 
[ ]ramsey_1__t11_ramsey_12025-09-08 12:54 38K 
[ ]ramsey_1__t11_ramsey_1.vout2025-09-15 13:31 2.0K 
[ ]ramsey_1__t12_ramsey_12025-09-08 12:56 44K 
[ ]ramsey_1__t12_ramsey_1.vout2025-09-15 17:54 2.0K 
[ ]ramsey_1__t13_ramsey_12025-09-08 12:57 32K 
[ ]ramsey_1__t13_ramsey_1.vout2025-09-15 16:51 7.9K 
[ ]ramsey_1__t14_ramsey_12025-09-08 12:58 48K 
[ ]ramsey_1__t14_ramsey_1.vout2025-09-15 17:48 3.7K 
[ ]ramsey_1__t15_ramsey_12025-09-08 13:00 49K 
[ ]ramsey_1__t15_ramsey_1.vout2025-09-15 16:14 4.2K 
[ ]ramsey_1__t16_ramsey_12025-09-08 13:03 186K 
[ ]ramsey_1__t16_ramsey_1.vout2025-09-15 14:06 3.7K 
[ ]ramsey_1__t17_ramsey_12025-09-08 13:05 61K 
[ ]ramsey_1__t17_ramsey_1.vout2025-09-15 18:21 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80