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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_4__l4_card_42025-09-08 00:54 216K 
[ ]card_4__l4_card_4.vout2025-09-15 15:13 4.7K 
[ ]card_4__l6_card_42025-09-08 00:55 18K 
[ ]card_4__l6_card_4.depv12025-09-15 19:47 117  
[ ]card_4__l6_card_4.depvmin12025-09-15 19:51 117  
[ ]card_4__l6_card_4.vmin12025-09-15 19:47 1.1K 
[ ]card_4__l6_card_4.vmin1out2025-09-15 19:51 11K 
[ ]card_4__l6_card_4.vout2025-09-15 16:44 11K 
[ ]card_4__t1_card_42025-09-08 00:24 16K 
[ ]card_4__t1_card_4.depv12025-09-15 19:47 21  
[ ]card_4__t1_card_4.depvmin12025-09-15 19:51 21  
[ ]card_4__t1_card_4.vmin12025-09-15 19:47 148  
[ ]card_4__t1_card_4.vmin1out2025-09-15 19:48 1.8K 
[ ]card_4__t1_card_4.vout2025-09-15 16:34 1.9K 
[ ]card_4__t2_card_42025-09-08 00:25 16K 
[ ]card_4__t2_card_4.depv12025-09-15 19:47 33  
[ ]card_4__t2_card_4.depvmin12025-09-15 19:51 33  
[ ]card_4__t2_card_4.vmin12025-09-15 19:47 198  
[ ]card_4__t2_card_4.vmin1out2025-09-15 19:51 1.7K 
[ ]card_4__t2_card_4.vout2025-09-15 15:49 1.7K 
[ ]card_4__t3_card_42025-09-08 00:27 36K 
[ ]card_4__t3_card_4.vout2025-09-15 19:07 7.8K 
[ ]card_4__t4_card_42025-09-08 00:28 42K 
[ ]card_4__t4_card_4.vout2025-09-15 17:24 4.7K 
[ ]card_4__t5_card_42025-09-08 00:30 55K 
[ ]card_4__t5_card_4.vout2025-09-15 18:09 7.8K 
[ ]card_4__t6_card_42025-09-08 00:26 21K 
[ ]card_4__t6_card_4.depv12025-09-15 19:47 52  
[ ]card_4__t6_card_4.depvmin12025-09-15 19:51 52  
[ ]card_4__t6_card_4.vmin12025-09-15 19:47 496  
[ ]card_4__t6_card_4.vmin1out2025-09-15 19:51 3.2K 
[ ]card_4__t6_card_4.vout2025-09-15 15:22 3.7K 
[ ]card_4__t7_card_42025-09-08 00:31 29K 
[ ]card_4__t7_card_4.vout2025-09-15 14:01 7.3K 
[ ]card_4__t8_card_42025-09-08 00:33 36K 
[ ]card_4__t8_card_4.vout2025-09-15 15:03 4.7K 
[ ]card_4__t9_card_42025-09-08 00:34 59K 
[ ]card_4__t9_card_4.vout2025-09-15 18:14 6.8K 
[ ]card_4__t10_card_42025-09-08 00:36 36K 
[ ]card_4__t10_card_4.vout2025-09-15 16:26 7.3K 
[ ]card_4__t11_card_42025-09-08 00:37 26K 
[ ]card_4__t11_card_4.depv12025-09-15 19:47 77  
[ ]card_4__t11_card_4.depvmin12025-09-15 19:51 77  
[ ]card_4__t11_card_4.vmin12025-09-15 19:47 874  
[ ]card_4__t11_card_4.vmin1out2025-09-15 19:47 12K 
[ ]card_4__t11_card_4.vout2025-09-15 16:56 10K 
[ ]card_4__t12_card_42025-09-08 00:38 22K 
[ ]card_4__t12_card_4.depv12025-09-15 19:47 54  
[ ]card_4__t12_card_4.depvmin12025-09-15 19:51 54  
[ ]card_4__t12_card_4.vmin12025-09-15 19:47 618  
[ ]card_4__t12_card_4.vmin1out2025-09-15 19:49 8.1K 
[ ]card_4__t12_card_4.vout2025-09-15 13:45 7.6K 
[ ]card_4__t13_card_42025-09-08 00:39 27K 
[ ]card_4__t13_card_4.vout2025-09-15 14:30 5.3K 
[ ]card_4__t14_card_42025-09-08 00:40 44K 
[ ]card_4__t14_card_4.vout2025-09-15 18:43 8.3K 
[ ]card_4__t15_card_42025-09-08 00:43 47K 
[ ]card_4__t15_card_4.vout2025-09-15 18:17 7.3K 
[ ]card_4__t16_card_42025-09-08 00:44 22K 
[ ]card_4__t16_card_4.vout2025-09-15 14:51 2.0K 
[ ]card_4__t17_card_42025-09-08 00:44 21K 
[ ]card_4__t17_card_4.depv12025-09-15 19:47 293  
[ ]card_4__t17_card_4.depvmin12025-09-15 19:51 280  
[ ]card_4__t17_card_4.vmin12025-09-15 19:47 2.2K 
[ ]card_4__t17_card_4.vmin1out2025-09-15 19:50 22K 
[ ]card_4__t17_card_4.vout2025-09-15 18:29 39K 
[ ]card_4__t18_card_42025-09-08 00:45 21K 
[ ]card_4__t18_card_4.depv12025-09-15 19:47 77  
[ ]card_4__t18_card_4.depvmin12025-09-15 19:51 77  
[ ]card_4__t18_card_4.vmin12025-09-15 19:47 1.1K 
[ ]card_4__t18_card_4.vmin1out2025-09-15 19:49 7.9K 
[ ]card_4__t18_card_4.vout2025-09-15 17:33 8.9K 
[ ]card_4__t19_card_42025-09-08 00:47 29K 
[ ]card_4__t19_card_4.vout2025-09-15 14:19 6.8K 
[ ]card_4__t20_card_42025-09-08 00:48 35K 
[ ]card_4__t20_card_4.vout2025-09-15 14:26 7.3K 
[ ]card_4__t21_card_42025-09-08 00:49 22K 
[ ]card_4__t21_card_4.depv12025-09-15 19:47 154  
[ ]card_4__t21_card_4.depvmin12025-09-15 19:51 117  
[ ]card_4__t21_card_4.vmin12025-09-15 19:47 1.1K 
[ ]card_4__t21_card_4.vmin1out2025-09-15 19:47 7.7K 
[ ]card_4__t21_card_4.vout2025-09-15 15:26 8.4K 
[ ]card_4__t22_card_42025-09-08 00:50 22K 
[ ]card_4__t22_card_4.depv12025-09-15 19:47 199  
[ ]card_4__t22_card_4.depvmin12025-09-15 19:51 199  
[ ]card_4__t22_card_4.vmin12025-09-15 19:47 1.6K 
[ ]card_4__t22_card_4.vmin1out2025-09-15 19:50 17K 
[ ]card_4__t22_card_4.vout2025-09-15 15:14 17K 
[ ]card_4__t23_card_42025-09-08 00:51 37K 
[ ]card_4__t23_card_4.vout2025-09-15 17:55 6.8K 
[ ]card_4__t24_card_42025-09-08 00:52 35K 
[ ]card_4__t24_card_4.vout2025-09-15 16:10 5.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80