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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]irrat_1__s1_irrat_12023-06-28 11:56 42K 
[ ]irrat_1__t1_irrat_12023-06-28 11:56 43K 
[ ]irrat_1__t2_irrat_12023-06-28 11:57 63K 
[ ]irrat_1__t3_irrat_12023-06-28 11:57 46K 
[ ]irrat_1__t4_irrat_12023-06-28 11:57 63K 
[ ]irrat_1__t5_irrat_12023-06-28 11:58 66K 
[ ]irrat_1__t6_irrat_12023-06-28 11:58 88K 
[ ]irrat_1__t7_irrat_12023-06-28 11:59 84K 
[ ]irrat_1__t8_irrat_12023-06-28 11:59 88K 
[ ]irrat_1__t9_irrat_12023-06-28 12:00 43K 
[ ]irrat_1__t10_irrat_12023-06-28 12:00 47K 
[ ]irrat_1__t11_irrat_12023-06-28 12:00 28K 
[ ]irrat_1__t12_irrat_12023-06-28 12:01 85K 
[ ]irrat_1__t13_irrat_12023-06-28 12:01 85K 
[ ]irrat_1__t14_irrat_12023-06-28 12:02 93K 
[ ]irrat_1__t15_irrat_12023-06-28 12:02 52K 
[ ]irrat_1__t16_irrat_12023-06-28 12:03 63K 
[ ]irrat_1__t17_irrat_12023-06-28 12:03 58K 
[ ]irrat_1__t19_irrat_12023-06-28 12:04 90K 
[ ]irrat_1__t20_irrat_12023-06-28 12:04 68K 
[ ]irrat_1__t21_irrat_12023-06-28 12:05 75K 
[ ]irrat_1__t23_irrat_12023-06-28 12:05 54K 
[ ]irrat_1__t24_irrat_12023-06-28 12:06 78K 
[ ]irrat_1__t25_irrat_12023-06-28 12:06 56K 
[ ]irrat_1__t26_irrat_12023-06-28 12:07 59K 
[ ]irrat_1__t27_irrat_12023-06-28 12:07 54K 
[ ]irrat_1__t28_irrat_12023-06-28 12:08 60K 
[ ]irrat_1__t30_irrat_12023-06-28 12:08 97K 
[ ]irrat_1__t31_irrat_12023-06-28 12:08 64K 
[ ]irrat_1__t32_irrat_12023-06-28 12:09 46K 
[ ]irrat_1__t33_irrat_12023-06-28 11:56 39K 
[ ]irrat_1__t36_irrat_12023-06-28 12:09 63K 
[ ]irrat_1__t37_irrat_12023-06-28 12:10 66K 
[ ]irrat_1__t38_irrat_12023-06-28 12:10 66K 
[ ]irrat_1__t40_irrat_12023-06-28 12:10 61K 
[ ]irrat_1__t41_irrat_12023-06-28 12:11 95K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80