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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff_8__t1_ndiff_82025-09-12 20:53 112K 
[ ]ndiff_8__t2_ndiff_82025-09-12 20:55 81K 
[ ]ndiff_8__t3_ndiff_82025-09-12 20:57 81K 
[ ]ndiff_8__t4_ndiff_82025-09-12 20:49 64K 
[ ]ndiff_8__t5_ndiff_82025-09-12 20:59 68K 
[ ]ndiff_8__t6_ndiff_82025-09-12 21:01 71K 
[ ]ndiff_8__t7_ndiff_82025-09-12 21:03 100K 
[ ]ndiff_8__t8_ndiff_82025-09-12 21:05 106K 
[ ]ndiff_8__t10_ndiff_82025-09-12 21:07 128K 
[ ]ndiff_8__t11_ndiff_82025-09-12 21:10 129K 
[ ]ndiff_8__t12_ndiff_82025-09-12 21:12 112K 
[ ]ndiff_8__t13_ndiff_82025-09-12 21:14 60K 
[ ]ndiff_8__t14_ndiff_82025-09-12 20:51 58K 
[ ]ndiff_8__t15_ndiff_82025-09-12 21:16 58K 
[ ]ndiff_8__t16_ndiff_82025-09-12 21:18 58K 
[ ]ndiff_8__t17_ndiff_82025-09-12 21:19 57K 
[ ]ndiff_8__t18_ndiff_82025-09-12 21:21 57K 
[ ]ndiff_8__t19_ndiff_82025-09-12 21:23 59K 
[ ]ndiff_8__t20_ndiff_82025-09-12 21:25 66K 
[ ]ndiff_8__t21_ndiff_82025-09-12 21:27 81K 
[ ]ndiff_8__t22_ndiff_82025-09-12 21:29 159K 
[ ]ndiff_8__t23_ndiff_82025-09-12 21:31 68K 
[ ]ndiff_8__t24_ndiff_82025-09-12 21:34 116K 
[ ]ndiff_8__t25_ndiff_82025-09-12 21:35 56K 
[ ]ndiff_8__t26_ndiff_82025-09-12 21:38 76K 
[ ]ndiff_8__t27_ndiff_82025-09-12 21:39 42K 
[ ]ndiff_8__t29_ndiff_82025-09-12 21:42 123K 
[ ]ndiff_8__t30_ndiff_82025-09-12 21:44 89K 
[ ]ndiff_8__t31_ndiff_82025-09-12 21:46 66K 
[ ]ndiff_8__t32_ndiff_82025-09-12 21:48 66K 
[ ]ndiff_8__t33_ndiff_82025-09-12 21:50 88K 
[ ]ndiff_8__t34_ndiff_82025-09-12 21:52 61K 
[ ]ndiff_8__t35_ndiff_82025-09-12 21:58 611K 
[ ]ndiff_8__t36_ndiff_82025-09-12 22:01 149K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80