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


../
prop/                                              11-Jul-2024 03:59                   -
add.btor.smt2                                      24-Jul-2006 01:21                 164
add.btor2                                          24-Jul-2006 01:21                  76
addnegmul1.btor.smt2                               24-Jul-2006 01:21                 282
addnegmul1.btor2                                   24-Jul-2006 01:21                 197
andopt1.btor.smt2                                  24-Jul-2006 01:21                 200
andopt1.btor2                                      24-Jul-2006 01:21                 115
andopt10.btor.smt2                                 24-Jul-2006 01:21                 270
andopt10.btor2                                     24-Jul-2006 01:21                 160
andopt11.btor.smt2                                 24-Jul-2006 01:21                 270
andopt11.btor2                                     24-Jul-2006 01:21                 160
andopt12.btor.smt2                                 24-Jul-2006 01:21                 267
andopt12.btor2                                     24-Jul-2006 01:21                 161
andopt13.btor.smt2                                 24-Jul-2006 01:21                 270
andopt13.btor2                                     24-Jul-2006 01:21                 160
andopt14.btor.smt2                                 24-Jul-2006 01:21                 216
andopt14.btor2                                     24-Jul-2006 01:21                 129
andopt15.btor.smt2                                 24-Jul-2006 01:21                 204
andopt15.btor2                                     24-Jul-2006 01:21                 125
andopt16.btor.smt2                                 24-Jul-2006 01:21                 200
andopt16.btor2                                     24-Jul-2006 01:21                 115
andopt17.btor.smt2                                 24-Jul-2006 01:21                 216
andopt17.btor2                                     24-Jul-2006 01:21                 129
andopt2.btor.smt2                                  24-Jul-2006 01:21                 184
andopt2.btor2                                      24-Jul-2006 01:21                 142
andopt3.btor.smt2                                  24-Jul-2006 01:21                 240
andopt3.btor2                                      24-Jul-2006 01:21                 142
andopt4.btor.smt2                                  24-Jul-2006 01:21                 232
andopt4.btor2                                      24-Jul-2006 01:21                 131
andopt5.btor.smt2                                  24-Jul-2006 01:21                 232
andopt5.btor2                                      24-Jul-2006 01:21                 131
andopt6.btor.smt2                                  24-Jul-2006 01:21                 248
andopt6.btor2                                      24-Jul-2006 01:21                 155
andopt7.btor.smt2                                  24-Jul-2006 01:21                 254
andopt7.btor2                                      24-Jul-2006 01:21                 158
andopt8.btor.smt2                                  24-Jul-2006 01:21                 254
andopt8.btor2                                      24-Jul-2006 01:21                 158
andopt9.btor.smt2                                  24-Jul-2006 01:21                 253
andopt9.btor2                                      24-Jul-2006 01:21                 126
blabs.smt2                                         24-Jul-2006 01:21                 316
bm2.smt2                                           24-Jul-2006 01:21                 483
bm3.smt2                                           24-Jul-2006 01:21                 699
bmc0k4.smt2                                        24-Jul-2006 01:21                1739
calprob14sat5ksimp.btor.smt2                       24-Jul-2006 01:21                 719
calprob14sat5ksimp.btor2                           24-Jul-2006 01:21                 490
concatslice1.btor.smt2                             24-Jul-2006 01:21                 175
concatslice1.btor2                                 24-Jul-2006 01:21                 138
concatslice1.expect                                24-Jul-2006 01:21                  21
concatslice2.btor.smt2                             24-Jul-2006 01:21                 193
concatslice2.btor2                                 24-Jul-2006 01:21                 140
concatslice2.expect                                24-Jul-2006 01:21                  20
const1.btor.smt2                                   24-Jul-2006 01:21                  53
const1.btor2                                       24-Jul-2006 01:21                   1
const2.btor.smt2                                   24-Jul-2006 01:21                 136
const2.btor2                                       24-Jul-2006 01:21                  59
count02inc.smt2                                    24-Jul-2006 01:21                 872
count02incuns.smt2                                 24-Jul-2006 01:21                 675
count03inc.smt2                                    24-Jul-2006 01:21                2153
count03plus2inc.smt2                               24-Jul-2006 01:21                2600
count03to6.smt2                                    24-Jul-2006 01:21                1888
countbits016.smt2                                  24-Jul-2006 01:21             3738281
csa3w16.smt2                                       24-Jul-2006 01:21                 689
csa3w32.smt2                                       24-Jul-2006 01:21                 689
csa3w4.smt2                                        24-Jul-2006 01:21                 678
csa3w8.smt2                                        24-Jul-2006 01:21                 678
csa4w4.smt2                                        24-Jul-2006 01:21                 954
csa4w8.smt2                                        24-Jul-2006 01:21                 954
davidcokchallenge.smt2                             24-Jul-2006 01:21                 599
dec_rwl0.btor.smt2                                 24-Jul-2006 01:21                 172
dec_rwl0.btor2                                     24-Jul-2006 01:21                 105
dec_rwl3.btor.smt2                                 24-Jul-2006 01:21                 172
dec_rwl3.btor2                                     24-Jul-2006 01:21                 105
distri1.btor.smt2                                  24-Jul-2006 01:21                 260
distri1.btor2                                      24-Jul-2006 01:21                 174
distri2.btor.smt2                                  24-Jul-2006 01:21                 260
distri2.btor2                                      24-Jul-2006 01:21                 174
distri3.btor.smt2                                  24-Jul-2006 01:21                 260
distri3.btor2                                      24-Jul-2006 01:21                 174
distri4.btor.smt2                                  24-Jul-2006 01:21                 260
distri4.btor2                                      24-Jul-2006 01:21                 174
distri5.btor.smt2                                  24-Jul-2006 01:21                 260
distri5.btor2                                      24-Jul-2006 01:21                 174
distri6.btor.smt2                                  24-Jul-2006 01:21                 260
distri6.btor2                                      24-Jul-2006 01:21                 174
distri7.btor.smt2                                  24-Jul-2006 01:21                 260
distri7.btor2                                      24-Jul-2006 01:21                 174
distri8.btor.smt2                                  24-Jul-2006 01:21                 260
distri8.btor2                                      24-Jul-2006 01:21                 174
div.btor.smt2                                      24-Jul-2006 01:21                 165
div.btor2                                          24-Jul-2006 01:21                  77
divrem.btor.smt2                                   24-Jul-2006 01:21                 211
divrem.btor2                                       24-Jul-2006 01:21                 105
exactlyone.btor.smt2                               24-Jul-2006 01:21                 288
exactlyone.btor2                                   24-Jul-2006 01:21                 203
exit.smt2                                          24-Jul-2006 01:21                  51
factor18446744073709551617.btor.smt2               24-Jul-2006 01:21                 320
factor18446744073709551617.btor2                   24-Jul-2006 01:21                 241
factor18446744073709551617const.btor.smt2          24-Jul-2006 01:21                 166
factor18446744073709551617const.btor2              24-Jul-2006 01:21                 147
factor18446744073709551617reduced.btor.smt2        24-Jul-2006 01:21                 240
factor18446744073709551617reduced.btor2            24-Jul-2006 01:21                 202
factor18446744073709551617xconst.btor.smt2         24-Jul-2006 01:21                 178
factor18446744073709551617xconst.btor2             24-Jul-2006 01:21                 137
factor18446744073709551617yconst.btor.smt2         24-Jul-2006 01:21                 186
factor18446744073709551617yconst.btor2             24-Jul-2006 01:21                 145
factor2209.btor.smt2                               24-Jul-2006 01:21                 220
factor2209.btor2                                   24-Jul-2006 01:21                 164
factor4294967295.btor.smt2                         24-Jul-2006 01:21                 230
factor4294967295.btor2                             24-Jul-2006 01:21                 173
factor4294967297.btor.smt2                         24-Jul-2006 01:21                 230
factor4294967297.btor2                             24-Jul-2006 01:21                 192
factoroutadd.btor.smt2                             24-Jul-2006 01:21                 282
factoroutadd.btor2                                 24-Jul-2006 01:21                 180
factoroutinvadd.btor.smt2                          24-Jul-2006 01:21                 290
factoroutinvadd.btor2                              24-Jul-2006 01:21                 181
false.smt2                                         24-Jul-2006 01:21                  52
gtewithsub.btor2                                   24-Jul-2006 01:21                 204
hd1.btor.smt2                                      24-Jul-2006 01:21                 457
hd1.btor2                                          24-Jul-2006 01:21                 265
hd10.btor.smt2                                     24-Jul-2006 01:21                 268
hd10.btor2                                         24-Jul-2006 01:21                 217
hd11.btor.smt2                                     24-Jul-2006 01:21                1186
hd11.btor2                                         24-Jul-2006 01:21                 690
hd12.btor.smt2                                     24-Jul-2006 01:21                 783
hd12.btor2                                         24-Jul-2006 01:21                 415
hd13.btor.smt2                                     24-Jul-2006 01:21                1005
hd13.btor2                                         24-Jul-2006 01:21                 493
hd14.btor.smt2                                     24-Jul-2006 01:21                 677
hd14.btor2                                         24-Jul-2006 01:21                 439
hd15.btor.smt2                                     24-Jul-2006 01:21                 365
hd15.btor2                                         24-Jul-2006 01:21                 177
hd16.btor.smt2                                     24-Jul-2006 01:21                 736
hd16.btor2                                         24-Jul-2006 01:21                 515
hd17.btor.smt2                                     24-Jul-2006 01:21                 680
hd17.btor2                                         24-Jul-2006 01:21                 382
hd18.btor.smt2                                     24-Jul-2006 01:21                 567
hd18.btor2                                         24-Jul-2006 01:21                 407
hd19.btor.smt2                                     24-Jul-2006 01:21                 289
hd19.btor2                                         24-Jul-2006 01:21                 265
hd2.btor.smt2                                      24-Jul-2006 01:21                 495
hd2.btor2                                          24-Jul-2006 01:21                 339
hd20.btor.smt2                                     24-Jul-2006 01:21                 287
hd20.btor2                                         24-Jul-2006 01:21                 275
hd21.btor.smt2                                     24-Jul-2006 01:21                 265
hd21.btor2                                         24-Jul-2006 01:21                 210
hd3.btor.smt2                                      24-Jul-2006 01:21                 529
hd3.btor2                                          24-Jul-2006 01:21                 342
hd4.btor.smt2                                      24-Jul-2006 01:21                 529
hd4.btor2                                          24-Jul-2006 01:21                 353
hd5.btor.smt2                                      24-Jul-2006 01:21                 483
hd5.btor2                                          24-Jul-2006 01:21                 316
hd6.btor.smt2                                      24-Jul-2006 01:21                 217
hd6.btor2                                          24-Jul-2006 01:21                 163
hd7.btor.smt2                                      24-Jul-2006 01:21                 240
hd7.btor2                                          24-Jul-2006 01:21                 193
hd8.btor.smt2                                      24-Jul-2006 01:21                 374
hd8.btor2                                          24-Jul-2006 01:21                 290
hd9.btor.smt2                                      24-Jul-2006 01:21                 665
hd9.btor2                                          24-Jul-2006 01:21                 338
headline1.btor.smt2                                24-Jul-2006 01:21                 481
headline1.btor2                                    24-Jul-2006 01:21                 349
headline1.expect                                   24-Jul-2006 01:21                   4
headline15.btor.smt2                               24-Jul-2006 01:21                1244
headline15.btor2                                   24-Jul-2006 01:21                 684
headline15.expect                                  24-Jul-2006 01:21                   4
headline16.btor.smt2                               24-Jul-2006 01:21                1060
headline16.btor2                                   24-Jul-2006 01:21                 598
headline16.expect                                  24-Jul-2006 01:21                   4
headline2.btor.smt2                                24-Jul-2006 01:21                 288
headline2.btor2                                    24-Jul-2006 01:21                 300
headline2.expect                                   24-Jul-2006 01:21                   4
headline3.btor.smt2                                24-Jul-2006 01:21                 288
headline3.btor2                                    24-Jul-2006 01:21                 300
headline3.expect                                   24-Jul-2006 01:21                   4
headline4.btor.smt2                                24-Jul-2006 01:21                 149
headline4.btor2                                    24-Jul-2006 01:21                 183
headline4.expect                                   24-Jul-2006 01:21                   4
headline5.btor.smt2                                24-Jul-2006 01:21                 149
headline5.btor2                                    24-Jul-2006 01:21                 184
headline5.expect                                   24-Jul-2006 01:21                   4
headline6.btor.smt2                                24-Jul-2006 01:21                 388
headline6.btor2                                    24-Jul-2006 01:21                 260
headline6.expect                                   24-Jul-2006 01:21                   4
headline7.btor.smt2                                24-Jul-2006 01:21                 294
headline7.btor2                                    24-Jul-2006 01:21                 301
headline7.expect                                   24-Jul-2006 01:21                   4
headline8.btor.smt2                                24-Jul-2006 01:21                 228
headline8.btor2                                    24-Jul-2006 01:21                 250
headline8.expect                                   24-Jul-2006 01:21                   4
inc.btor.smt2                                      24-Jul-2006 01:21                 172
inc.btor2                                          24-Jul-2006 01:21                 105
inc_rwl0.btor.smt2                                 24-Jul-2006 01:21                 172
inc_rwl0.btor2                                     24-Jul-2006 01:21                 105
inc_rwl3.btor.smt2                                 24-Jul-2006 01:21                 172
inc_rwl3.btor2                                     24-Jul-2006 01:21                 105
kreise.smt2                                        24-Jul-2006 01:21                3635
lazyitex.btor.smt2                                 24-Jul-2006 01:21                 492
lazyitex.btor2                                     24-Jul-2006 01:21                 286
lazyitex0.btor.smt2                                24-Jul-2006 01:21                 194
lazyitex0.btor2                                    24-Jul-2006 01:21                  97
lin0.btor.smt2                                     24-Jul-2006 01:21                 151
lin0.btor2                                         24-Jul-2006 01:21                 107
lin1.btor.smt2                                     24-Jul-2006 01:21                 151
lin1.btor2                                         24-Jul-2006 01:21                 107
lin2.btor.smt2                                     24-Jul-2006 01:21                 151
lin2.btor2                                         24-Jul-2006 01:21                 107
lin3.btor.smt2                                     24-Jul-2006 01:21                 176
lin3.btor2                                         24-Jul-2006 01:21                 110
lin4.btor.smt2                                     24-Jul-2006 01:21                 236
lin4.btor2                                         24-Jul-2006 01:21                 173
modelgen1.btor.smt2                                24-Jul-2006 01:21                 226
modelgen1.btor2                                    24-Jul-2006 01:21                 187
modelgen12.btor.smt2                               24-Jul-2006 01:21                 192
modelgen12.btor2                                   24-Jul-2006 01:21                 130
modelgen13.btor.smt2                               24-Jul-2006 01:21                 200
modelgen13.btor2                                   24-Jul-2006 01:21                 131
modelgen14.btor.smt2                               24-Jul-2006 01:21                 429
modelgen14.btor2                                   24-Jul-2006 01:21                 340
modelgen16.btor.smt2                               24-Jul-2006 01:21                 251
modelgen16.btor2                                   24-Jul-2006 01:21                 130
modelgen18.btor.smt2                               24-Jul-2006 01:21                 380
modelgen18.btor2                                   24-Jul-2006 01:21                 210
modelgen19.btor.smt2                               24-Jul-2006 01:21                 450
modelgen19.btor2                                   24-Jul-2006 01:21                 264
modelgen2.btor.smt2                                24-Jul-2006 01:21                 123
modelgen2.btor2                                    24-Jul-2006 01:21                  79
modelgen20.btor.smt2                               24-Jul-2006 01:21                 255
modelgen20.btor2                                   24-Jul-2006 01:21                 154
modelgen21.btor.smt2                               24-Jul-2006 01:21                1086
modelgen21.btor2                                   24-Jul-2006 01:21                 717
modelgen26.btor.smt2                               24-Jul-2006 01:21                3207
modelgen26.btor2                                   24-Jul-2006 01:21                1604
modelgen27.btor2                                   24-Jul-2006 01:21                2438
modelgen3.btor.smt2                                24-Jul-2006 01:21                 131
modelgen3.btor2                                    24-Jul-2006 01:21                  80
modelgen4.btor.smt2                                24-Jul-2006 01:21                 131
modelgen4.btor2                                    24-Jul-2006 01:21                  80
modelgen9.btor.smt2                                24-Jul-2006 01:21                 645
modelgen9.btor2                                    24-Jul-2006 01:21                 315
modelgensmt21.smt2                                 24-Jul-2006 01:21                 518
modelgensmt211.smt2                                24-Jul-2006 01:21                 115
modelgensmt212.smt2                                24-Jul-2006 01:21                 115
modelgensmt213.smt2                                24-Jul-2006 01:21                 115
modelgensmt214.smt2                                24-Jul-2006 01:21                 115
modelgensmt216.smt2                                24-Jul-2006 01:21                 115
modelgensmt217.smt2                                24-Jul-2006 01:21                 115
modelgensmt218.smt2                                24-Jul-2006 01:21                 115
modelgensmt219.smt2                                24-Jul-2006 01:21                 115
modelgensmt22.smt2                                 24-Jul-2006 01:21                 115
modelgensmt220.smt2                                24-Jul-2006 01:21                 295
modelgensmt221.smt2                                24-Jul-2006 01:21                 430
modelgensmt222.smt2                                24-Jul-2006 01:21                 115
modelgensmt223.smt2                                24-Jul-2006 01:21                 115
modelgensmt224.smt2                                24-Jul-2006 01:21                 115
modelgensmt225.smt2                                24-Jul-2006 01:21                 115
modelgensmt226.smt2                                24-Jul-2006 01:21                1837
modelgensmt227.smt2                                24-Jul-2006 01:21                3515
modelgensmt23.smt2                                 24-Jul-2006 01:21                 115
modelgensmt24.smt2                                 24-Jul-2006 01:21                 115
modelgensmt29.smt2                                 24-Jul-2006 01:21                 206
mul.btor.smt2                                      24-Jul-2006 01:21                 164
mul.btor2                                          24-Jul-2006 01:21                  76
mul4mod.btor.smt2                                  24-Jul-2006 01:21                 305
mul4mod.btor2                                      24-Jul-2006 01:21                 208
mulassoc4.smt2                                     24-Jul-2006 01:21                 214
mulassoc5.smt2                                     24-Jul-2006 01:21                 215
mulassoc6.smt2                                     24-Jul-2006 01:21                 214
mux.btor.smt2                                      24-Jul-2006 01:21                 205
mux.btor2                                          24-Jul-2006 01:21                 110
negdistadd.smt2                                    24-Jul-2006 01:21                 171
nego1.smt2                                         24-Jul-2006 01:21                 111
nego2.smt2                                         24-Jul-2006 01:21                 142
negsdivzero.smt2                                   24-Jul-2006 01:21                 142
nextpoweroftwo016.smt2                             24-Jul-2006 01:21                8505
notdistadd0.smt2                                   24-Jul-2006 01:21                 171
notdistadd1.smt2                                   24-Jul-2006 01:21                 194
painc.smt2                                         24-Jul-2006 01:21                 398
palsqr56.smt2                                      24-Jul-2006 01:21                2217
palsqr58.smt2                                      24-Jul-2006 01:21                2246
possdivzero.smt2                                   24-Jul-2006 01:21                 150
preprop1.smt2                                      24-Jul-2006 01:21                 227
prim8bugreduced.btor.smt2                          24-Jul-2006 01:21                 324
prim8bugreduced.btor2                              24-Jul-2006 01:21                 168
problem_130.smt2                                   24-Jul-2006 01:21             3592385
process.btor.smt2                                  24-Jul-2006 01:21                1976
process.btor2                                      24-Jul-2006 01:21                1015
proxybug.btor.smt2                                 24-Jul-2006 01:21                 158
proxybug.btor2                                     24-Jul-2006 01:21                  74
redand3twice.btor.smt2                             24-Jul-2006 01:21                 169
redand3twice.btor2                                 24-Jul-2006 01:21                 116
redand3twice.smt2                                  24-Jul-2006 01:21                 171
redor3.btor.smt2                                   24-Jul-2006 01:21                 115
redor3.btor2                                       24-Jul-2006 01:21                  75
regnegadd1.btor.smt2                               24-Jul-2006 01:21                 200
regnegadd1.btor2                                   24-Jul-2006 01:21                 114
regnegadd1.expect                                  24-Jul-2006 01:21                  62
regr-5smod3.btor.smt2                              24-Jul-2006 01:21                 160
regr-5smod3.btor2                                  24-Jul-2006 01:21                 121
regr-5smod3.expect                                 24-Jul-2006 01:21                  12
regr-5srem3.btor.smt2                              24-Jul-2006 01:21                 160
regr-5srem3.btor2                                  24-Jul-2006 01:21                 121
regr-5srem3.expect                                 24-Jul-2006 01:21                  13
regr-6smod3.btor.smt2                              24-Jul-2006 01:21                 160
regr-6smod3.btor2                                  24-Jul-2006 01:21                 121
regr-6smod3.expect                                 24-Jul-2006 01:21                  12
regr-6srem3.btor.smt2                              24-Jul-2006 01:21                 160
regr-6srem3.btor2                                  24-Jul-2006 01:21                 121
regr-6srem3.expect                                 24-Jul-2006 01:21                  12
regr5smod-3.btor.smt2                              24-Jul-2006 01:21                 160
regr5smod-3.btor2                                  24-Jul-2006 01:21                 121
regr5smod-3.expect                                 24-Jul-2006 01:21                  13
regr5srem-3.btor.smt2                              24-Jul-2006 01:21                 160
regr5srem-3.btor2                                  24-Jul-2006 01:21                 121
regr5srem-3.expect                                 24-Jul-2006 01:21                  12
regr6smod-3.btor.smt2                              24-Jul-2006 01:21                 160
regr6smod-3.btor2                                  24-Jul-2006 01:21                 121
regr6smod-3.expect                                 24-Jul-2006 01:21                  12
regr6srem-3.btor.smt2                              24-Jul-2006 01:21                 160
regr6srem-3.btor2                                  24-Jul-2006 01:21                 121
regr6srem-3.expect                                 24-Jul-2006 01:21                  12
regrcalypto1.smt2                                  24-Jul-2006 01:21                2395
regrcalypto2.smt2                                  24-Jul-2006 01:21                3391
regrcalypto3.smt2                                  24-Jul-2006 01:21               77553
regrdistinct.smt2                                  24-Jul-2006 01:21                 297
regrdomabst3.btor.smt2                             24-Jul-2006 01:21                 221
regrdomabst3.btor2                                 24-Jul-2006 01:21                 119
regrdomabst4.btor.smt2                             24-Jul-2006 01:21                 461
regrdomabst4.btor2                                 24-Jul-2006 01:21                 255
regrdomabst5.smt2                                  24-Jul-2006 01:21                7392
regrdomabst6.smt2                                  24-Jul-2006 01:21                1211
regrexpleak1.btor.smt2                             24-Jul-2006 01:21                 351
regrexpleak1.btor2                                 24-Jul-2006 01:21                 213
regrmark1.btor.smt2                                24-Jul-2006 01:21                 346
regrmark1.btor2                                    24-Jul-2006 01:21                 222
regrpointerchasing1.btor.smt2                      24-Jul-2006 01:21                 535
regrpointerchasing1.btor2                          24-Jul-2006 01:21                 348
regrrwbinexpconcatzeroconst.btor.smt2              24-Jul-2006 01:21                 260
regrrwbinexpconcatzeroconst.btor2                  24-Jul-2006 01:21                 235
regrrwbinexpconcatzeroconst.smt2                   24-Jul-2006 01:21                 414
regrw8simp.btor.smt2                               24-Jul-2006 01:21                 158
regrw8simp.btor2                                   24-Jul-2006 01:21                  74
regsmod1.smt2                                      24-Jul-2006 01:21                 136
regsubslapd149921red.btor.smt2                     24-Jul-2006 01:21                 829
regsubslapd149921red.btor2                         24-Jul-2006 01:21                 473
rol_same_bw.btor2                                  24-Jul-2006 01:21                 552
ror_same_bw.btor2                                  24-Jul-2006 01:21                 552
saddo1.smt2                                        24-Jul-2006 01:21                 113
saddo2.smt2                                        24-Jul-2006 01:21                 149
sc12fuzzcheck2.smt2                                24-Jul-2006 01:21                3211
sc2011rules-qf-bv-ex.smt2                          24-Jul-2006 01:21                 466
sdiveqashr2false32.smt2                            24-Jul-2006 01:21                 133
sdivo1.smt2                                        24-Jul-2006 01:21                 113
sdivo2.smt2                                        24-Jul-2006 01:21                 150
slicesubst1.btor.smt2                              24-Jul-2006 01:21                 152
slicesubst1.btor2                                  24-Jul-2006 01:21                 107
sll.btor.smt2                                      24-Jul-2006 01:21                 184
sll.btor2                                          24-Jul-2006 01:21                 106
sll_same_bw.btor.smt2                              24-Jul-2006 01:21                 460
sll_same_bw.btor2                                  24-Jul-2006 01:21                 552
smt2pushpop0.smt2                                  24-Jul-2006 01:21                 103
smtandvar.smt2                                     24-Jul-2006 01:21                 120
smtashr1.smt2                                      24-Jul-2006 01:21                 262
smtashr2.smt2                                      24-Jul-2006 01:21                 886
smtashr3.smt2                                      24-Jul-2006 01:21                3382
smtaxiombvashr1.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr16.smt2                              24-Jul-2006 01:21                 244
smtaxiombvashr2.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr3.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr32.smt2                              24-Jul-2006 01:21                 244
smtaxiombvashr4.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr5.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr6.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr64.smt2                              24-Jul-2006 01:21                 244
smtaxiombvashr7.smt2                               24-Jul-2006 01:21                 240
smtaxiombvashr8.smt2                               24-Jul-2006 01:21                 240
smtaxiombvnand1.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand16.smt2                              24-Jul-2006 01:21                 180
smtaxiombvnand2.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand3.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand32.smt2                              24-Jul-2006 01:21                 180
smtaxiombvnand4.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand5.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand6.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand64.smt2                              24-Jul-2006 01:21                 180
smtaxiombvnand7.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnand8.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnor1.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor16.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnor2.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor3.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor32.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnor4.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor5.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor6.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor64.smt2                               24-Jul-2006 01:21                 178
smtaxiombvnor7.smt2                                24-Jul-2006 01:21                 176
smtaxiombvnor8.smt2                                24-Jul-2006 01:21                 176
smtaxiombvsdiv1.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv16.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsdiv2.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv3.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv32.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsdiv4.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv5.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv6.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv64.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsdiv7.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsdiv8.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsge1.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge16.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsge2.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge3.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge32.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsge4.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge5.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge6.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge64.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsge7.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsge8.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt1.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt16.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsgt2.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt3.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt32.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsgt4.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt5.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt6.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt64.smt2                               24-Jul-2006 01:21                 171
smtaxiombvsgt7.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsgt8.smt2                                24-Jul-2006 01:21                 169
smtaxiombvsle1.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle16.smt2                               24-Jul-2006 01:21                 326
smtaxiombvsle2.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle3.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle32.smt2                               24-Jul-2006 01:21                 326
smtaxiombvsle4.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle5.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle6.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle64.smt2                               24-Jul-2006 01:21                 326
smtaxiombvsle7.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsle8.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt1.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt16.smt2                               24-Jul-2006 01:21                 326
smtaxiombvslt2.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt3.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt32.smt2                               24-Jul-2006 01:21                 326
smtaxiombvslt4.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt5.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt6.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt64.smt2                               24-Jul-2006 01:21                 326
smtaxiombvslt7.smt2                                24-Jul-2006 01:21                 320
smtaxiombvslt8.smt2                                24-Jul-2006 01:21                 320
smtaxiombvsmod1.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod16.smt2                              24-Jul-2006 01:21                 703
smtaxiombvsmod2.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod3.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod32.smt2                              24-Jul-2006 01:21                 703
smtaxiombvsmod4.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod5.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod6.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod64.smt2                              24-Jul-2006 01:21                 703
smtaxiombvsmod7.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsmod8.smt2                               24-Jul-2006 01:21                 686
smtaxiombvsrem1.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem16.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsrem2.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem3.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem32.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsrem4.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem5.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem6.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem64.smt2                              24-Jul-2006 01:21                 562
smtaxiombvsrem7.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsrem8.smt2                               24-Jul-2006 01:21                 556
smtaxiombvsub1.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub16.smt2                               24-Jul-2006 01:21                 179
smtaxiombvsub2.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub3.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub32.smt2                               24-Jul-2006 01:21                 179
smtaxiombvsub4.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub5.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub6.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub64.smt2                               24-Jul-2006 01:21                 179
smtaxiombvsub7.smt2                                24-Jul-2006 01:21                 177
smtaxiombvsub8.smt2                                24-Jul-2006 01:21                 177
smtaxiombvuge1.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge16.smt2                               24-Jul-2006 01:21                 184
smtaxiombvuge2.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge3.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge32.smt2                               24-Jul-2006 01:21                 184
smtaxiombvuge4.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge5.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge6.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge64.smt2                               24-Jul-2006 01:21                 184
smtaxiombvuge7.smt2                                24-Jul-2006 01:21                 182
smtaxiombvuge8.smt2                                24-Jul-2006 01:21                 182
smtaxiombvugt1.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt16.smt2                               24-Jul-2006 01:21                 171
smtaxiombvugt2.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt3.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt32.smt2                               24-Jul-2006 01:21                 171
smtaxiombvugt4.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt5.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt6.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt64.smt2                               24-Jul-2006 01:21                 171
smtaxiombvugt7.smt2                                24-Jul-2006 01:21                 169
smtaxiombvugt8.smt2                                24-Jul-2006 01:21                 169
smtaxiombvule1.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule16.smt2                               24-Jul-2006 01:21                 184
smtaxiombvule2.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule3.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule32.smt2                               24-Jul-2006 01:21                 184
smtaxiombvule4.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule5.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule6.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule64.smt2                               24-Jul-2006 01:21                 184
smtaxiombvule7.smt2                                24-Jul-2006 01:21                 182
smtaxiombvule8.smt2                                24-Jul-2006 01:21                 182
smtaxiombvxnor1.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor16.smt2                              24-Jul-2006 01:21                 207
smtaxiombvxnor2.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor3.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor32.smt2                              24-Jul-2006 01:21                 207
smtaxiombvxnor4.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor5.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor6.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor64.smt2                              24-Jul-2006 01:21                 207
smtaxiombvxnor7.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxnor8.smt2                               24-Jul-2006 01:21                 205
smtaxiombvxor1.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor16.smt2                               24-Jul-2006 01:21                 206
smtaxiombvxor2.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor3.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor32.smt2                               24-Jul-2006 01:21                 206
smtaxiombvxor4.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor5.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor6.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor64.smt2                               24-Jul-2006 01:21                 206
smtaxiombvxor7.smt2                                24-Jul-2006 01:21                 204
smtaxiombvxor8.smt2                                24-Jul-2006 01:21                 204
smtbbbrwl0.btor.smt2                               24-Jul-2006 01:21                 186
smtbbbrwl0.btor2                                   24-Jul-2006 01:21                 153
smtbv255.smt2                                      24-Jul-2006 01:21                 106
smtfalse.smt2                                      24-Jul-2006 01:21                  70
smtflet.smt2                                       24-Jul-2006 01:21                 105
smtiff.smt2                                        24-Jul-2006 01:21                 132
smtlshr1.smt2                                      24-Jul-2006 01:21                 262
smtlshr2.smt2                                      24-Jul-2006 01:21                 886
smtlshr3.smt2                                      24-Jul-2006 01:21                3382
smtnotvar.smt2                                     24-Jul-2006 01:21                  94
smtor.smt2                                         24-Jul-2006 01:21                 133
smtrepeat.smt2                                     24-Jul-2006 01:21                 156
smtrotate.smt2                                     24-Jul-2006 01:21                 914
smtshl1.smt2                                       24-Jul-2006 01:21                 258
smtshl2.smt2                                       24-Jul-2006 01:21                 870
smtshl3.smt2                                       24-Jul-2006 01:21                3318
smtsignextend.smt2                                 24-Jul-2006 01:21                 108
smttrue.smt2                                       24-Jul-2006 01:21                  54
smtvar.smt2                                        24-Jul-2006 01:21                  88
smtxor.smt2                                        24-Jul-2006 01:21                 128
smtzeroextend.smt2                                 24-Jul-2006 01:21                 107
smulo1.smt2                                        24-Jul-2006 01:21                 113
smulo2.smt2                                        24-Jul-2006 01:21                 149
sqrt11.btor.smt2                                   24-Jul-2006 01:21                 147
sqrt11.btor2                                       24-Jul-2006 01:21                 100
sqrt13.btor.smt2                                   24-Jul-2006 01:21                 147
sqrt13.btor2                                       24-Jul-2006 01:21                 100
sqrt18446744073709551617.btor.smt2                 24-Jul-2006 01:21                 209
sqrt18446744073709551617.btor2                     24-Jul-2006 01:21                 150
sqrt25.btor.smt2                                   24-Jul-2006 01:21                 151
sqrt25.btor2                                       24-Jul-2006 01:21                 127
sqrt29.btor.smt2                                   24-Jul-2006 01:21                 147
sqrt29.btor2                                       24-Jul-2006 01:21                 100
sqrt31.btor.smt2                                   24-Jul-2006 01:21                 147
sqrt31.btor2                                       24-Jul-2006 01:21                 100
sqrt4.btor.smt2                                    24-Jul-2006 01:21                 150
sqrt4.btor2                                        24-Jul-2006 01:21                 126
sqrt4294967297.btor.smt2                           24-Jul-2006 01:21                 199
sqrt4294967297.btor2                               24-Jul-2006 01:21                 140
sqrt4295098369.btor.smt2                           24-Jul-2006 01:21                 197
sqrt4295098369.btor2                               24-Jul-2006 01:21                 140
sqrt49.btor.smt2                                   24-Jul-2006 01:21                 151
sqrt49.btor2                                       24-Jul-2006 01:21                 127
sqrt5.btor.smt2                                    24-Jul-2006 01:21                 142
sqrt5.btor2                                        24-Jul-2006 01:21                 100
sqrt65537.btor.smt2                                24-Jul-2006 01:21                 191
sqrt65537.btor2                                    24-Jul-2006 01:21                 133
sqrt7.btor.smt2                                    24-Jul-2006 01:21                 146
sqrt7.btor2                                        24-Jul-2006 01:21                  99
sqrt9.btor.smt2                                    24-Jul-2006 01:21                 150
sqrt9.btor2                                        24-Jul-2006 01:21                 126
srl_same_bw.btor.smt2                              24-Jul-2006 01:21                 461
srl_same_bw.btor2                                  24-Jul-2006 01:21                 552
ssubo1.smt2                                        24-Jul-2006 01:21                 113
ssubo2.smt2                                        24-Jul-2006 01:21                 148
sult.btor.smt2                                     24-Jul-2006 01:21                 399
sult.btor2                                         24-Jul-2006 01:21                 257
sult2.btor.smt2                                    24-Jul-2006 01:21                 473
sult2.btor2                                        24-Jul-2006 01:21                 277
true.smt2                                          24-Jul-2006 01:21                  51
twocomplementassub.btor.smt2                       24-Jul-2006 01:21                 170
twocomplementassub.btor2                           24-Jul-2006 01:21                  97
uaddo1.smt2                                        24-Jul-2006 01:21                 113
uaddo2.smt2                                        24-Jul-2006 01:21                 148
udiv16castdown8.btor.smt2                          24-Jul-2006 01:21                 364
udiv16castdown8.btor2                              24-Jul-2006 01:21                 258
udiv32castdown16.btor.smt2                         24-Jul-2006 01:21                 372
udiv32castdown16.btor2                             24-Jul-2006 01:21                 263
udiv8castdown4.btor.smt2                           24-Jul-2006 01:21                 364
udiv8castdown4.btor2                               24-Jul-2006 01:21                 257
udiv8castdown5.btor.smt2                           24-Jul-2006 01:21                 364
udiv8castdown5.btor2                               24-Jul-2006 01:21                 257
udiv8castdown6.btor.smt2                           24-Jul-2006 01:21                 364
udiv8castdown6.btor2                               24-Jul-2006 01:21                 257
udiv8castdown7.btor.smt2                           24-Jul-2006 01:21                 364
udiv8castdown7.btor2                               24-Jul-2006 01:21                 257
udivtheorem1.btor.smt2                             24-Jul-2006 01:21                 204
udivtheorem1.btor2                                 24-Jul-2006 01:21                 144
udivzero.smt2                                      24-Jul-2006 01:21                 124
ulttheorem1.btor.smt2                              24-Jul-2006 01:21                 484
ulttheorem1.btor2                                  24-Jul-2006 01:21                 289
umulo1.smt2                                        24-Jul-2006 01:21                 113
umulo2.smt2                                        24-Jul-2006 01:21                 149
uremsimp32.btor.smt2                               24-Jul-2006 01:21                 267
uremsimp32.btor2                                   24-Jul-2006 01:21                 171
uremsimp32.smt2                                    24-Jul-2006 01:21                 214
uremtheorem1.btor.smt2                             24-Jul-2006 01:21                 262
uremtheorem1.btor2                                 24-Jul-2006 01:21                 191
uremudivaxiom4.btor.smt2                           24-Jul-2006 01:21                 529
uremudivaxiom4.btor2                               24-Jul-2006 01:21                 315
uremudivaxiom4no.btor.smt2                         24-Jul-2006 01:21                 405
uremudivaxiom4no.btor2                             24-Jul-2006 01:21                 361
usubo1.smt2                                        24-Jul-2006 01:21                 113
usubo2.smt2                                        24-Jul-2006 01:21                 149
var1.btor.smt2                                     24-Jul-2006 01:21                 105
var1.btor2                                         24-Jul-2006 01:21                  47
var2.btor.smt2                                     24-Jul-2006 01:21                 113
var2.btor2                                         24-Jul-2006 01:21                  48
verbose1.btor.smt2                                 24-Jul-2006 01:21                 220
verbose1.btor2                                     24-Jul-2006 01:21                 164