NameDateSize

..29-Jan-201459

basics-0.cH A D29-Jan-2014155

basics-0.inH A D29-Jan-2014228

basics-1.cH A D29-Jan-2014119

basics-1.inH A D29-Jan-2014186

chosol-0.cH A D29-Jan-2014173

chosol-0.inH A D29-Jan-2014267

chosol-1.cH A D29-Jan-2014173

chosol-1.inH A D29-Jan-2014267

code_gen-0.cH A D29-Jan-2014175

code_gen-0.inH A D29-Jan-2014250

code_gen-1.cH A D29-Jan-2014365

code_gen-1.inH A D29-Jan-2014250

code_gen-2.cH A D29-Jan-2014404

code_gen-2.inH A D29-Jan-2014251

collard-0.cH A D29-Jan-2014394

collard-0.inH A D29-Jan-2014448

dagstuhl1-0.cH A D29-Jan-201460

dagstuhl1-0.inH A D29-Jan-2014142

dagstuhl1-1.cH A D29-Jan-201482

dagstuhl1-1.inH A D29-Jan-2014131

fc1-0.cH A D29-Jan-2014230

fc1-0.inH A D29-Jan-2014291

fc1-1.cH A D29-Jan-2014469

fc1-1.inH A D29-Jan-2014457

fc1-2.cH A D29-Jan-2014469

fc1-2.inH A D29-Jan-2014457

fc2-0.cH A D29-Jan-2014230

fc2-0.inH A D29-Jan-2014291

fc2-1.cH A D29-Jan-2014469

fc2-1.inH A D29-Jan-2014457

floor_bound-0.cH A D29-Jan-201480

floor_bound-0.inH A D29-Jan-2014186

floor_bound-1.cH A D29-Jan-201456

floor_bound-1.inH A D29-Jan-2014149

floor_bound-2.cH A D29-Jan-201460

floor_bound-2.inH A D29-Jan-2014199

floor_bound-3.cH A D29-Jan-201479

floor_bound-3.inH A D29-Jan-2014250

floor_bound-4.cH A D29-Jan-201499

floor_bound-4.inH A D29-Jan-2014203

floor_bound-5.cH A D29-Jan-201461

floor_bound-5.inH A D29-Jan-2014203

floor_bound-6.cH A D29-Jan-2014100

floor_bound-6.inH A D29-Jan-2014256

gc-0.cH A D29-Jan-201445

gc-0.inH A D29-Jan-2014164

ge-0.cH A D29-Jan-2014188

ge-0.inH A D29-Jan-2014265

ge-1.cH A D29-Jan-2014188

ge-1.inH A D29-Jan-2014265

gist-0.cH A D29-Jan-201489

gist-0.inH A D29-Jan-2014284

gist-1.cH A D29-Jan-201489

gist-1.inH A D29-Jan-2014272

gist-2.cH A D29-Jan-201491

gist-2.inH A D29-Jan-2014270

gist-3.cH A D29-Jan-201492

gist-3.inH A D29-Jan-2014284

gist-4.cH A D29-Jan-201489

gist-4.inH A D29-Jan-2014284

gist-5.cH A D29-Jan-201490

gist-5.inH A D29-Jan-2014286

guard1-0.cH A D29-Jan-201456

guard1-0.inH A D29-Jan-2014175

guard1-1.cH A D29-Jan-201456

guard1-1.inH A D29-Jan-2014175

hpf-0.cH A D29-Jan-2014192

hpf-0.inH A D29-Jan-2014360

if_then-0.cH A D29-Jan-2014328

if_then-0.inH A D29-Jan-2014422

if_then-1.cH A D29-Jan-2014162

if_then-1.inH A D29-Jan-2014348

if_then-2.cH A D29-Jan-2014218

if_then-2.inH A D29-Jan-2014348

if_then-3.cH A D29-Jan-2014261

if_then-3.inH A D29-Jan-2014349

if_then-4.cH A D29-Jan-2014187

if_then-4.inH A D29-Jan-2014357

if_then-5.cH A D29-Jan-2014187

if_then-5.inH A D29-Jan-2014357

iter1-0.cH A D29-Jan-201445

iter1-0.inH A D29-Jan-2014123

iter2-0.cH A D29-Jan-201492

iter2-0.inH A D29-Jan-2014174

iter3-0.cH A D29-Jan-201493

iter3-0.inH A D29-Jan-2014163

iter4-0.cH A D29-Jan-201498

iter4-0.inH A D29-Jan-2014181

iter5-0.cH A D29-Jan-2014107

iter5-0.inH A D29-Jan-2014196

iter6-0.cH A D29-Jan-201490

