Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fdiff_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_3__l19_fdiff_32025-09-12 03:07 190K 
[ ]fdiff_3__l27_fdiff_32025-09-12 03:09 190K 
[ ]fdiff_3__t3_fdiff_32025-09-12 02:32 151K 
[ ]fdiff_3__t4_fdiff_32025-09-12 02:35 151K 
[ ]fdiff_3__t6_fdiff_32025-09-12 02:37 85K 
[ ]fdiff_3__t8_fdiff_32025-09-12 02:38 78K 
[ ]fdiff_3__t9_fdiff_32025-09-12 02:40 107K 
[ ]fdiff_3__t10_fdiff_32025-09-12 02:42 134K 
[ ]fdiff_3__t11_fdiff_32025-09-12 02:44 125K 
[ ]fdiff_3__t12_fdiff_32025-09-12 02:47 168K 
[ ]fdiff_3__t13_fdiff_32025-09-12 02:48 136K 
[ ]fdiff_3__t14_fdiff_32025-09-12 02:50 135K 
[ ]fdiff_3__t15_fdiff_32025-09-12 02:52 106K 
[ ]fdiff_3__t16_fdiff_32025-09-12 02:54 134K 
[ ]fdiff_3__t17_fdiff_32025-09-12 02:56 129K 
[ ]fdiff_3__t18_fdiff_32025-09-12 02:58 168K 
[ ]fdiff_3__t19_fdiff_32025-09-12 03:00 145K 
[ ]fdiff_3__t20_fdiff_32025-09-12 03:02 144K 
[ ]fdiff_3__t22_fdiff_32025-09-12 03:04 334K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80