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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fcont_2__t1_fcont_22025-09-07 22:48 36K 
[ ]fcont_2__t1_fcont_2.vout2025-09-15 15:52 2.0K 
[ ]fcont_2__t2_fcont_22025-09-07 22:49 36K 
[ ]fcont_2__t2_fcont_2.vout2025-09-15 16:34 2.0K 
[ ]fcont_2__t3_fcont_22025-09-07 22:51 65K 
[ ]fcont_2__t3_fcont_2.vout2025-09-15 16:41 6.8K 
[ ]fcont_2__t4_fcont_22025-09-07 22:53 71K 
[ ]fcont_2__t4_fcont_2.vout2025-09-15 18:29 6.8K 
[ ]fcont_2__t5_fcont_22025-09-07 22:54 59K 
[ ]fcont_2__t5_fcont_2.vout2025-09-15 15:15 7.3K 
[ ]fcont_2__t6_fcont_22025-09-07 22:42 38K 
[ ]fcont_2__t6_fcont_2.vout2025-09-15 13:35 1.1K 
[ ]fcont_2__t7_fcont_22025-09-07 22:56 39K 
[ ]fcont_2__t7_fcont_2.vout2025-09-15 18:26 6.8K 
[ ]fcont_2__t8_fcont_22025-09-07 22:58 67K 
[ ]fcont_2__t8_fcont_2.vout2025-09-15 16:46 6.8K 
[ ]fcont_2__t9_fcont_22025-09-07 22:59 37K 
[ ]fcont_2__t9_fcont_2.vout2025-09-15 15:02 2.0K 
[ ]fcont_2__t10_fcont_22025-09-07 23:00 40K 
[ ]fcont_2__t10_fcont_2.vout2025-09-15 14:01 2.0K 
[ ]fcont_2__t11_fcont_22025-09-07 23:03 89K 
[ ]fcont_2__t11_fcont_2.vout2025-09-15 19:27 6.8K 
[ ]fcont_2__t12_fcont_22025-09-07 22:44 31K 
[ ]fcont_2__t12_fcont_2.depv12025-09-15 19:47 86  
[ ]fcont_2__t12_fcont_2.depvmin12025-09-15 19:52 86  
[ ]fcont_2__t12_fcont_2.vmin12025-09-15 19:47 1.4K 
[ ]fcont_2__t12_fcont_2.vmin1out2025-09-15 19:50 12K 
[ ]fcont_2__t12_fcont_2.vout2025-09-15 15:17 12K 
[ ]fcont_2__t13_fcont_22025-09-07 22:45 33K 
[ ]fcont_2__t13_fcont_2.depv12025-09-15 19:47 60  
[ ]fcont_2__t13_fcont_2.depvmin12025-09-15 19:52 60  
[ ]fcont_2__t13_fcont_2.vmin12025-09-15 19:47 1.6K 
[ ]fcont_2__t13_fcont_2.vmin1out2025-09-15 19:51 33K 
[ ]fcont_2__t13_fcont_2.vout2025-09-15 16:22 35K 
[ ]fcont_2__t14_fcont_22025-09-07 22:46 30K 
[ ]fcont_2__t14_fcont_2.depv12025-09-15 19:47 76  
[ ]fcont_2__t14_fcont_2.depvmin12025-09-15 19:52 76  
[ ]fcont_2__t14_fcont_2.vmin12025-09-15 19:47 1.1K 
[ ]fcont_2__t14_fcont_2.vmin1out2025-09-15 19:49 12K 
[ ]fcont_2__t14_fcont_2.vout2025-09-15 16:58 12K 
[ ]fcont_2__t16_fcont_22025-09-07 23:04 40K 
[ ]fcont_2__t16_fcont_2.vout2025-09-15 15:37 6.8K 
[ ]fcont_2__t17_fcont_22025-09-07 23:06 45K 
[ ]fcont_2__t17_fcont_2.vout2025-09-15 16:13 7.3K 
[ ]fcont_2__t18_fcont_22025-09-07 23:07 46K 
[ ]fcont_2__t18_fcont_2.vout2025-09-15 17:36 7.3K 
[ ]fcont_2__t19_fcont_22025-09-07 23:09 41K 
[ ]fcont_2__t19_fcont_2.vout2025-09-15 17:16 7.3K 
[ ]fcont_2__t20_fcont_22025-09-07 23:10 40K 
[ ]fcont_2__t20_fcont_2.vout2025-09-15 14:07 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80