iter6-0.inH A D29-Jan-2014172

iter6-1.cH A D29-Jan-201470

iter6-1.inH A D29-Jan-2014194

iter7-0.cH A D29-Jan-201465

iter7-0.inH A D29-Jan-2014184

iter8-0.cH A D29-Jan-2014118

iter8-0.inH A D29-Jan-2014489

iter9-0.cH A D29-Jan-2014328

iter9-0.inH A D29-Jan-20141.1 KiB

lefur00-0.cH A D29-Jan-2014526

lefur00-0.inH A D29-Jan-2014346

lefur01-0.cH A D29-Jan-2014526

lefur01-0.inH A D29-Jan-2014346

lefur01-1.cH A D29-Jan-2014526

lefur01-1.inH A D29-Jan-2014346

lefur03-0.cH A D29-Jan-2014926

lefur03-0.inH A D29-Jan-2014514

lefur04-0.cH A D29-Jan-20141.3 KiB

lefur04-0.inH A D29-Jan-2014652

lift1-0.cH A D29-Jan-2014311

lift1-0.inH A D29-Jan-2014539

lift1-1.cH A D29-Jan-2014415

lift1-1.inH A D29-Jan-2014539

lift1-2.cH A D29-Jan-2014458

lift1-2.inH A D29-Jan-2014539

lift1-3.cH A D29-Jan-2014499

lift1-3.inH A D29-Jan-2014539

lift1-4.cH A D29-Jan-2014538

lift1-4.inH A D29-Jan-2014539

lift1-5.cH A D29-Jan-2014556

lift1-5.inH A D29-Jan-2014540

lift2-0.cH A D29-Jan-2014322

lift2-0.inH A D29-Jan-2014539

lift2-1.cH A D29-Jan-2014528

lift2-1.inH A D29-Jan-2014539

lift2-2.cH A D29-Jan-2014614

lift2-2.inH A D29-Jan-2014539

lift2-3.cH A D29-Jan-2014696

lift2-3.inH A D29-Jan-2014539

lift2-4.cH A D29-Jan-2014774

lift2-4.inH A D29-Jan-2014539

lift2-5.cH A D29-Jan-2014805

lift2-5.inH A D29-Jan-2014540

lu-0.cH A D29-Jan-2014416

lu-0.inH A D29-Jan-2014561

lu-1.cH A D29-Jan-2014416

lu-1.inH A D29-Jan-2014561

lu-2.cH A D29-Jan-2014416

lu-2.inH A D29-Jan-2014561

lu-3.cH A D29-Jan-2014597

lu-3.inH A D29-Jan-2014561

lu_ijk-0.cH A D29-Jan-2014188

lu_ijk-0.inH A D29-Jan-2014265

lu_ijk-1.cH A D29-Jan-2014188

lu_ijk-1.inH A D29-Jan-2014265

lu_ijk-2.cH A D29-Jan-2014295

lu_ijk-2.inH A D29-Jan-2014265

lu_spmd-0.cH A D29-Jan-2014342

lu_spmd-0.inH A D29-Jan-2014648

lu_spmd-1.cH A D29-Jan-2014342

lu_spmd-1.inH A D29-Jan-2014648

m1-0.cH A D29-Jan-2014128

m1-0.inH A D29-Jan-2014200

m1-1.cH A D29-Jan-2014280

m1-1.inH A D29-Jan-2014200

m10-0.cH A D29-Jan-2014157

m10-0.inH A D29-Jan-2014224

m10-1.cH A D29-Jan-2014343

m10-1.inH A D29-Jan-2014224

m11-0.cH A D29-Jan-2014516

m11-0.inH A D29-Jan-2014565

m12-0.cH A D29-Jan-201494

m12-0.inH A D29-Jan-2014218

m12-1.cH A D29-Jan-2014539

m12-1.inH A D29-Jan-2014964

m2-0.cH A D29-Jan-2014216

m2-0.inH A D29-Jan-2014256

m2-1.cH A D29-Jan-2014239

m2-1.inH A D29-Jan-2014257

m3-0.cH A D29-Jan-2014119

m3-0.inH A D29-Jan-2014186

m4-0.cH A D29-Jan-2014110

m4-0.inH A D29-Jan-2014222

m4-1.cH A D29-Jan-2014110

m4-1.inH A D29-Jan-2014222

m7-0.cH A D29-Jan-2014133

m7-0.inH A D29-Jan-2014257

m7-1.cH A D29-Jan-2014205

m7-1.inH A D29-Jan-2014257

m8-0.cH A D29-Jan-2014133

m8-0.inH A D29-Jan-2014292

