Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmbsort
Name
Last modified
Size
Description
Parent Directory
-
scmbsort__t45_scmbsort
2017-01-05 20:54
290K
scmbsort__t44_scmbsort
2016-03-08 13:09
347K
scmbsort__t43_scmbsort
2016-03-08 13:09
287K
scmbsort__t42_scmbsort
2016-03-08 13:09
257K
scmbsort__t41_scmbsort
2016-03-08 13:09
309K
scmbsort__t40_scmbsort
2016-03-08 13:09
210K
scmbsort__t39_scmbsort
2016-03-08 13:09
236K
scmbsort__t38_scmbsort
2016-03-08 13:09
173K
scmbsort__t35_scmbsort
2016-03-08 13:09
182K
scmbsort__t34_scmbsort
2016-03-08 13:09
191K
scmbsort__t33_scmbsort
2016-03-08 13:09
147K
scmbsort__t32_scmbsort
2016-03-08 13:09
92K
scmbsort__t28_scmbsort
2016-03-08 13:09
160K
scmbsort__t27_scmbsort
2016-03-08 13:09
160K
scmbsort__t26_scmbsort
2016-03-08 13:09
97K
scmbsort__t23_scmbsort
2016-03-08 13:09
90K
scmbsort__t22_scmbsort
2016-03-08 13:09
140K
scmbsort__t20_scmbsort
2016-03-08 13:09
150K
scmbsort__t19_scmbsort
2016-03-08 13:09
126K
scmbsort__t18_scmbsort
2016-03-08 13:09
150K
scmbsort__t17_scmbsort
2016-03-08 13:09
113K
scmbsort__t16_scmbsort
2016-03-08 13:09
135K
scmbsort__t15_scmbsort
2016-03-08 13:09
117K
scmbsort__t14_scmbsort
2016-03-08 13:09
1.0M
scmbsort__t13_scmbsort
2016-03-08 13:09
93K
scmbsort__t12_scmbsort
2016-03-08 13:09
100K
scmbsort__t11_scmbsort
2016-03-08 13:09
101K
scmbsort__t10_scmbsort
2016-03-08 13:09
102K
scmbsort__t9_scmbsort
2016-03-08 13:09
103K
scmbsort__t8_scmbsort
2016-03-08 13:09
96K
scmbsort__t7_scmbsort
2016-03-08 13:09
103K
scmbsort__t6_scmbsort
2016-03-08 13:09
139K
scmbsort__t5_scmbsort
2016-03-08 13:09
141K
scmbsort__t4_scmbsort
2016-03-08 13:09
146K
scmbsort__t3_scmbsort
2016-03-08 13:09
109K
scmbsort__t2_scmbsort
2016-03-08 13:09
107K
scmbsort__t1_scmbsort
2016-03-08 13:09
128K
scmbsort__l75_scmbsort
2016-03-08 13:09
1.0M
scmbsort__l74_scmbsort
2016-03-08 13:09
259K
scmbsort__l73_scmbsort
2016-03-08 13:09
1.0M
scmbsort__l72_scmbsort
2016-03-08 13:09
965K
scmbsort__l71_scmbsort
2016-03-08 13:09
774K
scmbsort__l70_scmbsort
2016-03-08 13:09
248K
scmbsort__l69_scmbsort
2016-03-08 13:09
256K
scmbsort__l67_scmbsort
2016-03-08 13:09
261K
scmbsort__l66_scmbsort
2016-03-08 13:09
211K
scmbsort__l65_scmbsort
2016-03-08 13:09
179K
scmbsort__l64_scmbsort
2016-03-08 13:09
249K
scmbsort__l63_scmbsort
2016-03-08 13:09
193K
scmbsort__l62_scmbsort
2016-03-08 13:09
288K
scmbsort__l61_scmbsort
2016-03-08 13:09
335K
scmbsort__l52_scmbsort
2016-03-08 13:09
82K
scmbsort__l51_scmbsort
2016-03-08 13:09
82K
scmbsort__l50_scmbsort
2016-03-08 13:09
82K
scmbsort__l49_scmbsort
2016-03-08 13:09
82K
scmbsort__l48_scmbsort
2016-03-08 13:09
82K
scmbsort__l47_scmbsort
2016-03-08 13:09
82K
scmbsort__l46_scmbsort
2016-03-08 13:09
82K
scmbsort__l45_scmbsort
2016-03-08 13:09
82K
scmbsort__l44_scmbsort
2016-03-08 13:09
82K
scmbsort__l43_scmbsort
2016-03-08 13:09
82K
scmbsort__l42_scmbsort
2016-03-08 13:09
82K
scmbsort__l41_scmbsort
2016-03-08 13:09
82K
scmbsort__l40_scmbsort
2016-03-08 13:09
82K
scmbsort__l39_scmbsort
2016-03-08 13:09
82K
scmbsort__l38_scmbsort
2016-03-08 13:09
82K
scmbsort__l37_scmbsort
2016-03-08 13:09
83K
scmbsort__l36_scmbsort
2016-03-08 13:09
83K
scmbsort__l35_scmbsort
2016-03-08 13:09
83K
scmbsort__l34_scmbsort
2016-03-08 13:09
82K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80