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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]surreal0__l17_surreal02025-09-13 04:31 52K 
[ ]surreal0__l33_surreal02025-09-13 04:33 61K 
[ ]surreal0__l44_surreal02025-09-13 04:34 30K 
[ ]surreal0__t1_surreal02025-09-13 03:29 53K 
[ ]surreal0__t2_surreal02025-09-13 03:31 50K 
[ ]surreal0__t3_surreal02025-09-13 03:32 52K 
[ ]surreal0__t4_surreal02025-09-13 03:34 55K 
[ ]surreal0__t5_surreal02025-09-13 03:34 25K 
[ ]surreal0__t6_surreal02025-09-13 03:36 52K 
[ ]surreal0__t7_surreal02025-09-13 03:37 52K 
[ ]surreal0__t8_surreal02025-09-13 03:39 47K 
[ ]surreal0__t9_surreal02025-09-13 03:40 47K 
[ ]surreal0__t10_surreal02025-09-13 03:41 29K 
[ ]surreal0__t11_surreal02025-09-13 03:42 29K 
[ ]surreal0__t12_surreal02025-09-13 03:44 50K 
[ ]surreal0__t13_surreal02025-09-13 03:45 31K 
[ ]surreal0__t14_surreal02025-09-13 03:46 33K 
[ ]surreal0__t15_surreal02025-09-13 03:47 33K 
[ ]surreal0__t16_surreal02025-09-13 03:48 31K 
[ ]surreal0__t17_surreal02025-09-13 03:49 31K 
[ ]surreal0__t18_surreal02025-09-13 03:50 31K 
[ ]surreal0__t19_surreal02025-09-13 03:51 31K 
[ ]surreal0__t20_surreal02025-09-13 03:53 53K 
[ ]surreal0__t21_surreal02025-09-13 03:54 54K 
[ ]surreal0__t22_surreal02025-09-13 03:56 59K 
[ ]surreal0__t23_surreal02025-09-13 03:57 58K 
[ ]surreal0__t24_surreal02025-09-13 04:00 61K 
[ ]surreal0__t25_surreal02025-09-13 04:01 33K 
[ ]surreal0__t26_surreal02025-09-13 04:03 63K 
[ ]surreal0__t27_surreal02025-09-13 04:04 45K 
[ ]surreal0__t28_surreal02025-09-13 04:06 46K 
[ ]surreal0__t29_surreal02025-09-13 04:07 33K 
[ ]surreal0__t30_surreal02025-09-13 04:08 27K 
[ ]surreal0__t31_surreal02025-09-13 04:10 57K 
[ ]surreal0__t32_surreal02025-09-13 04:11 30K 
[ ]surreal0__t33_surreal02025-09-13 04:12 32K 
[ ]surreal0__t34_surreal02025-09-13 04:13 53K 
[ ]surreal0__t35_surreal02025-09-13 04:14 31K 
[ ]surreal0__t36_surreal02025-09-13 04:15 31K 
[ ]surreal0__t37_surreal02025-09-13 04:16 29K 
[ ]surreal0__t38_surreal02025-09-13 04:17 33K 
[ ]surreal0__t39_surreal02025-09-13 04:19 55K 
[ ]surreal0__t40_surreal02025-09-13 04:20 49K 
[ ]surreal0__t41_surreal02025-09-13 04:21 22K 
[ ]surreal0__t42_surreal02025-09-13 04:22 22K 
[ ]surreal0__t43_surreal02025-09-13 04:24 56K 
[ ]surreal0__t44_surreal02025-09-13 04:25 23K 
[ ]surreal0__t45_surreal02025-09-13 04:27 52K 
[ ]surreal0__t46_surreal02025-09-13 04:28 57K 
[ ]surreal0__t47_surreal02025-09-13 04:30 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80