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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]irrat_1__s1_irrat_12025-09-13 19:03 48K 
[ ]irrat_1__t1_irrat_12025-09-13 19:04 44K 
[ ]irrat_1__t2_irrat_12025-09-13 19:05 63K 
[ ]irrat_1__t3_irrat_12025-09-13 19:07 52K 
[ ]irrat_1__t4_irrat_12025-09-13 19:08 62K 
[ ]irrat_1__t5_irrat_12025-09-13 19:09 66K 
[ ]irrat_1__t6_irrat_12025-09-13 19:10 94K 
[ ]irrat_1__t7_irrat_12025-09-13 19:12 90K 
[ ]irrat_1__t8_irrat_12025-09-13 19:13 94K 
[ ]irrat_1__t9_irrat_12025-09-13 19:15 50K 
[ ]irrat_1__t10_irrat_12025-09-13 19:16 53K 
[ ]irrat_1__t11_irrat_12025-09-13 19:17 29K 
[ ]irrat_1__t12_irrat_12025-09-13 19:18 92K 
[ ]irrat_1__t13_irrat_12025-09-13 19:20 91K 
[ ]irrat_1__t14_irrat_12025-09-13 19:21 99K 
[ ]irrat_1__t15_irrat_12025-09-13 19:23 58K 
[ ]irrat_1__t16_irrat_12025-09-13 19:24 71K 
[ ]irrat_1__t17_irrat_12025-09-13 19:26 70K 
[ ]irrat_1__t19_irrat_12025-09-13 19:27 97K 
[ ]irrat_1__t20_irrat_12025-09-13 19:29 76K 
[ ]irrat_1__t21_irrat_12025-09-13 19:31 82K 
[ ]irrat_1__t23_irrat_12025-09-13 19:32 60K 
[ ]irrat_1__t24_irrat_12025-09-13 19:34 84K 
[ ]irrat_1__t25_irrat_12025-09-13 19:35 62K 
[ ]irrat_1__t26_irrat_12025-09-13 19:37 65K 
[ ]irrat_1__t27_irrat_12025-09-13 19:38 60K 
[ ]irrat_1__t28_irrat_12025-09-13 19:40 66K 
[ ]irrat_1__t30_irrat_12025-09-13 19:41 103K 
[ ]irrat_1__t31_irrat_12025-09-13 19:42 64K 
[ ]irrat_1__t32_irrat_12025-09-13 19:44 53K 
[ ]irrat_1__t33_irrat_12025-09-13 19:02 39K 
[ ]irrat_1__t36_irrat_12025-09-13 19:45 63K 
[ ]irrat_1__t37_irrat_12025-09-13 19:46 72K 
[ ]irrat_1__t38_irrat_12025-09-13 19:47 65K 
[ ]irrat_1__t40_irrat_12025-09-13 19:48 61K 
[ ]irrat_1__t41_irrat_12025-09-13 19:50 100K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80