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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mfold_0__l5_mfold_02024-07-27 11:47 58K 
[ ]mfold_0__l5_mfold_0.vout2024-08-03 04:34 5.3K 
[ ]mfold_0__l13_mfold_02024-07-27 11:50 216K 
[ ]mfold_0__l13_mfold_0.vout2024-08-03 06:16 3.7K 
[ ]mfold_0__l14_mfold_02024-07-27 11:53 60K 
[ ]mfold_0__l14_mfold_0.vout2024-08-03 07:02 7.9K 
[ ]mfold_0__l17_mfold_02024-07-27 11:55 81K 
[ ]mfold_0__l17_mfold_0.vout2024-08-03 07:36 4.7K 
[ ]mfold_0__l18_mfold_02024-07-27 11:58 92K 
[ ]mfold_0__l18_mfold_0.vout2024-08-03 08:00 7.3K 
[ ]mfold_0__t1_mfold_02024-07-27 11:07 56K 
[ ]mfold_0__t1_mfold_0.vout2024-08-03 04:59 3.7K 
[ ]mfold_0__t2_mfold_02024-07-27 11:09 50K 
[ ]mfold_0__t2_mfold_0.vout2024-08-03 07:37 7.3K 
[ ]mfold_0__t3_mfold_02024-07-27 11:11 72K 
[ ]mfold_0__t3_mfold_0.vout2024-08-03 05:15 3.7K 
[ ]mfold_0__t4_mfold_02024-07-27 11:14 148K 
[ ]mfold_0__t4_mfold_0.vout2024-08-03 08:45 3.7K 
[ ]mfold_0__t5_mfold_02024-07-27 11:18 173K 
[ ]mfold_0__t5_mfold_0.vout2024-08-03 06:53 3.7K 
[ ]mfold_0__t6_mfold_02024-07-27 11:05 52K 
[ ]mfold_0__t6_mfold_0.depv12024-08-03 10:19 23  
[ ]mfold_0__t6_mfold_0.depvmin12024-08-03 10:24 23  
[ ]mfold_0__t6_mfold_0.vmin12024-08-03 10:20 771  
[ ]mfold_0__t6_mfold_0.vmin1out2024-08-03 10:21 29K 
[ ]mfold_0__t6_mfold_0.vout2024-08-03 05:36 31K 
[ ]mfold_0__t7_mfold_02024-07-27 11:22 176K 
[ ]mfold_0__t7_mfold_0.vout2024-08-03 06:57 3.7K 
[ ]mfold_0__t8_mfold_02024-07-27 11:26 127K 
[ ]mfold_0__t8_mfold_0.vout2024-08-03 06:06 3.7K 
[ ]mfold_0__t9_mfold_02024-07-27 11:27 43K 
[ ]mfold_0__t9_mfold_0.vout2024-08-03 06:45 7.3K 
[ ]mfold_0__t10_mfold_02024-07-27 11:30 72K 
[ ]mfold_0__t10_mfold_0.vout2024-08-03 07:43 5.3K 
[ ]mfold_0__t11_mfold_02024-07-27 11:32 80K 
[ ]mfold_0__t11_mfold_0.vout2024-08-03 09:27 4.2K 
[ ]mfold_0__t12_mfold_02024-07-27 11:34 56K 
[ ]mfold_0__t12_mfold_0.vout2024-08-03 06:07 7.3K 
[ ]mfold_0__t13_mfold_02024-07-27 11:38 218K 
[ ]mfold_0__t13_mfold_0.vout2024-08-03 10:06 3.7K 
[ ]mfold_0__t14_mfold_02024-07-27 11:42 107K 
[ ]mfold_0__t14_mfold_0.vout2024-08-03 09:45 3.7K 
[ ]mfold_0__t15_mfold_02024-07-27 11:43 37K 
[ ]mfold_0__t15_mfold_0.vout2024-08-03 10:11 4.2K 
[ ]mfold_0__t16_mfold_02024-07-27 11:45 35K 
[ ]mfold_0__t16_mfold_0.vout2024-08-03 08:08 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80