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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fdiff_3__l19_fdiff_32021-07-18 00:04 117K 
[   ]fdiff_3__l19_fdiff_3.vout2021-07-25 17:15 3.7K 
[   ]fdiff_3__l27_fdiff_32021-07-18 00:05 117K 
[   ]fdiff_3__l27_fdiff_3.vout2021-07-25 15:05 3.7K 
[   ]fdiff_3__t3_fdiff_32021-07-17 23:53 94K 
[   ]fdiff_3__t3_fdiff_3.vout2021-07-25 20:50 6.8K 
[   ]fdiff_3__t4_fdiff_32021-07-17 23:54 94K 
[   ]fdiff_3__t4_fdiff_3.vout2021-07-25 17:06 6.8K 
[   ]fdiff_3__t6_fdiff_32021-07-17 23:54 52K 
[   ]fdiff_3__t6_fdiff_3.vout2021-07-25 15:59 3.7K 
[   ]fdiff_3__t8_fdiff_32021-07-17 23:55 47K 
[   ]fdiff_3__t8_fdiff_3.vout2021-07-25 18:09 3.7K 
[   ]fdiff_3__t9_fdiff_32021-07-17 23:55 66K 
[   ]fdiff_3__t9_fdiff_3.vout2021-07-25 18:44 6.8K 
[   ]fdiff_3__t10_fdiff_32021-07-17 23:56 83K 
[   ]fdiff_3__t10_fdiff_3.vout2021-07-25 15:07 3.7K 
[   ]fdiff_3__t11_fdiff_32021-07-17 23:57 78K 
[   ]fdiff_3__t11_fdiff_3.vout2021-07-25 20:31 3.7K 
[   ]fdiff_3__t12_fdiff_32021-07-17 23:58 103K 
[   ]fdiff_3__t12_fdiff_3.vout2021-07-25 18:21 3.7K 
[   ]fdiff_3__t13_fdiff_32021-07-17 23:58 82K 
[   ]fdiff_3__t13_fdiff_3.vout2021-07-25 18:03 6.8K 
[   ]fdiff_3__t14_fdiff_32021-07-17 23:59 81K 
[   ]fdiff_3__t14_fdiff_3.vout2021-07-25 16:58 7.3K 
[   ]fdiff_3__t15_fdiff_32021-07-17 23:59 65K 
[   ]fdiff_3__t15_fdiff_3.vout2021-07-25 14:37 6.8K 
[   ]fdiff_3__t16_fdiff_32021-07-18 00:00 83K 
[   ]fdiff_3__t16_fdiff_3.vout2021-07-25 14:49 3.7K 
[   ]fdiff_3__t17_fdiff_32021-07-18 00:01 80K 
[   ]fdiff_3__t17_fdiff_3.vout2021-07-25 18:52 3.7K 
[   ]fdiff_3__t18_fdiff_32021-07-18 00:01 103K 
[   ]fdiff_3__t18_fdiff_3.vout2021-07-25 15:02 3.7K 
[   ]fdiff_3__t19_fdiff_32021-07-18 00:02 87K 
[   ]fdiff_3__t19_fdiff_3.vout2021-07-25 19:35 6.8K 
[   ]fdiff_3__t20_fdiff_32021-07-18 00:03 87K 
[   ]fdiff_3__t20_fdiff_3.vout2021-07-25 18:44 7.3K 
[   ]fdiff_3__t22_fdiff_32021-07-18 00:03 187K 
[   ]fdiff_3__t22_fdiff_3.vout2021-07-25 15:20 7.3K 

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