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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]gate_1__t1_gate_12025-09-12 06:58 1.5K 
[ ]gate_1__t2_gate_12025-09-12 06:58 832  
[ ]gate_1__t3_gate_12025-09-12 06:58 1.0K 
[ ]gate_1__t4_gate_12025-09-12 06:58 1.1K 
[ ]gate_1__t5_gate_12025-09-12 06:59 1.2K 
[ ]gate_1__t6_gate_12025-09-12 06:59 1.5K 
[ ]gate_1__t7_gate_12025-09-12 07:07 1.2K 
[ ]gate_1__t8_gate_12025-09-12 06:59 1.5K 
[ ]gate_1__t9_gate_12025-09-12 06:59 1.4K 
[ ]gate_1__t10_gate_12025-09-12 07:00 1.4K 
[ ]gate_1__t11_gate_12025-09-12 07:07 2.1K 
[ ]gate_1__t12_gate_12025-09-12 07:00 1.2K 
[ ]gate_1__t13_gate_12025-09-12 07:00 1.1K 
[ ]gate_1__t14_gate_12025-09-12 07:00 1.4K 
[ ]gate_1__t15_gate_12025-09-12 07:00 1.5K 
[ ]gate_1__t16_gate_12025-09-12 07:01 3.0K 
[ ]gate_1__t17_gate_12025-09-12 07:01 2.2K 
[ ]gate_1__t18_gate_12025-09-12 07:01 1.9K 
[ ]gate_1__t19_gate_12025-09-12 07:01 1.6K 
[ ]gate_1__t20_gate_12025-09-12 07:02 1.8K 
[ ]gate_1__t21_gate_12025-09-12 07:02 2.0K 
[ ]gate_1__t22_gate_12025-09-12 07:02 2.0K 
[ ]gate_1__t23_gate_12025-09-12 07:02 1.8K 
[ ]gate_1__t24_gate_12025-09-12 07:03 2.0K 
[ ]gate_1__t25_gate_12025-09-12 07:03 2.1K 
[ ]gate_1__t26_gate_12025-09-12 07:03 2.2K 
[ ]gate_1__t27_gate_12025-09-12 07:03 1.9K 
[ ]gate_1__t28_gate_12025-09-12 07:04 2.1K 
[ ]gate_1__t29_gate_12025-09-12 07:04 2.3K 
[ ]gate_1__t30_gate_12025-09-12 07:04 2.4K 
[ ]gate_1__t31_gate_12025-09-12 07:05 2.0K 
[ ]gate_1__t32_gate_12025-09-12 07:05 2.3K 
[ ]gate_1__t33_gate_12025-09-12 07:05 2.5K 
[ ]gate_1__t34_gate_12025-09-12 07:05 2.6K 
[ ]gate_1__t35_gate_12025-09-12 07:06 2.2K 
[ ]gate_1__t36_gate_12025-09-12 07:06 2.5K 
[ ]gate_1__t37_gate_12025-09-12 07:06 2.6K 
[ ]gate_1__t38_gate_12025-09-12 07:06 2.8K 
[ ]gate_1__t39_gate_12025-09-12 07:07 2.3K 
[ ]gate_1__t40_gate_12025-09-12 07:08 5.0K 
[ ]gate_1__t41_gate_12025-09-12 07:07 1.9K 
[ ]gate_1__t42_gate_12025-09-12 07:09 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80