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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sin_cos8__l1_sin_cos82025-09-11 20:31 25K 
[ ]sin_cos8__l2_sin_cos82025-09-11 20:32 113K 
[ ]sin_cos8__l3_sin_cos82025-09-11 20:33 43K 
[ ]sin_cos8__l5_sin_cos82025-09-11 20:34 129K 
[ ]sin_cos8__l6_sin_cos82025-09-11 20:35 97K 
[ ]sin_cos8__l7_sin_cos82025-09-11 20:35 39K 
[ ]sin_cos8__l8_sin_cos82025-09-11 20:36 173K 
[ ]sin_cos8__l9_sin_cos82025-09-11 20:38 37K 
[ ]sin_cos8__l11_sin_cos82025-09-11 20:39 62K 
[ ]sin_cos8__l19_sin_cos82025-09-11 20:40 36K 
[ ]sin_cos8__l23_sin_cos82025-09-11 20:41 47K 
[ ]sin_cos8__l31_sin_cos82025-09-11 20:42 138K 
[ ]sin_cos8__l32_sin_cos82025-09-11 20:44 242K 
[ ]sin_cos8__l34_sin_cos82025-09-11 20:44 25K 
[ ]sin_cos8__t1_sin_cos82025-09-11 19:58 24K 
[ ]sin_cos8__t2_sin_cos82025-09-11 19:58 13K 
[ ]sin_cos8__t3_sin_cos82025-09-11 20:00 64K 
[ ]sin_cos8__t4_sin_cos82025-09-11 20:00 14K 
[ ]sin_cos8__t5_sin_cos82025-09-11 20:01 52K 
[ ]sin_cos8__t6_sin_cos82025-09-11 20:02 34K 
[ ]sin_cos8__t7_sin_cos82025-09-11 20:03 53K 
[ ]sin_cos8__t8_sin_cos82025-09-11 20:04 101K 
[ ]sin_cos8__t9_sin_cos82025-09-11 20:05 32K 
[ ]sin_cos8__t10_sin_cos82025-09-11 20:06 31K 
[ ]sin_cos8__t11_sin_cos82025-09-11 20:07 41K 
[ ]sin_cos8__t12_sin_cos82025-09-11 20:07 41K 
[ ]sin_cos8__t13_sin_cos82025-09-11 20:08 177K 
[ ]sin_cos8__t14_sin_cos82025-09-11 20:09 34K 
[ ]sin_cos8__t15_sin_cos82025-09-11 20:10 33K 
[ ]sin_cos8__t16_sin_cos82025-09-11 20:10 52K 
[ ]sin_cos8__t17_sin_cos82025-09-11 20:11 52K 
[ ]sin_cos8__t18_sin_cos82025-09-11 20:12 53K 
[ ]sin_cos8__t19_sin_cos82025-09-11 20:13 52K 
[ ]sin_cos8__t20_sin_cos82025-09-11 20:14 42K 
[ ]sin_cos8__t21_sin_cos82025-09-11 20:14 32K 
[ ]sin_cos8__t22_sin_cos82025-09-11 20:15 61K 
[ ]sin_cos8__t23_sin_cos82025-09-11 20:16 191K 
[ ]sin_cos8__t24_sin_cos82025-09-11 20:18 223K 
[ ]sin_cos8__t25_sin_cos82025-09-11 20:19 224K 
[ ]sin_cos8__t26_sin_cos82025-09-11 20:20 111K 
[ ]sin_cos8__t27_sin_cos82025-09-11 20:21 767K 
[ ]sin_cos8__t28_sin_cos82025-09-11 20:22 610K 
[ ]sin_cos8__t29_sin_cos82025-09-11 20:23 51K 
[ ]sin_cos8__t30_sin_cos82025-09-11 20:24 51K 
[ ]sin_cos8__t31_sin_cos82025-09-11 20:26 4.4M 
[ ]sin_cos8__t32_sin_cos82025-09-11 20:29 4.8M 
[ ]sin_cos8__t33_sin_cos82025-09-11 20:29 179K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80