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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gobrd11__l1_gobrd112025-09-12 21:46 15K 
[ ]gobrd11__l8_gobrd112025-09-12 21:47 35K 
[ ]gobrd11__l10_gobrd112025-09-12 22:48 39K 
[ ]gobrd11__l11_gobrd112025-09-12 22:49 39K 
[ ]gobrd11__l12_gobrd112025-09-12 22:51 39K 
[ ]gobrd11__l13_gobrd112025-09-12 22:52 39K 
[ ]gobrd11__l14_gobrd112025-09-12 22:54 39K 
[ ]gobrd11__l15_gobrd112025-09-12 22:55 39K 
[ ]gobrd11__l16_gobrd112025-09-12 22:57 39K 
[ ]gobrd11__l17_gobrd112025-09-12 22:58 39K 
[ ]gobrd11__t1_gobrd112025-09-12 21:48 22K 
[ ]gobrd11__t2_gobrd112025-09-12 21:49 26K 
[ ]gobrd11__t3_gobrd112025-09-12 21:50 25K 
[ ]gobrd11__t4_gobrd112025-09-12 21:51 30K 
[ ]gobrd11__t5_gobrd112025-09-12 21:52 28K 
[ ]gobrd11__t6_gobrd112025-09-12 21:54 115K 
[ ]gobrd11__t7_gobrd112025-09-12 21:56 88K 
[ ]gobrd11__t8_gobrd112025-09-12 21:58 41K 
[ ]gobrd11__t9_gobrd112025-09-12 21:59 41K 
[ ]gobrd11__t10_gobrd112025-09-12 22:01 41K 
[ ]gobrd11__t11_gobrd112025-09-12 22:03 41K 
[ ]gobrd11__t12_gobrd112025-09-12 22:04 40K 
[ ]gobrd11__t13_gobrd112025-09-12 22:06 40K 
[ ]gobrd11__t14_gobrd112025-09-12 22:07 40K 
[ ]gobrd11__t15_gobrd112025-09-12 22:09 40K 
[ ]gobrd11__t16_gobrd112025-09-12 22:10 50K 
[ ]gobrd11__t17_gobrd112025-09-12 22:12 52K 
[ ]gobrd11__t18_gobrd112025-09-12 22:14 44K 
[ ]gobrd11__t19_gobrd112025-09-12 22:16 44K 
[ ]gobrd11__t20_gobrd112025-09-12 22:17 49K 
[ ]gobrd11__t21_gobrd112025-09-12 22:19 44K 
[ ]gobrd11__t22_gobrd112025-09-12 22:21 44K 
[ ]gobrd11__t23_gobrd112025-09-12 22:22 49K 
[ ]gobrd11__t24_gobrd112025-09-12 22:24 47K 
[ ]gobrd11__t25_gobrd112025-09-12 22:26 47K 
[ ]gobrd11__t26_gobrd112025-09-12 22:28 52K 
[ ]gobrd11__t27_gobrd112025-09-12 22:30 49K 
[ ]gobrd11__t28_gobrd112025-09-12 22:32 48K 
[ ]gobrd11__t29_gobrd112025-09-12 22:34 52K 
[ ]gobrd11__t30_gobrd112025-09-12 22:35 54K 
[ ]gobrd11__t31_gobrd112025-09-12 22:37 52K 
[ ]gobrd11__t32_gobrd112025-09-12 22:39 52K 
[ ]gobrd11__t33_gobrd112025-09-12 22:41 40K 
[ ]gobrd11__t34_gobrd112025-09-12 22:42 41K 
[ ]gobrd11__t35_gobrd112025-09-12 22:46 394K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80