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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_5__l1_fdiff_52024-07-28 19:43 36K 
[ ]fdiff_5__l1_fdiff_5.vout2024-08-03 08:33 6.8K 
[ ]fdiff_5__l2_fdiff_52024-07-28 19:45 36K 
[ ]fdiff_5__l2_fdiff_5.vout2024-08-03 05:42 7.3K 
[ ]fdiff_5__l3_fdiff_52024-07-28 19:46 124K 
[ ]fdiff_5__l3_fdiff_5.vout2024-08-03 08:19 7.3K 
[ ]fdiff_5__l8_fdiff_52024-07-28 19:47 26K 
[ ]fdiff_5__l8_fdiff_5.vout2024-08-03 08:45 7.3K 
[ ]fdiff_5__l23_fdiff_52024-07-28 19:24 22K 
[ ]fdiff_5__l23_fdiff_5.depv12024-08-03 10:19 269  
[ ]fdiff_5__l23_fdiff_5.depvmin12024-08-03 10:24 269  
[ ]fdiff_5__l23_fdiff_5.vmin12024-08-03 10:19 2.5K 
[ ]fdiff_5__l23_fdiff_5.vmin1out2024-08-03 10:23 16K 
[ ]fdiff_5__l23_fdiff_5.vout2024-08-03 10:05 20K 
[ ]fdiff_5__t1_fdiff_52024-07-28 19:26 122K 
[ ]fdiff_5__t1_fdiff_5.vout2024-08-03 05:08 6.8K 
[ ]fdiff_5__t2_fdiff_52024-07-28 19:27 122K 
[ ]fdiff_5__t2_fdiff_5.vout2024-08-03 06:33 6.8K 
[ ]fdiff_5__t3_fdiff_52024-07-28 19:28 50K 
[ ]fdiff_5__t3_fdiff_5.vout2024-08-03 05:43 6.8K 
[ ]fdiff_5__t4_fdiff_52024-07-28 19:30 44K 
[ ]fdiff_5__t4_fdiff_5.vout2024-08-03 08:35 7.3K 
[ ]fdiff_5__t10_fdiff_52024-07-28 19:31 43K 
[ ]fdiff_5__t10_fdiff_5.vout2024-08-03 04:50 6.8K 
[ ]fdiff_5__t11_fdiff_52024-07-28 19:32 43K 
[ ]fdiff_5__t11_fdiff_5.vout2024-08-03 09:07 6.8K 
[ ]fdiff_5__t12_fdiff_52024-07-28 19:34 43K 
[ ]fdiff_5__t12_fdiff_5.vout2024-08-03 07:15 6.8K 
[ ]fdiff_5__t13_fdiff_52024-07-28 19:35 43K 
[ ]fdiff_5__t13_fdiff_5.vout2024-08-03 07:52 6.8K 
[ ]fdiff_5__t16_fdiff_52024-07-28 19:36 35K 
[ ]fdiff_5__t16_fdiff_5.vout2024-08-03 05:00 7.3K 
[ ]fdiff_5__t19_fdiff_52024-07-28 19:37 24K 
[ ]fdiff_5__t19_fdiff_5.depv12024-08-03 10:19 317  
[ ]fdiff_5__t19_fdiff_5.depvmin12024-08-03 10:24 265  
[ ]fdiff_5__t19_fdiff_5.vmin12024-08-03 10:19 4.1K 
[ ]fdiff_5__t19_fdiff_5.vmin1out2024-08-03 10:20 45K 
[ ]fdiff_5__t19_fdiff_5.vout2024-08-03 10:15 50K 
[ ]fdiff_5__t20_fdiff_52024-07-28 19:38 36K 
[ ]fdiff_5__t20_fdiff_5.vout2024-08-03 04:27 7.3K 
[ ]fdiff_5__t21_fdiff_52024-07-28 19:39 47K 
[ ]fdiff_5__t21_fdiff_5.vout2024-08-03 08:14 7.3K 
[ ]fdiff_5__t22_fdiff_52024-07-28 19:41 190K 
[ ]fdiff_5__t22_fdiff_5.vout2024-08-03 09:47 6.8K 
[ ]fdiff_5__t25_fdiff_52024-07-28 19:42 43K 
[ ]fdiff_5__t25_fdiff_5.vout2024-08-03 04:37 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80