Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
basics-0.c 2023-12-29 22:07 139
![[ ]](/icons/unknown.gif){kind=icon}
basics-0.in 2023-12-29 22:07 228
basics-1.c 2023-12-29 22:07 119
basics-1.in 2023-12-29 22:07 186
chosol-0.c 2023-12-29 22:07 155
chosol-0.in 2023-12-29 22:07 267
chosol-1.c 2023-12-29 22:07 155
chosol-1.in 2023-12-29 22:07 267
code_gen-0.c 2023-12-29 22:07 175
code_gen-0.in 2023-12-29 22:07 250
code_gen-1.c 2023-12-29 22:07 367
code_gen-1.in 2023-12-29 22:07 250
code_gen-2.c 2023-12-29 22:07 370
code_gen-2.in 2023-12-29 22:07 251
collard-0.c 2023-12-29 22:07 362
collard-0.in 2023-12-29 22:07 448
dagstuhl1-0.c 2023-12-29 22:07 60
dagstuhl1-0.in 2023-12-29 22:07 142
dagstuhl1-1.c 2023-12-29 22:07 64
dagstuhl1-1.in 2023-12-29 22:07 131
fc1-0.c 2023-12-29 22:07 230
fc1-0.in 2023-12-29 22:07 291
fc1-1.c 2023-12-29 22:07 435
fc1-1.in 2023-12-29 22:07 457
fc1-2.c 2023-12-29 22:07 435
fc1-2.in 2023-12-29 22:07 457
fc2-0.c 2023-12-29 22:07 230
fc2-0.in 2023-12-29 22:07 291
fc2-1.c 2023-12-29 22:07 435
fc2-1.in 2023-12-29 22:07 457
floor_bound-0.c 2023-12-29 22:07 80
floor_bound-0.in 2023-12-29 22:07 186
floor_bound-1.c 2023-12-29 22:07 56
floor_bound-1.in 2023-12-29 22:07 149
floor_bound-2.c 2023-12-29 22:07 60
floor_bound-2.in 2023-12-29 22:07 199
floor_bound-3.c 2023-12-29 22:07 79
floor_bound-3.in 2023-12-29 22:07 250
floor_bound-4.c 2023-12-29 22:07 99
floor_bound-4.in 2023-12-29 22:07 203
floor_bound-5.c 2023-12-29 22:07 61
floor_bound-5.in 2023-12-29 22:07 203
floor_bound-6.c 2023-12-29 22:07 100
floor_bound-6.in 2023-12-29 22:07 256
gc-0.c 2023-12-29 22:07 45
gc-0.in 2023-12-29 22:07 164
ge-0.c 2023-12-29 22:07 188
ge-0.in 2023-12-29 22:07 265
ge-1.c 2023-12-29 22:07 188
ge-1.in 2023-12-29 22:07 265
gist-0.c 2023-12-29 22:07 89
gist-0.in 2023-12-29 22:07 284
gist-1.c 2023-12-29 22:07 89
gist-1.in 2023-12-29 22:07 272
gist-2.c 2023-12-29 22:07 91
gist-2.in 2023-12-29 22:07 270
gist-3.c 2023-12-29 22:07 92
gist-3.in 2023-12-29 22:07 284
gist-4.c 2023-12-29 22:07 89
gist-4.in 2023-12-29 22:07 284
gist-5.c 2023-12-29 22:07 90
gist-5.in 2023-12-29 22:07 286
guard1-0.c 2023-12-29 22:07 38
guard1-0.in 2023-12-29 22:07 175
guard1-1.c 2023-12-29 22:07 38
guard1-1.in 2023-12-29 22:07 175
hpf-0.c 2023-12-29 22:07 169
hpf-0.in 2023-12-29 22:07 360
if_then-0.c 2023-12-29 22:07 332
if_then-0.in 2023-12-29 22:07 422
if_then-1.c 2023-12-29 22:07 162
if_then-1.in 2023-12-29 22:07 348
if_then-2.c 2023-12-29 22:07 228
if_then-2.in 2023-12-29 22:07 348
if_then-3.c 2023-12-29 22:07 265
if_then-3.in 2023-12-29 22:07 349
if_then-4.c 2023-12-29 22:07 187
if_then-4.in 2023-12-29 22:07 357
if_then-5.c 2023-12-29 22:07 187
if_then-5.in 2023-12-29 22:07 357
iter1-0.c 2023-12-29 22:07 45
iter1-0.in 2023-12-29 22:07 123
iter2-0.c 2023-12-29 22:07 92
iter2-0.in 2023-12-29 22:07 174
iter3-0.c 2023-12-29 22:07 93
iter3-0.in 2023-12-29 22:07 163
iter4-0.c 2023-12-29 22:07 98
iter4-0.in 2023-12-29 22:07 181
iter5-0.c 2023-12-29 22:07 107
iter5-0.in 2023-12-29 22:07 196
iter6-0.c 2023-12-29 22:07 90
iter6-0.in 2023-12-29 22:07 172
iter6-1.c 2023-12-29 22:07 70
iter6-1.in 2023-12-29 22:07 194
iter7-0.c 2023-12-29 22:07 65
iter7-0.in 2023-12-29 22:07 184
iter8-0.c 2023-12-29 22:07 118
iter8-0.in 2023-12-29 22:07 489
iter9-0.c 2023-12-29 22:07 232
iter9-0.in 2023-12-29 22:07 1.1K
lefur00-0.c 2023-12-29 22:07 521
lefur00-0.in 2023-12-29 22:07 346
lefur01-0.c 2023-12-29 22:07 521
lefur01-0.in 2023-12-29 22:07 346
lefur01-1.c 2023-12-29 22:07 521
lefur01-1.in 2023-12-29 22:07 346
lefur03-0.c 2023-12-29 22:07 917
lefur03-0.in 2023-12-29 22:07 514
lefur04-0.c 2023-12-29 22:07 1.2K
lefur04-0.in 2023-12-29 22:07 652
lift1-0.c 2023-12-29 22:07 311
lift1-0.in 2023-12-29 22:07 539
lift1-1.c 2023-12-29 22:07 437
lift1-1.in 2023-12-29 22:07 539
lift1-2.c 2023-12-29 22:07 476
lift1-2.in 2023-12-29 22:07 539
lift1-3.c 2023-12-29 22:07 513
lift1-3.in 2023-12-29 22:07 539
lift1-4.c 2023-12-29 22:07 548
lift1-4.in 2023-12-29 22:07 539
lift1-5.c 2023-12-29 22:07 524
lift1-5.in 2023-12-29 22:07 540
lift2-0.c 2023-12-29 22:07 322
lift2-0.in 2023-12-29 22:07 539
lift2-1.c 2023-12-29 22:07 550
lift2-1.in 2023-12-29 22:07 539
lift2-2.c 2023-12-29 22:07 632
lift2-2.in 2023-12-29 22:07 539
lift2-3.c 2023-12-29 22:07 710
lift2-3.in 2023-12-29 22:07 539
lift2-4.c 2023-12-29 22:07 784
lift2-4.in 2023-12-29 22:07 539
lift2-5.c 2023-12-29 22:07 761
lift2-5.in 2023-12-29 22:07 540
lu-0.c 2023-12-29 22:07 416
lu-0.in 2023-12-29 22:07 561
lu-1.c 2023-12-29 22:07 416
lu-1.in 2023-12-29 22:07 561
lu-2.c 2023-12-29 22:07 416
lu-2.in 2023-12-29 22:07 561
lu-3.c 2023-12-29 22:07 597
lu-3.in 2023-12-29 22:07 561
lu_ijk-0.c 2023-12-29 22:07 188
lu_ijk-0.in 2023-12-29 22:07 265
lu_ijk-1.c 2023-12-29 22:07 188
lu_ijk-1.in 2023-12-29 22:07 265
lu_ijk-2.c 2023-12-29 22:07 295
lu_ijk-2.in 2023-12-29 22:07 265
lu_spmd-0.c 2023-12-29 22:07 354
lu_spmd-0.in 2023-12-29 22:07 648
lu_spmd-1.c 2023-12-29 22:07 354
lu_spmd-1.in 2023-12-29 22:07 648
m1-0.c 2023-12-29 22:07 128
m1-0.in 2023-12-29 22:07 200
m1-1.c 2023-12-29 22:07 290
m1-1.in 2023-12-29 22:07 200
m2-0.c 2023-12-29 22:07 226
m2-0.in 2023-12-29 22:07 256
m2-1.c 2023-12-29 22:07 215
m2-1.in 2023-12-29 22:07 257
m3-0.c 2023-12-29 22:07 119
m3-0.in 2023-12-29 22:07 186
m4-0.c 2023-12-29 22:07 110
m4-0.in 2023-12-29 22:07 222
m4-1.c 2023-12-29 22:07 110
m4-1.in 2023-12-29 22:07 222
m7-0.c 2023-12-29 22:07 133
m7-0.in 2023-12-29 22:07 257
m7-1.c 2023-12-29 22:07 221
m7-1.in 2023-12-29 22:07 257
m8-0.c 2023-12-29 22:07 133
m8-0.in 2023-12-29 22:07 292
m8-1.c 2023-12-29 22:07 221
m8-1.in 2023-12-29 22:07 292
m9-0.c 2023-12-29 22:07 110
m9-0.in 2023-12-29 22:07 224
m9-1.c 2023-12-29 22:07 110
m9-1.in 2023-12-29 22:07 224
m10-0.c 2023-12-29 22:07 157
m10-0.in 2023-12-29 22:07 224
m10-1.c 2023-12-29 22:07 353
m10-1.in 2023-12-29 22:07 224
m11-0.c 2023-12-29 22:07 547
m11-0.in 2023-12-29 22:07 565
m12-0.c 2023-12-29 22:07 94
m12-0.in 2023-12-29 22:07 218
m12-1.c 2023-12-29 22:07 489
m12-1.in 2023-12-29 22:07 964
olda-0.c 2023-12-29 22:07 212
olda-0.in 2023-12-29 22:07 324
olda-1.c 2023-12-29 22:07 250
olda-1.in 2023-12-29 22:07 324
p.delft-0.c 2023-12-29 22:07 169
p.delft-0.in 2023-12-29 22:07 360
p.delft2-0.c 2023-12-29 22:07 643
p.delft2-0.in 2023-12-29 22:07 1.3K
p6-0.c 2023-12-29 22:07 139
p6-0.in 2023-12-29 22:07 228
p6-1.c 2023-12-29 22:07 119
p6-1.in 2023-12-29 22:07 186
![[ ]](/icons/hand.right.gif){kind=icon}
README 2023-12-29 22:07 243
stride1-0.c 2023-12-29 22:07 45
stride1-0.in 2023-12-29 22:07 164
stride2-0.c 2023-12-29 22:07 104
stride2-0.in 2023-12-29 22:07 238
stride3-0.c 2023-12-29 22:07 104
stride3-0.in 2023-12-29 22:07 248
stride4-0.c 2023-12-29 22:07 47
stride4-0.in 2023-12-29 22:07 176
stride5-0.c 2023-12-29 22:07 120
stride5-0.in 2023-12-29 22:07 269
stride6-0.c 2023-12-29 22:07 104
stride6-0.in 2023-12-29 22:07 218
stride6-1.c 2023-12-29 22:07 93
stride6-1.in 2023-12-29 22:07 250
stride6-2.c 2023-12-29 22:07 93
stride6-2.in 2023-12-29 22:07 250
stride7-0.c 2023-12-29 22:07 343
stride7-0.in 2023-12-29 22:07 223
stride7-1.c 2023-12-29 22:07 313
stride7-1.in 2023-12-29 22:07 224
substitution-0.c 2023-12-29 22:07 140
substitution-0.in 2023-12-29 22:07 155
substitution-1.c 2023-12-29 22:07 183
substitution-1.in 2023-12-29 22:07 156
substitution-2.c 2023-12-29 22:07 55
substitution-2.in 2023-12-29 22:07 134
substitution-3.c 2023-12-29 22:07 12
substitution-3.in 2023-12-29 22:07 115
substitution-4.c 2023-12-29 22:07 11
substitution-4.in 2023-12-29 22:07 189
syr2k-0.c 2023-12-29 22:07 233
syr2k-0.in 2023-12-29 22:07 243
syr2k-1.c 2023-12-29 22:07 207
syr2k-1.in 2023-12-29 22:07 270
syr2k-2.c 2023-12-29 22:07 233
syr2k-2.in 2023-12-29 22:07 243
syr2k-3.c 2023-12-29 22:07 207
syr2k-3.in 2023-12-29 22:07 270
ts1d-check-sblock-0.c 2023-12-29 22:07 499
ts1d-check-sblock-0.in 2023-12-29 22:07 456
ts1d-check0-0.c 2023-12-29 22:07 584
ts1d-check0-0.in 2023-12-29 22:07 631
ts1d-mp-i_ts-m_b-0.c 2023-12-29 22:07 2.7K
ts1d-mp-i_ts-m_b-0.in 2023-12-29 22:07 1.6K
ts1d-orig0-0.c 2023-12-29 22:07 220
ts1d-orig0-0.in 2023-12-29 22:07 455
wak1-0.c 2023-12-29 22:07 676
wak1-0.in 2023-12-29 22:07 207
wak1-1.c 2023-12-29 22:07 1.6K
wak1-1.in 2023-12-29 22:07 207
wak2-0.c 2023-12-29 22:07 814
wak2-0.in 2023-12-29 22:07 248
wak2-1.c 2023-12-29 22:07 1.1K
wak2-1.in 2023-12-29 22:07 248
wak3-0.c 2023-12-29 22:07 151
wak3-0.in 2023-12-29 22:07 235
wak3-1.c 2023-12-29 22:07 437
wak3-1.in 2023-12-29 22:07 236
wak4-0.c 2023-12-29 22:07 133
wak4-0.in 2023-12-29 22:07 442
wak4-1.c 2023-12-29 22:07 133
wak4-1.in 2023-12-29 22:07 443
x-0.c 2023-12-29 22:07 541
x-0.in 2023-12-29 22:07 239
x-1.c 2023-12-29 22:07 541
x-1.in 2023-12-29 22:07 239