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