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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_6__l4_int_62025-09-13 02:55 49K 
[ ]int_6__l5_int_62025-09-13 02:57 49K 
[ ]int_6__l6_int_62025-09-13 02:58 49K 
[ ]int_6__l14_int_62025-09-13 03:01 146K 
[ ]int_6__l28_int_62025-09-13 01:46 44K 
[ ]int_6__l32_int_62025-09-13 03:03 113K 
[ ]int_6__l34_int_62025-09-13 03:05 126K 
[ ]int_6__l46_int_62025-09-13 03:07 95K 
[ ]int_6__t1_int_62025-09-13 01:48 73K 
[ ]int_6__t2_int_62025-09-13 01:49 66K 
[ ]int_6__t3_int_62025-09-13 01:51 72K 
[ ]int_6__t4_int_62025-09-13 01:52 85K 
[ ]int_6__t5_int_62025-09-13 01:54 132K 
[ ]int_6__t6_int_62025-09-13 01:56 104K 
[ ]int_6__t7_int_62025-09-13 01:57 77K 
[ ]int_6__t8_int_62025-09-13 01:58 50K 
[ ]int_6__t9_int_62025-09-13 02:00 139K 
[ ]int_6__t10_int_62025-09-13 02:02 71K 
[ ]int_6__t11_int_62025-09-13 02:03 73K 
[ ]int_6__t12_int_62025-09-13 01:44 61K 
[ ]int_6__t13_int_62025-09-13 02:05 76K 
[ ]int_6__t14_int_62025-09-13 02:06 61K 
[ ]int_6__t15_int_62025-09-13 02:08 91K 
[ ]int_6__t16_int_62025-09-13 02:09 89K 
[ ]int_6__t17_int_62025-09-13 02:11 61K 
[ ]int_6__t18_int_62025-09-13 02:12 68K 
[ ]int_6__t19_int_62025-09-13 02:13 57K 
[ ]int_6__t20_int_62025-09-13 02:15 88K 
[ ]int_6__t21_int_62025-09-13 02:16 54K 
[ ]int_6__t22_int_62025-09-13 02:18 76K 
[ ]int_6__t23_int_62025-09-13 02:19 53K 
[ ]int_6__t24_int_62025-09-13 02:21 87K 
[ ]int_6__t25_int_62025-09-13 02:23 125K 
[ ]int_6__t26_int_62025-09-13 02:25 77K 
[ ]int_6__t27_int_62025-09-13 02:27 84K 
[ ]int_6__t28_int_62025-09-13 02:29 83K 
[ ]int_6__t29_int_62025-09-13 02:31 161K 
[ ]int_6__t30_int_62025-09-13 02:33 83K 
[ ]int_6__t31_int_62025-09-13 02:35 57K 
[ ]int_6__t32_int_62025-09-13 02:37 108K 
[ ]int_6__t33_int_62025-09-13 02:38 93K 
[ ]int_6__t34_int_62025-09-13 02:40 89K 
[ ]int_6__t35_int_62025-09-13 02:42 92K 
[ ]int_6__t36_int_62025-09-13 02:44 94K 
[ ]int_6__t37_int_62025-09-13 02:46 78K 
[ ]int_6__t38_int_62025-09-13 02:48 86K 
[ ]int_6__t39_int_62025-09-13 02:50 92K 
[ ]int_6__t40_int_62025-09-13 02:52 78K 
[ ]int_6__t41_int_62025-09-13 02:54 85K 
[ ]int_6__t42_int_62025-09-13 01:45 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80