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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan15__t1_jordan152025-09-13 17:04 59K 
[ ]jordan15__t2_jordan152025-09-13 17:06 62K 
[ ]jordan15__t3_jordan152025-09-13 17:08 56K 
[ ]jordan15__t4_jordan152025-09-13 17:10 54K 
[ ]jordan15__t5_jordan152025-09-13 17:12 66K 
[ ]jordan15__t6_jordan152025-09-13 17:14 66K 
[ ]jordan15__t7_jordan152025-09-13 17:16 64K 
[ ]jordan15__t8_jordan152025-09-13 17:18 64K 
[ ]jordan15__t9_jordan152025-09-13 17:21 116K 
[ ]jordan15__t10_jordan152025-09-13 17:24 117K 
[ ]jordan15__t11_jordan152025-09-13 17:28 130K 
[ ]jordan15__t12_jordan152025-09-13 17:31 154K 
[ ]jordan15__t13_jordan152025-09-13 17:35 154K 
[ ]jordan15__t14_jordan152025-09-13 17:38 163K 
[ ]jordan15__t15_jordan152025-09-13 17:42 116K 
[ ]jordan15__t16_jordan152025-09-13 17:45 117K 
[ ]jordan15__t17_jordan152025-09-13 17:49 130K 
[ ]jordan15__t18_jordan152025-09-13 17:52 154K 
[ ]jordan15__t19_jordan152025-09-13 17:55 154K 
[ ]jordan15__t20_jordan152025-09-13 17:59 163K 
[ ]jordan15__t21_jordan152025-09-13 18:01 86K 
[ ]jordan15__t22_jordan152025-09-13 18:04 86K 
[ ]jordan15__t23_jordan152025-09-13 18:06 80K 
[ ]jordan15__t24_jordan152025-09-13 18:09 80K 
[ ]jordan15__t25_jordan152025-09-13 18:11 82K 
[ ]jordan15__t26_jordan152025-09-13 18:14 82K 
[ ]jordan15__t27_jordan152025-09-13 18:17 162K 
[ ]jordan15__t28_jordan152025-09-13 18:22 468K 
[ ]jordan15__t29_jordan152025-09-13 18:27 469K 
[ ]jordan15__t30_jordan152025-09-13 18:29 86K 
[ ]jordan15__t31_jordan152025-09-13 18:32 86K 
[ ]jordan15__t32_jordan152025-09-13 18:34 80K 
[ ]jordan15__t33_jordan152025-09-13 18:37 80K 
[ ]jordan15__t34_jordan152025-09-13 18:40 159K 
[ ]jordan15__t35_jordan152025-09-13 18:42 159K 
[ ]jordan15__t36_jordan152025-09-13 18:47 468K 
[ ]jordan15__t37_jordan152025-09-13 18:52 469K 
[ ]jordan15__t38_jordan152025-09-13 18:55 86K 
[ ]jordan15__t39_jordan152025-09-13 18:57 86K 
[ ]jordan15__t40_jordan152025-09-13 19:00 80K 
[ ]jordan15__t41_jordan152025-09-13 19:02 80K 
[ ]jordan15__t42_jordan152025-09-13 19:05 159K 
[ ]jordan15__t43_jordan152025-09-13 19:08 159K 
[ ]jordan15__t44_jordan152025-09-13 19:13 481K 
[ ]jordan15__t45_jordan152025-09-13 19:18 481K 
[ ]jordan15__t46_jordan152025-09-13 19:23 482K 
[ ]jordan15__t47_jordan152025-09-13 19:28 481K 
[ ]jordan15__t48_jordan152025-09-13 19:32 155K 
[ ]jordan15__t49_jordan152025-09-13 19:36 155K 
[ ]jordan15__t50_jordan152025-09-13 19:38 87K 
[ ]jordan15__t51_jordan152025-09-13 19:41 87K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80