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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]surreals__l27_surreals2025-09-13 04:11 30K 
[ ]surreals__l28_surreals2025-09-13 04:13 33K 
[ ]surreals__t1_surreals2025-09-13 03:32 22K 
[ ]surreals__t2_surreals2025-09-13 03:33 18K 
[ ]surreals__t3_surreals2025-09-13 03:34 26K 
[ ]surreals__t4_surreals2025-09-13 03:35 21K 
[ ]surreals__t5_surreals2025-09-13 03:36 26K 
[ ]surreals__t6_surreals2025-09-13 03:37 25K 
[ ]surreals__t7_surreals2025-09-13 03:39 59K 
[ ]surreals__t8_surreals2025-09-13 03:40 25K 
[ ]surreals__t9_surreals2025-09-13 03:41 23K 
[ ]surreals__t10_surreals2025-09-13 03:42 20K 
[ ]surreals__t11_surreals2025-09-13 03:43 30K 
[ ]surreals__t12_surreals2025-09-13 03:45 46K 
[ ]surreals__t13_surreals2025-09-13 03:46 47K 
[ ]surreals__t14_surreals2025-09-13 03:48 40K 
[ ]surreals__t15_surreals2025-09-13 03:49 47K 
[ ]surreals__t16_surreals2025-09-13 03:50 20K 
[ ]surreals__t17_surreals2025-09-13 03:51 32K 
[ ]surreals__t18_surreals2025-09-13 03:53 47K 
[ ]surreals__t19_surreals2025-09-13 03:56 70K 
[ ]surreals__t20_surreals2025-09-13 03:57 36K 
[ ]surreals__t21_surreals2025-09-13 03:29 30K 
[ ]surreals__t22_surreals2025-09-13 03:30 30K 
[ ]surreals__t23_surreals2025-09-13 03:31 30K 
[ ]surreals__t24_surreals2025-09-13 03:59 47K 
[ ]surreals__t25_surreals2025-09-13 04:01 52K 
[ ]surreals__t26_surreals2025-09-13 04:02 31K 
[ ]surreals__t27_surreals2025-09-13 04:03 31K 
[ ]surreals__t28_surreals2025-09-13 04:05 38K 
[ ]surreals__t29_surreals2025-09-13 04:06 33K 
[ ]surreals__t30_surreals2025-09-13 04:07 35K 
[ ]surreals__t31_surreals2025-09-13 04:09 61K 
[ ]surreals__t32_surreals2025-09-13 04:10 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80