Index of /src/bitwuzla-sys-0.5.1/bitwuzla/test/regress/solver/array/


../
3vl1.btor.smt2                                     24-Jul-2006 01:21                 327
3vl1.btor2                                         24-Jul-2006 01:21                 265
arraycond1.btor.smt2                               24-Jul-2006 01:21                 403
arraycond1.btor2                                   24-Jul-2006 01:21                 297
arraycond10.btor.smt2                              24-Jul-2006 01:21                 451
arraycond10.btor2                                  24-Jul-2006 01:21                 196
arraycond11.btor.smt2                              24-Jul-2006 01:21                 452
arraycond11.btor2                                  24-Jul-2006 01:21                 258
arraycond12.btor.smt2                              24-Jul-2006 01:21                1157
arraycond12.btor2                                  24-Jul-2006 01:21                 443
arraycond13.btor.smt2                              24-Jul-2006 01:21                 405
arraycond13.btor2                                  24-Jul-2006 01:21                 228
arraycond14.btor.smt2                              24-Jul-2006 01:21                 549
arraycond14.btor2                                  24-Jul-2006 01:21                 298
arraycond15.btor.smt2                              24-Jul-2006 01:21                 246
arraycond15.btor2                                  24-Jul-2006 01:21                 119
arraycond16.btor.smt2                              24-Jul-2006 01:21                 356
arraycond16.btor2                                  24-Jul-2006 01:21                 192
arraycond17.btor.smt2                              24-Jul-2006 01:21                 414
arraycond17.btor2                                  24-Jul-2006 01:21                 261
arraycond18.btor.smt2                              24-Jul-2006 01:21                 910
arraycond18.btor2                                  24-Jul-2006 01:21                 530
arraycond2.btor.smt2                               24-Jul-2006 01:21                 403
arraycond2.btor2                                   24-Jul-2006 01:21                 297
arraycond3.btor.smt2                               24-Jul-2006 01:21                 549
arraycond3.btor2                                   24-Jul-2006 01:21                 360
arraycond4.btor.smt2                               24-Jul-2006 01:21                 477
arraycond4.btor2                                   24-Jul-2006 01:21                 321
arraycond5.btor.smt2                               24-Jul-2006 01:21                 943
arraycond5.btor2                                   24-Jul-2006 01:21                 574
arraycond6.btor.smt2                               24-Jul-2006 01:21                 943
arraycond6.btor2                                   24-Jul-2006 01:21                 574
arraycond7.btor.smt2                               24-Jul-2006 01:21                 943
arraycond7.btor2                                   24-Jul-2006 01:21                 574
arraycond8.btor.smt2                               24-Jul-2006 01:21                 943
arraycond8.btor2                                   24-Jul-2006 01:21                 574
arraycond9.btor.smt2                               24-Jul-2006 01:21                 325
arraycond9.btor2                                   24-Jul-2006 01:21                 165
arraycondconst.btor.smt2                           24-Jul-2006 01:21                 268
arraycondconst.btor2                               24-Jul-2006 01:21                 208
arraycondconstaig.btor.smt2                        24-Jul-2006 01:21                 404
arraycondconstaig.btor2                            24-Jul-2006 01:21                 244
binarysearch32s016.smt2                            24-Jul-2006 01:21                6044
bubsort002un.smt2                                  24-Jul-2006 01:21                1311
computeparents.smt2                                24-Jul-2006 01:21                 288
constarray.smt2                                    24-Jul-2006 01:21                 242
dubreva002ue.smt2                                  24-Jul-2006 01:21                1783
duplicatelemma1.smt2                               24-Jul-2006 01:21                 373
duplicatelemma2.smt2                               24-Jul-2006 01:21                 259
duplicatelemma3.smt2                               24-Jul-2006 01:21                 501
eagerreadbug.btor.smt2                             24-Jul-2006 01:21                 241
eagerreadbug.btor2                                 24-Jul-2006 01:21                 162
ext1.btor.smt2                                     24-Jul-2006 01:21                 203
ext1.btor2                                         24-Jul-2006 01:21                  91
ext10.btor.smt2                                    24-Jul-2006 01:21                 159
ext10.btor2                                        24-Jul-2006 01:21                  92
ext11.btor.smt2                                    24-Jul-2006 01:21                 195
ext11.btor2                                        24-Jul-2006 01:21                 132
ext12.btor.smt2                                    24-Jul-2006 01:21                 869
ext12.btor2                                        24-Jul-2006 01:21                 444
ext13.btor.smt2                                    24-Jul-2006 01:21                 542
ext13.btor2                                        24-Jul-2006 01:21                 329
ext14.btor.smt2                                    24-Jul-2006 01:21                 264
ext14.btor2                                        24-Jul-2006 01:21                 190
ext15.btor.smt2                                    24-Jul-2006 01:21                 417
ext15.btor2                                        24-Jul-2006 01:21                 202
ext16.btor.smt2                                    24-Jul-2006 01:21                 336
ext16.btor2                                        24-Jul-2006 01:21                 229
ext17.btor.smt2                                    24-Jul-2006 01:21                 306
ext17.btor2                                        24-Jul-2006 01:21                 231
ext18.btor.smt2                                    24-Jul-2006 01:21                 465
ext18.btor2                                        24-Jul-2006 01:21                 274
ext19.btor.smt2                                    24-Jul-2006 01:21                 505
ext19.btor2                                        24-Jul-2006 01:21                 306
ext2.btor.smt2                                     24-Jul-2006 01:21                 301
ext2.btor2                                         24-Jul-2006 01:21                 160
ext20.btor.smt2                                    24-Jul-2006 01:21                 427
ext20.btor2                                        24-Jul-2006 01:21                 241
ext21.btor.smt2                                    24-Jul-2006 01:21                 383
ext21.btor2                                        24-Jul-2006 01:21                 218
ext22.btor.smt2                                    24-Jul-2006 01:21                 281
ext22.btor2                                        24-Jul-2006 01:21                 163
ext23.btor.smt2                                    24-Jul-2006 01:21                 382
ext23.btor2                                        24-Jul-2006 01:21                 269
ext24.btor.smt2                                    24-Jul-2006 01:21                 437
ext24.btor2                                        24-Jul-2006 01:21                 242
ext25.btor.smt2                                    24-Jul-2006 01:21                 477
ext25.btor2                                        24-Jul-2006 01:21                 263
ext26.btor.smt2                                    24-Jul-2006 01:21                 380
ext26.btor2                                        24-Jul-2006 01:21                 221
ext27.btor.smt2                                    24-Jul-2006 01:21                 502
ext27.btor2                                        24-Jul-2006 01:21                 374
ext28.btor.smt2                                    24-Jul-2006 01:21                 537
ext28.btor2                                        24-Jul-2006 01:21                 324
ext29.btor.smt2                                    24-Jul-2006 01:21                 330
ext29.btor2                                        24-Jul-2006 01:21                 192
ext3.btor.smt2                                     24-Jul-2006 01:21                 336
ext3.btor2                                         24-Jul-2006 01:21                 185
ext4.btor.smt2                                     24-Jul-2006 01:21                 445
ext4.btor2                                         24-Jul-2006 01:21                 268
ext5.btor.smt2                                     24-Jul-2006 01:21                 339
ext5.btor2                                         24-Jul-2006 01:21                 226
ext6.btor.smt2                                     24-Jul-2006 01:21                 304
ext6.btor2                                         24-Jul-2006 01:21                 165
ext7.btor.smt2                                     24-Jul-2006 01:21                 338
ext7.btor2                                         24-Jul-2006 01:21                 179
ext8.btor.smt2                                     24-Jul-2006 01:21                 357
ext8.btor2                                         24-Jul-2006 01:21                 182
ext9.btor.smt2                                     24-Jul-2006 01:21                 471
ext9.btor2                                         24-Jul-2006 01:21                 306
extarraywrite1.btor.smt2                           24-Jul-2006 01:21                 315
extarraywrite1.btor2                               24-Jul-2006 01:21                 202
extarraywrite2.btor.smt2                           24-Jul-2006 01:21                 337
extarraywrite2.btor2                               24-Jul-2006 01:21                 202
extarraywrite3.smt2                                24-Jul-2006 01:21                 443
extarraywrite3sat.smt2                             24-Jul-2006 01:21                 418
fifo32bc04k05.smt2                                 24-Jul-2006 01:21               22396
fifo32ia04k05.smt2                                 24-Jul-2006 01:21               26015
fifo32in04k05.smt2                                 24-Jul-2006 01:21               21881
headline10.btor.smt2                               24-Jul-2006 01:21                 374
headline10.btor2                                   24-Jul-2006 01:21                 231
headline10.expect                                  24-Jul-2006 01:21                   4
headline11.btor.smt2                               24-Jul-2006 01:21                 523
headline11.btor2                                   24-Jul-2006 01:21                 338
headline11.expect                                  24-Jul-2006 01:21                   4
headline12.btor.smt2                               24-Jul-2006 01:21                 357
headline12.btor2                                   24-Jul-2006 01:21                 263
headline12.expect                                  24-Jul-2006 01:21                   4
headline13.expect                                  24-Jul-2006 01:21                   6
headline13.smt2                                    24-Jul-2006 01:21               38615
headline14.btor.smt2                               24-Jul-2006 01:21                1533
headline14.btor2                                   24-Jul-2006 01:21                 885
headline14.expect                                  24-Jul-2006 01:21                   4
headline9.btor.smt2                                24-Jul-2006 01:21                 214
headline9.btor2                                    24-Jul-2006 01:21                 126
headline9.expect                                   24-Jul-2006 01:21                   4
invalidmodel1.smt2                                 24-Jul-2006 01:21                 383
invalidmodel2.smt2                                 24-Jul-2006 01:21                1564
invalidmodel3.btor.smt2                            24-Jul-2006 01:21                 576
invalidmodel3.btor2                                24-Jul-2006 01:21                 484
issue32.smt2                                       24-Jul-2006 01:21                1939
issue35.smt2                                       24-Jul-2006 01:21                 221
lazyreadwritebug1.btor.smt2                        24-Jul-2006 01:21                 217
lazyreadwritebug1.btor2                            24-Jul-2006 01:21                 172
lazywritememleak1.btor.smt2                        24-Jul-2006 01:21                7362
lazywritememleak1.btor2                            24-Jul-2006 01:21                3005
memclear_bw32p3.btor.smt2                          24-Jul-2006 01:21                 543
memclear_bw32p3.btor2                              24-Jul-2006 01:21                 398
memcpy02.smt2                                      24-Jul-2006 01:21                1155
modelgen10.btor.smt2                               24-Jul-2006 01:21                 398
modelgen10.btor2                                   24-Jul-2006 01:21                 240
modelgen11.btor.smt2                               24-Jul-2006 01:21                 203
modelgen11.btor2                                   24-Jul-2006 01:21                 123
modelgen15.btor.smt2                               24-Jul-2006 01:21                 429
modelgen15.btor2                                   24-Jul-2006 01:21                 244
modelgen17.btor.smt2                               24-Jul-2006 01:21                 454
modelgen17.btor2                                   24-Jul-2006 01:21                 402
modelgen22.btor.smt2                               24-Jul-2006 01:21                 289
modelgen22.btor2                                   24-Jul-2006 01:21                 213
modelgen23.btor.smt2                               24-Jul-2006 01:21                 378
modelgen23.btor2                                   24-Jul-2006 01:21                 210
modelgen24.btor.smt2                               24-Jul-2006 01:21                 349
modelgen24.btor2                                   24-Jul-2006 01:21                 190
modelgen25.btor.smt2                               24-Jul-2006 01:21                 386
modelgen25.btor2                                   24-Jul-2006 01:21                 188
modelgen5.btor.smt2                                24-Jul-2006 01:21                 177
modelgen5.btor2                                    24-Jul-2006 01:21                 119
modelgen6.btor.smt2                                24-Jul-2006 01:21                 253
modelgen6.btor2                                    24-Jul-2006 01:21                 221
modelgen7.btor.smt2                                24-Jul-2006 01:21                 331
modelgen7.btor2                                    24-Jul-2006 01:21                 179
modelgen8.btor.smt2                                24-Jul-2006 01:21                 300
modelgen8.btor2                                    24-Jul-2006 01:21                 193
modelgensmt210.smt2                                24-Jul-2006 01:21                 368
modelgensmt215.smt2                                24-Jul-2006 01:21                 378
modelgensmt25.smt2                                 24-Jul-2006 01:21                 297
modelgensmt26.smt2                                 24-Jul-2006 01:21                 508
modelgensmt27.smt2                                 24-Jul-2006 01:21                 305
modelgensmt28.smt2                                 24-Jul-2006 01:21                 265
random1.btor.smt2                                  24-Jul-2006 01:21                 587
random1.btor2                                      24-Jul-2006 01:21                 402
random2.btor.smt2                                  24-Jul-2006 01:21                 613
random2.btor2                                      24-Jul-2006 01:21                 412
random3.btor.smt2                                  24-Jul-2006 01:21             1084746
random3.btor2                                      24-Jul-2006 01:21               12641
random4.btor2                                      24-Jul-2006 01:21               14794
random5.btor2                                      24-Jul-2006 01:21               14338
read1.btor.smt2                                    24-Jul-2006 01:21                 469
read1.btor2                                        24-Jul-2006 01:21                 320
read10.btor.smt2                                   24-Jul-2006 01:21                 307
read10.btor2                                       24-Jul-2006 01:21                 191
read11.btor.smt2                                   24-Jul-2006 01:21                 307
read11.btor2                                       24-Jul-2006 01:21                 191
read12.btor.smt2                                   24-Jul-2006 01:21                 300
read12.btor2                                       24-Jul-2006 01:21                 176
read13.btor.smt2                                   24-Jul-2006 01:21                 219
read13.btor2                                       24-Jul-2006 01:21                 165
read14.btor.smt2                                   24-Jul-2006 01:21                 219
read14.btor2                                       24-Jul-2006 01:21                 165
read15.btor.smt2                                   24-Jul-2006 01:21                 195
read15.btor2                                       24-Jul-2006 01:21                 135
read16.btor.smt2                                   24-Jul-2006 01:21                 909
read16.btor2                                       24-Jul-2006 01:21                 532
read17.btor.smt2                                   24-Jul-2006 01:21                 410
read17.btor2                                       24-Jul-2006 01:21                 231
read18.btor.smt2                                   24-Jul-2006 01:21                 400
read18.btor2                                       24-Jul-2006 01:21                 230
read19.btor.smt2                                   24-Jul-2006 01:21                 286
read19.btor2                                       24-Jul-2006 01:21                 178
read2.btor.smt2                                    24-Jul-2006 01:21                 469
read2.btor2                                        24-Jul-2006 01:21                 348
read20.btor.smt2                                   24-Jul-2006 01:21                 302
read20.btor2                                       24-Jul-2006 01:21                 180
read21.btor.smt2                                   24-Jul-2006 01:21                 302
read21.btor2                                       24-Jul-2006 01:21                 180
read22.btor.smt2                                   24-Jul-2006 01:21                 302
read22.btor2                                       24-Jul-2006 01:21                 180
read3.btor.smt2                                    24-Jul-2006 01:21                 319
read3.btor2                                        24-Jul-2006 01:21                 252
read4.btor.smt2                                    24-Jul-2006 01:21                 715
read4.btor2                                        24-Jul-2006 01:21                 456
read5.btor.smt2                                    24-Jul-2006 01:21                 423
read5.btor2                                        24-Jul-2006 01:21                 341
read6.btor.smt2                                    24-Jul-2006 01:21                 359
read6.btor2                                        24-Jul-2006 01:21                 300
read7.btor.smt2                                    24-Jul-2006 01:21                 302
read7.btor2                                        24-Jul-2006 01:21                 180
read8.btor.smt2                                    24-Jul-2006 01:21                 582
read8.btor2                                        24-Jul-2006 01:21                 437
read9.btor.smt2                                    24-Jul-2006 01:21                 915
read9.btor2                                        24-Jul-2006 01:21                 700
regprim11simp.btor.smt2                            24-Jul-2006 01:21                 344
regprim11simp.btor2                                24-Jul-2006 01:21                 193
regrarray1.smt2                                    24-Jul-2006 01:21                 275
regrarray10.smt2                                   24-Jul-2006 01:21                 222
regrarray11.smt2                                   24-Jul-2006 01:21                 178
regrarray2.smt2                                    24-Jul-2006 01:21                 264
regrarray3.smt2                                    24-Jul-2006 01:21                 276
regrarray4.smt2                                    24-Jul-2006 01:21                 420
regrarray5.smt2                                    24-Jul-2006 01:21                 384
regrarray6.smt2                                    24-Jul-2006 01:21                 387
regrarray7.smt2                                    24-Jul-2006 01:21                 138
regrarray8.smt2                                    24-Jul-2006 01:21                 179
regrarray9.smt2                                    24-Jul-2006 01:21                 235
regrbetacache1.btor.smt2                           24-Jul-2006 01:21              857611
regrbetacache1.btor2                               24-Jul-2006 01:21                 885
regrexpleak2.btor2                                 24-Jul-2006 01:21                8721
regrmark2.btor2                                    24-Jul-2006 01:21                5996
regrmark3.btor2                                    24-Jul-2006 01:21                5964
sc2011rules-qf-abv-ex.smt2                         24-Jul-2006 01:21                 565
selsort002un.smt2                                  24-Jul-2006 01:21                1296
simple0-from-carsten.smt2                          24-Jul-2006 01:21                3648
smtarraycond1.smt2                                 24-Jul-2006 01:21                 300
smtarraycond2.smt2                                 24-Jul-2006 01:21                 335
smtarraycond3.smt2                                 24-Jul-2006 01:21                 390
smtaxiommccarthy.smt2                              24-Jul-2006 01:21                 284
smtextarray1sat0.smt2                              24-Jul-2006 01:21                 241
smtextarray1sat1.smt2                              24-Jul-2006 01:21                 241
smtextarray2sat0.smt2                              24-Jul-2006 01:21                 351
smtextarray2sat1.smt2                              24-Jul-2006 01:21                 351
smtextarray2sat2.smt2                              24-Jul-2006 01:21                 351
smtextarray2sat3.smt2                              24-Jul-2006 01:21                 351
smtextarray3sat0.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat1.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat2.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat3.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat4.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat5.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat6.smt2                              24-Jul-2006 01:21                 571
smtextarray3sat7.smt2                              24-Jul-2006 01:21                 571
smtextarrayaxiom1.smt2                             24-Jul-2006 01:21                 298
smtextarrayaxiom1uf.smt2                           24-Jul-2006 01:21                 259
smtextarrayaxiom2.smt2                             24-Jul-2006 01:21                 408
smtextarrayaxiom2uf.smt2                           24-Jul-2006 01:21                 259
smtextarrayaxiom3.smt2                             24-Jul-2006 01:21                 628
smtextarrayaxiom3uf.smt2                           24-Jul-2006 01:21                 259
smtextarrayaxiom4.smt2                             24-Jul-2006 01:21                1080
smtextarrayaxiom4uf.smt2                           24-Jul-2006 01:21                 259
smtsub0.smt2                                       24-Jul-2006 01:21                 374
swapmem002se.smt2                                  24-Jul-2006 01:21                2580
swapmem002ue.smt2                                  24-Jul-2006 01:21                3060
upprop1.btor.smt2                                  24-Jul-2006 01:21                 442
upprop1.btor2                                      24-Jul-2006 01:21                 285
varread.btor2                                      24-Jul-2006 01:21                  60
verbose2.btor.smt2                                 24-Jul-2006 01:21                 515
verbose2.btor2                                     24-Jul-2006 01:21                 348
wchains002se.smt2                                  24-Jul-2006 01:21                1459
wchains002ue.smt2                                  24-Jul-2006 01:21                1599
write1.btor.smt2                                   24-Jul-2006 01:21                 249
write1.btor2                                       24-Jul-2006 01:21                 137
write10.btor.smt2                                  24-Jul-2006 01:21                 515
write10.btor2                                      24-Jul-2006 01:21                 348
write11.btor.smt2                                  24-Jul-2006 01:21                 172
write11.btor2                                      24-Jul-2006 01:21                  93
write12.btor.smt2                                  24-Jul-2006 01:21                 472
write12.btor2                                      24-Jul-2006 01:21                 330
write13.btor.smt2                                  24-Jul-2006 01:21                 307
write13.btor2                                      24-Jul-2006 01:21                 250
write14.btor.smt2                                  24-Jul-2006 01:21                 215
write14.btor2                                      24-Jul-2006 01:21                 168
write15.btor.smt2                                  24-Jul-2006 01:21                1135
write15.btor2                                      24-Jul-2006 01:21                 735
write16.btor.smt2                                  24-Jul-2006 01:21                1221
write16.btor2                                      24-Jul-2006 01:21                 794
write17.btor.smt2                                  24-Jul-2006 01:21                1181
write17.btor2                                      24-Jul-2006 01:21                 764
write18.btor.smt2                                  24-Jul-2006 01:21                 215
write18.btor2                                      24-Jul-2006 01:21                 166
write19.btor.smt2                                  24-Jul-2006 01:21                 215
write19.btor2                                      24-Jul-2006 01:21                 166
write2.btor.smt2                                   24-Jul-2006 01:21                 567
write2.btor2                                       24-Jul-2006 01:21                 335
write20.btor.smt2                                  24-Jul-2006 01:21                 480
write20.btor2                                      24-Jul-2006 01:21                 301
write21.btor.smt2                                  24-Jul-2006 01:21                 335
write21.btor2                                      24-Jul-2006 01:21                 222
write22.btor.smt2                                  24-Jul-2006 01:21                 396
write22.btor2                                      24-Jul-2006 01:21                 266
write23.btor.smt2                                  24-Jul-2006 01:21                 490
write23.btor2                                      24-Jul-2006 01:21                 323
write24.btor.smt2                                  24-Jul-2006 01:21                 302
write24.btor2                                      24-Jul-2006 01:21                 194
write3.btor.smt2                                   24-Jul-2006 01:21                 555
write3.btor2                                       24-Jul-2006 01:21                 347
write4.btor.smt2                                   24-Jul-2006 01:21                1615
write4.btor2                                       24-Jul-2006 01:21                 823
write5.btor.smt2                                   24-Jul-2006 01:21                 457
write5.btor2                                       24-Jul-2006 01:21                 275
write5red.btor.smt2                                24-Jul-2006 01:21                 200
write5red.btor2                                    24-Jul-2006 01:21                 118
write6.btor.smt2                                   24-Jul-2006 01:21                 371
write6.btor2                                       24-Jul-2006 01:21                 214
write7.btor.smt2                                   24-Jul-2006 01:21                 547
write7.btor2                                       24-Jul-2006 01:21                 309
write8.btor.smt2                                   24-Jul-2006 01:21                 313
write8.btor2                                       24-Jul-2006 01:21                 181
write9.btor.smt2                                   24-Jul-2006 01:21                 431
write9.btor2                                       24-Jul-2006 01:21                 263