Index of /~mptp/mml5.63.1382/MPTP2/problems_small/pre_ff

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pre_ff__l17_pre_ff2021-07-17 22:37 138K 
[   ]pre_ff__l17_pre_ff.vout2021-07-25 17:13 6.8K 
[   ]pre_ff__l18_pre_ff2021-07-17 22:38 49K 
[   ]pre_ff__l18_pre_ff.vout2021-07-25 20:25 7.3K 
[   ]pre_ff__t1_pre_ff2021-07-17 22:31 20K 
[   ]pre_ff__t1_pre_ff.vout2021-07-25 17:16 10K 
[   ]pre_ff__t2_pre_ff2021-07-17 22:31 9.2K 
[   ]pre_ff__t2_pre_ff.depv12021-07-25 20:57 98  
[   ]pre_ff__t2_pre_ff.depvmin12021-07-25 21:03 98  
[   ]pre_ff__t2_pre_ff.vmin12021-07-25 20:57 753  
[   ]pre_ff__t2_pre_ff.vmin1out2021-07-25 20:59 5.6K 
[   ]pre_ff__t2_pre_ff.vout2021-07-25 15:17 5.5K 
[   ]pre_ff__t3_pre_ff2021-07-17 22:32 22K 
[   ]pre_ff__t3_pre_ff.vout2021-07-25 18:35 7.3K 
[   ]pre_ff__t4_pre_ff2021-07-17 22:32 20K 
[   ]pre_ff__t4_pre_ff.vout2021-07-25 17:48 7.3K 
[   ]pre_ff__t5_pre_ff2021-07-17 22:32 23K 
[   ]pre_ff__t5_pre_ff.vout2021-07-25 14:45 4.7K 
[   ]pre_ff__t6_pre_ff2021-07-17 22:33 35K 
[   ]pre_ff__t6_pre_ff.vout2021-07-25 17:17 7.3K 
[   ]pre_ff__t7_pre_ff2021-07-17 22:33 33K 
[   ]pre_ff__t7_pre_ff.vout2021-07-25 19:53 7.3K 
[   ]pre_ff__t8_pre_ff2021-07-17 22:33 9.8K 
[   ]pre_ff__t8_pre_ff.depv12021-07-25 20:57 166  
[   ]pre_ff__t8_pre_ff.depvmin12021-07-25 21:03 166  
[   ]pre_ff__t8_pre_ff.vmin12021-07-25 20:57 1.3K 
[   ]pre_ff__t8_pre_ff.vmin1out2021-07-25 21:00 16K 
[   ]pre_ff__t8_pre_ff.vout2021-07-25 16:02 19K 
[   ]pre_ff__t9_pre_ff2021-07-17 22:34 17K 
[   ]pre_ff__t9_pre_ff.depv12021-07-25 20:57 164  
[   ]pre_ff__t9_pre_ff.depvmin12021-07-25 21:03 164  
[   ]pre_ff__t9_pre_ff.vmin12021-07-25 20:57 1.3K 
[   ]pre_ff__t9_pre_ff.vmin1out2021-07-25 21:02 22K 
[   ]pre_ff__t9_pre_ff.vout2021-07-25 16:19 20K 
[   ]pre_ff__t10_pre_ff2021-07-17 22:34 10K 
[   ]pre_ff__t10_pre_ff.depv12021-07-25 20:57 107  
[   ]pre_ff__t10_pre_ff.depvmin12021-07-25 21:03 107  
[   ]pre_ff__t10_pre_ff.vmin12021-07-25 20:57 1.0K 
[   ]pre_ff__t10_pre_ff.vmin1out2021-07-25 20:59 14K 
[   ]pre_ff__t10_pre_ff.vout2021-07-25 18:10 15K 
[   ]pre_ff__t11_pre_ff2021-07-17 22:34 78K 
[   ]pre_ff__t11_pre_ff.vout2021-07-25 17:46 4.7K 
[   ]pre_ff__t12_pre_ff2021-07-17 22:34 38K 
[   ]pre_ff__t12_pre_ff.vout2021-07-25 17:32 2.0K 
[   ]pre_ff__t13_pre_ff2021-07-17 22:35 25K 
[   ]pre_ff__t13_pre_ff.vout2021-07-25 18:46 7.8K 
[   ]pre_ff__t14_pre_ff2021-07-17 22:35 17K 
[   ]pre_ff__t14_pre_ff.depv12021-07-25 20:57 327  
[   ]pre_ff__t14_pre_ff.vmin12021-07-25 20:57 2.8K 
[   ]pre_ff__t14_pre_ff.vmin1out2021-07-25 21:00 2.0K 
[   ]pre_ff__t14_pre_ff.vout2021-07-25 14:40 23K 
[   ]pre_ff__t15_pre_ff2021-07-17 22:36 148K 
[   ]pre_ff__t15_pre_ff.vout2021-07-25 19:13 8.4K 
[   ]pre_ff__t16_pre_ff2021-07-17 22:36 23K 
[   ]pre_ff__t16_pre_ff.vout2021-07-25 15:22 4.7K 
[   ]pre_ff__t17_pre_ff2021-07-17 22:36 15K 
[   ]pre_ff__t17_pre_ff.vout2021-07-25 19:28 2.0K 
[   ]pre_ff__t18_pre_ff2021-07-17 22:31 13K 
[   ]pre_ff__t18_pre_ff.depv12021-07-25 20:57 158  
[   ]pre_ff__t18_pre_ff.depvmin12021-07-25 21:03 158  
[   ]pre_ff__t18_pre_ff.vmin12021-07-25 20:57 1.2K 
[   ]pre_ff__t18_pre_ff.vmin1out2021-07-25 20:58 9.4K 
[   ]pre_ff__t18_pre_ff.vout2021-07-25 14:47 10K 
[   ]pre_ff__t19_pre_ff2021-07-17 22:36 28K 
[   ]pre_ff__t19_pre_ff.vout2021-07-25 16:49 2.0K 
[   ]pre_ff__t20_pre_ff2021-07-17 22:37 28K 
[   ]pre_ff__t20_pre_ff.vout2021-07-25 15:57 2.0K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80