Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems/irrat_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]irrat_1__s1_irrat_12023-06-28 00:36 35K 
[   ]irrat_1__t1_irrat_12023-06-28 00:36 45K 
[   ]irrat_1__t2_irrat_12023-06-28 00:36 64K 
[   ]irrat_1__t3_irrat_12023-06-28 00:36 40K 
[   ]irrat_1__t4_irrat_12023-06-28 00:36 64K 
[   ]irrat_1__t5_irrat_12023-06-28 00:36 70K 
[   ]irrat_1__t6_irrat_12023-06-28 00:36 83K 
[   ]irrat_1__t7_irrat_12023-06-28 00:36 80K 
[   ]irrat_1__t8_irrat_12023-06-28 00:36 87K 
[   ]irrat_1__t9_irrat_12023-06-28 00:36 37K 
[   ]irrat_1__t10_irrat_12023-06-28 00:36 41K 
[   ]irrat_1__t11_irrat_12023-06-28 00:36 32K 
[   ]irrat_1__t12_irrat_12023-06-28 00:36 84K 
[   ]irrat_1__t13_irrat_12023-06-28 00:36 80K 
[   ]irrat_1__t14_irrat_12023-06-28 00:36 91K 
[   ]irrat_1__t15_irrat_12023-06-28 00:36 47K 
[   ]irrat_1__t16_irrat_12023-06-28 00:36 60K 
[   ]irrat_1__t17_irrat_12023-06-28 00:36 52K 
[   ]irrat_1__t18_irrat_12023-06-28 00:36 99K 
[   ]irrat_1__t19_irrat_12023-06-28 00:36 86K 
[   ]irrat_1__t20_irrat_12023-06-28 00:36 63K 
[   ]irrat_1__t21_irrat_12023-06-28 00:36 72K 
[   ]irrat_1__t22_irrat_12023-06-28 00:36 60K 
[   ]irrat_1__t23_irrat_12023-06-28 00:36 61K 
[   ]irrat_1__t24_irrat_12023-06-28 00:36 70K 
[   ]irrat_1__t25_irrat_12023-06-28 00:36 50K 
[   ]irrat_1__t26_irrat_12023-06-28 00:36 54K 
[   ]irrat_1__t27_irrat_12023-06-28 00:36 47K 
[   ]irrat_1__t28_irrat_12023-06-28 00:36 55K 
[   ]irrat_1__t29_irrat_12023-06-28 00:36 50K 
[   ]irrat_1__t30_irrat_12023-06-28 00:36 93K 
[   ]irrat_1__t31_irrat_12023-06-28 00:36 67K 
[   ]irrat_1__t32_irrat_12023-06-28 00:36 42K 
[   ]irrat_1__t33_irrat_12023-06-28 00:36 40K 
[   ]irrat_1__t34_irrat_12023-06-28 00:36 64K 
[   ]irrat_1__t35_irrat_12023-06-28 00:36 57K 
[   ]irrat_1__t36_irrat_12023-06-28 00:36 66K 
[   ]irrat_1__t37_irrat_12023-06-28 00:36 61K 
[   ]irrat_1__t38_irrat_12023-06-28 00:36 69K 
[   ]irrat_1__t39_irrat_12023-06-28 00:36 104K 
[   ]irrat_1__t40_irrat_12023-06-28 00:36 63K 
[   ]irrat_1__t41_irrat_12023-06-28 00:36 91K 

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