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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]classes3__t1_classes32025-09-08 09:36 20K 
[ ]classes3__t1_classes3.depv12025-09-15 19:46 87  
[ ]classes3__t1_classes3.depvmin12025-09-15 19:51 87  
[ ]classes3__t1_classes3.vmin12025-09-15 19:47 972  
[ ]classes3__t1_classes3.vmin1out2025-09-15 19:50 21K 
[ ]classes3__t1_classes3.vout2025-09-15 14:24 22K 
[ ]classes3__t2_classes32025-09-08 09:38 27K 
[ ]classes3__t2_classes3.vout2025-09-15 14:11 7.3K 
[ ]classes3__t3_classes32025-09-08 09:39 27K 
[ ]classes3__t3_classes3.vout2025-09-15 15:12 7.3K 
[ ]classes3__t4_classes32025-09-08 09:40 24K 
[ ]classes3__t4_classes3.vout2025-09-15 14:55 7.3K 
[ ]classes3__t5_classes32025-09-08 09:41 22K 
[ ]classes3__t5_classes3.depv12025-09-15 19:46 125  
[ ]classes3__t5_classes3.depvmin12025-09-15 19:51 125  
[ ]classes3__t5_classes3.vmin12025-09-15 19:47 1.0K 
[ ]classes3__t5_classes3.vmin1out2025-09-15 19:47 10K 
[ ]classes3__t5_classes3.vout2025-09-15 15:22 12K 
[ ]classes3__t6_classes32025-09-08 09:43 22K 
[ ]classes3__t6_classes3.depv12025-09-15 19:46 104  
[ ]classes3__t6_classes3.depvmin12025-09-15 19:51 92  
[ ]classes3__t6_classes3.vmin12025-09-15 19:47 774  
[ ]classes3__t6_classes3.vmin1out2025-09-15 19:50 6.7K 
[ ]classes3__t6_classes3.vout2025-09-15 18:27 9.2K 
[ ]classes3__t7_classes32025-09-08 09:35 23K 
[ ]classes3__t7_classes3.depv12025-09-15 19:46 51  
[ ]classes3__t7_classes3.depvmin12025-09-15 19:51 51  
[ ]classes3__t7_classes3.vmin12025-09-15 19:47 442  
[ ]classes3__t7_classes3.vmin1out2025-09-15 19:48 5.7K 
[ ]classes3__t7_classes3.vout2025-09-15 19:24 5.7K 
[ ]classes3__t8_classes32025-09-08 09:44 23K 
[ ]classes3__t8_classes3.depv12025-09-15 19:46 65  
[ ]classes3__t8_classes3.depvmin12025-09-15 19:51 65  
[ ]classes3__t8_classes3.vmin12025-09-15 19:47 587  
[ ]classes3__t8_classes3.vmin1out2025-09-15 19:48 5.6K 
[ ]classes3__t8_classes3.vout2025-09-15 17:10 6.2K 
[ ]classes3__t9_classes32025-09-08 09:45 17K 
[ ]classes3__t9_classes3.depv12025-09-15 19:46 65  
[ ]classes3__t9_classes3.depvmin12025-09-15 19:51 65  
[ ]classes3__t9_classes3.vmin12025-09-15 19:47 583  
[ ]classes3__t9_classes3.vmin1out2025-09-15 19:48 5.6K 
[ ]classes3__t9_classes3.vout2025-09-15 17:26 5.2K 
[ ]classes3__t10_classes32025-09-08 09:46 23K 
[ ]classes3__t10_classes3.depv12025-09-15 19:46 79  
[ ]classes3__t10_classes3.depvmin12025-09-15 19:51 79  
[ ]classes3__t10_classes3.vmin12025-09-15 19:47 720  
[ ]classes3__t10_classes3.vmin1out2025-09-15 19:49 6.7K 
[ ]classes3__t10_classes3.vout2025-09-15 19:07 8.1K 
[ ]classes3__t11_classes32025-09-08 09:47 23K 
[ ]classes3__t11_classes3.depv12025-09-15 19:46 79  
[ ]classes3__t11_classes3.depvmin12025-09-15 19:51 79  
[ ]classes3__t11_classes3.vmin12025-09-15 19:47 755  
[ ]classes3__t11_classes3.vmin1out2025-09-15 19:49 7.3K 
[ ]classes3__t11_classes3.vout2025-09-15 18:13 8.4K 
[ ]classes3__t12_classes32025-09-08 09:49 27K 
[ ]classes3__t12_classes3.vout2025-09-15 14:20 7.4K 
[ ]classes3__t13_classes32025-09-08 09:50 22K 
[ ]classes3__t13_classes3.depv12025-09-15 19:46 76  
[ ]classes3__t13_classes3.depvmin12025-09-15 19:51 76  
[ ]classes3__t13_classes3.vmin12025-09-15 19:47 757  
[ ]classes3__t13_classes3.vmin1out2025-09-15 19:50 7.9K 
[ ]classes3__t13_classes3.vout2025-09-15 14:09 10K 
[ ]classes3__t14_classes32025-09-08 09:52 28K 
[ ]classes3__t14_classes3.vout2025-09-15 14:46 6.8K 
[ ]classes3__t15_classes32025-09-08 09:53 27K 
[ ]classes3__t15_classes3.vout2025-09-15 14:00 6.8K 
[ ]classes3__t16_classes32025-09-08 09:55 42K 
[ ]classes3__t16_classes3.vout2025-09-15 16:59 4.8K 
[ ]classes3__t17_classes32025-09-08 09:57 29K 
[ ]classes3__t17_classes3.depv12025-09-15 19:46 274  
[ ]classes3__t17_classes3.depvmin12025-09-15 19:51 253  
[ ]classes3__t17_classes3.vmin12025-09-15 19:47 2.7K 
[ ]classes3__t17_classes3.vmin1out2025-09-15 19:49 50K 
[ ]classes3__t17_classes3.vout2025-09-15 14:53 56K 
[ ]classes3__t18_classes32025-09-08 09:58 24K 
[ ]classes3__t18_classes3.depv12025-09-15 19:46 90  
[ ]classes3__t18_classes3.depvmin12025-09-15 19:51 90  
[ ]classes3__t18_classes3.vmin12025-09-15 19:47 881  
[ ]classes3__t18_classes3.vmin1out2025-09-15 19:49 12K 
[ ]classes3__t18_classes3.vout2025-09-15 19:27 12K 
[ ]classes3__t19_classes32025-09-08 10:00 55K 
[ ]classes3__t19_classes3.vout2025-09-15 16:10 7.3K 
[ ]classes3__t20_classes32025-09-08 10:02 26K 
[ ]classes3__t20_classes3.vout2025-09-15 17:16 7.9K 
[ ]classes3__t21_classes32025-09-08 10:03 24K 
[ ]classes3__t21_classes3.depv12025-09-15 19:46 124  
[ ]classes3__t21_classes3.depvmin12025-09-15 19:51 111  
[ ]classes3__t21_classes3.vmin12025-09-15 19:47 1.2K 
[ ]classes3__t21_classes3.vmin1out2025-09-15 19:48 15K 
[ ]classes3__t21_classes3.vout2025-09-15 16:03 16K 
[ ]classes3__t22_classes32025-09-08 10:04 24K 
[ ]classes3__t22_classes3.depv12025-09-15 19:46 127  
[ ]classes3__t22_classes3.depvmin12025-09-15 19:51 127  
[ ]classes3__t22_classes3.vmin12025-09-15 19:47 1.0K 
[ ]classes3__t22_classes3.vmin1out2025-09-15 19:50 14K 
[ ]classes3__t22_classes3.vout2025-09-15 13:46 14K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80