Index of /~mptp/mml5.63.1382/MPTP2/problems/setfam_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]setfam_1__t1_setfam_12023-06-28 15:58 2.5K 
[   ]setfam_1__t2_setfam_12023-06-28 15:59 5.6K 
[   ]setfam_1__t3_setfam_12023-06-28 15:58 5.3K 
[   ]setfam_1__t4_setfam_12023-06-28 15:58 5.2K 
[   ]setfam_1__t5_setfam_12023-06-28 15:59 5.4K 
[   ]setfam_1__t6_setfam_12023-06-28 15:59 5.4K 
[   ]setfam_1__t7_setfam_12023-06-28 15:59 5.2K 
[   ]setfam_1__t8_setfam_12023-06-28 15:58 6.2K 
[   ]setfam_1__t9_setfam_12023-06-28 16:00 7.8K 
[   ]setfam_1__t10_setfam_12023-06-28 16:00 5.8K 
[   ]setfam_1__t11_setfam_12023-06-28 16:00 3.9K 
[   ]setfam_1__t12_setfam_12023-06-28 15:59 5.2K 
[   ]setfam_1__t13_setfam_12023-06-28 16:00 5.6K 
[   ]setfam_1__t14_setfam_12023-06-28 16:00 5.8K 
[   ]setfam_1__t15_setfam_12023-06-28 15:59 5.0K 
[   ]setfam_1__t16_setfam_12023-06-28 16:00 5.2K 
[   ]setfam_1__t17_setfam_12023-06-28 16:00 5.3K 
[   ]setfam_1__t18_setfam_12023-06-28 16:00 5.7K 
[   ]setfam_1__t19_setfam_12023-06-28 16:01 7.4K 
[   ]setfam_1__t20_setfam_12023-06-28 16:01 6.6K 
[   ]setfam_1__t21_setfam_12023-06-28 16:01 6.5K 
[   ]setfam_1__t22_setfam_12023-06-28 16:01 6.4K 
[   ]setfam_1__t23_setfam_12023-06-28 16:01 7.1K 
[   ]setfam_1__t24_setfam_12023-06-28 16:01 7.4K 
[   ]setfam_1__t25_setfam_12023-06-28 16:02 6.9K 
[   ]setfam_1__t26_setfam_12023-06-28 16:02 7.5K 
[   ]setfam_1__t27_setfam_12023-06-28 16:02 7.5K 
[   ]setfam_1__t28_setfam_12023-06-28 16:02 6.7K 
[   ]setfam_1__t29_setfam_12023-06-28 16:02 7.1K 
[   ]setfam_1__t30_setfam_12023-06-28 16:03 6.9K 
[   ]setfam_1__t31_setfam_12023-06-28 16:03 5.2K 
[   ]setfam_1__t32_setfam_12023-06-28 16:03 6.9K 
[   ]setfam_1__t33_setfam_12023-06-28 16:03 10K 
[   ]setfam_1__t34_setfam_12023-06-28 16:03 9.9K 
[   ]setfam_1__t35_setfam_12023-06-28 16:03 6.8K 
[   ]setfam_1__t36_setfam_12023-06-28 16:04 7.0K 
[   ]setfam_1__t37_setfam_12023-06-28 16:04 5.9K 
[   ]setfam_1__t38_setfam_12023-06-28 16:04 5.3K 
[   ]setfam_1__t39_setfam_12023-06-28 16:04 9.0K 
[   ]setfam_1__t40_setfam_12023-06-28 16:04 8.4K 
[   ]setfam_1__t41_setfam_12023-06-28 16:04 5.2K 
[   ]setfam_1__t42_setfam_12023-06-28 16:04 7.8K 
[   ]setfam_1__t43_setfam_12023-06-28 16:05 6.4K 
[   ]setfam_1__t44_setfam_12023-06-28 16:05 5.6K 
[   ]setfam_1__t45_setfam_12023-06-28 15:59 5.9K 
[   ]setfam_1__t46_setfam_12023-06-28 16:05 6.3K 
[   ]setfam_1__t47_setfam_12023-06-28 15:59 5.1K 
[   ]setfam_1__t48_setfam_12023-06-28 16:05 7.6K 
[   ]setfam_1__t49_setfam_12023-06-28 16:05 3.7K 

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