m8-1.cH A D29-Jan-2014205

m8-1.inH A D29-Jan-2014292

m9-0.cH A D29-Jan-2014110

m9-0.inH A D29-Jan-2014224

m9-1.cH A D29-Jan-2014110

m9-1.inH A D29-Jan-2014224

olda-0.cH A D29-Jan-2014212

olda-0.inH A D29-Jan-2014324

olda-1.cH A D29-Jan-2014250

olda-1.inH A D29-Jan-2014324

p.delft-0.cH A D29-Jan-2014192

p.delft-0.inH A D29-Jan-2014360

p.delft2-0.cH A D29-Jan-2014661

p.delft2-0.inH A D29-Jan-20141.3 KiB

p6-0.cH A D29-Jan-2014155

p6-0.inH A D29-Jan-2014228

p6-1.cH A D29-Jan-2014119

p6-1.inH A D29-Jan-2014186

READMEH A D29-Jan-2014243

stride1-0.cH A D29-Jan-201445

stride1-0.inH A D29-Jan-2014164

stride2-0.cH A D29-Jan-2014104

stride2-0.inH A D29-Jan-2014238

stride3-0.cH A D29-Jan-2014104

stride3-0.inH A D29-Jan-2014248

stride4-0.cH A D29-Jan-201447

stride4-0.inH A D29-Jan-2014176

stride5-0.cH A D29-Jan-2014120

stride5-0.inH A D29-Jan-2014269

stride6-0.cH A D29-Jan-2014115

stride6-0.inH A D29-Jan-2014218

stride6-1.cH A D29-Jan-201493

stride6-1.inH A D29-Jan-2014250

stride6-2.cH A D29-Jan-201493

stride6-2.inH A D29-Jan-2014250

stride7-0.cH A D29-Jan-2014333

stride7-0.inH A D29-Jan-2014223

stride7-1.cH A D29-Jan-2014341

stride7-1.inH A D29-Jan-2014224

substitution-0.cH A D29-Jan-2014140

substitution-0.inH A D29-Jan-2014155

substitution-1.cH A D29-Jan-2014190

substitution-1.inH A D29-Jan-2014156

substitution-2.cH A D29-Jan-201455

substitution-2.inH A D29-Jan-2014134

substitution-3.cH A D29-Jan-201412

substitution-3.inH A D29-Jan-2014115

substitution-4.cH A D29-Jan-201411

substitution-4.inH A D29-Jan-2014189

syr2k-0.cH A D29-Jan-2014233

syr2k-0.inH A D29-Jan-2014243

syr2k-1.cH A D29-Jan-2014207

syr2k-1.inH A D29-Jan-2014270

syr2k-2.cH A D29-Jan-2014233

syr2k-2.inH A D29-Jan-2014243

syr2k-3.cH A D29-Jan-2014207

syr2k-3.inH A D29-Jan-2014270

ts1d-check-sblock-0.cH A D29-Jan-2014515

ts1d-check-sblock-0.inH A D29-Jan-2014456

ts1d-check0-0.cH A D29-Jan-2014588

ts1d-check0-0.inH A D29-Jan-2014631

ts1d-mp-i_ts-m_b-0.cH A D29-Jan-20142.8 KiB

ts1d-mp-i_ts-m_b-0.inH A D29-Jan-20141.6 KiB

ts1d-orig0-0.cH A D29-Jan-2014240

ts1d-orig0-0.inH A D29-Jan-2014455

wak1-0.cH A D29-Jan-2014730

wak1-0.inH A D29-Jan-2014207

wak1-1.cH A D29-Jan-20141.7 KiB

wak1-1.inH A D29-Jan-2014207

wak2-0.cH A D29-Jan-2014868

wak2-0.inH A D29-Jan-2014248

wak2-1.cH A D29-Jan-20141.1 KiB

wak2-1.inH A D29-Jan-2014248

wak3-0.cH A D29-Jan-2014151

wak3-0.inH A D29-Jan-2014235

wak3-1.cH A D29-Jan-2014479

wak3-1.inH A D29-Jan-2014236

wak4-0.cH A D29-Jan-2014133

wak4-0.inH A D29-Jan-2014442

wak4-1.cH A D29-Jan-2014133

wak4-1.inH A D29-Jan-2014443

x-0.cH A D29-Jan-2014541

x-0.inH A D29-Jan-2014239

x-1.cH A D29-Jan-2014541

x-1.inH A D29-Jan-2014239

README

1The tests in this directory have been adapted from the corresponding omega+
2test cases.
3The options have been derived semi-automatically and may not always
4correspond to the intended meaning of the specified "effort" in the omega+
5test cases.
6