# . * SAT 86 * UNSAT 78 * TIMEOUT 25 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: certora2-base
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: ed84b14e6c7dfaf6efd1b740119ecb1631e8bdfb
Z3 branch: arie
Z3 options: "-T:30"
Z3 inputs: inputs/certora2
Z3 commit message: fixing coi bug

Signed-off-by: Nikolaj Bjorner
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |auk-0178.smt2 | 0.035s | 19.752MiB| sat | 0 | | | |auk-0161.smt2 | 0.039s | 19.444MiB| sat | 0 | | | |auk-0066.smt2 | 0.040s | 19.748MiB| sat | 0 | | | |auk-0042.smt2 | 0.047s | 20.0MiB| sat | 0 | | | |auk-0160.smt2 | 0.058s | 19.996MiB| unsat | 0 | | | |auk-0038.smt2 | 0.058s | 18.976MiB| unsat | 0 | | | |auk-0046.smt2 | 0.058s | 19.824MiB| unsat | 0 | | | |auk-0036.smt2 | 0.059s | 20.692MiB| sat | 0 | | | |auk-0168.smt2 | 0.059s | 20.12MiB| sat | 0 | | | |auk-0138.smt2 | 0.060s | 20.256MiB| unsat | 0 | | | |auk-0068.smt2 | 0.061s | 19.528MiB| unsat | 0 | | | |auk-0067.smt2 | 0.063s | 20.252MiB| sat | 0 | | | |auk-0159.smt2 | 0.065s | 20.372MiB| unsat | 0 | | | |auk-0054.smt2 | 0.066s | 18.924MiB| unsat | 0 | | | |auk-0060.smt2 | 0.066s | 19.976MiB| unsat | 0 | | | |auk-0170.smt2 | 0.066s | 20.576MiB| unsat | 0 | | | |auk-0057.smt2 | 0.070s | 19.964MiB| unsat | 0 | | | |auk-0069.smt2 | 0.070s | 20.008MiB| unsat | 0 | | | |auk-0064.smt2 | 0.070s | 20.712MiB| sat | 0 | | | |auk-0031.smt2 | 0.075s | 20.252MiB| unsat | 0 | | | |auk-0041.smt2 | 0.078s | 20.152MiB| unsat | 0 | | | |auk-0061.smt2 | 0.080s | 20.668MiB| unsat | 0 | | | |auk-0065.smt2 | 0.081s | 20.54MiB| unsat | 0 | | | |auk-0166.smt2 | 0.083s | 20.852MiB| sat | 0 | | | |auk-0179.smt2 | 0.085s | 19.996MiB| unsat | 0 | | | |auk-0012.smt2 | 0.087s | 20.532MiB| unsat | 0 | | | |auk-0044.smt2 | 0.088s | 20.868MiB| unsat | 0 | | | |auk-0043.smt2 | 0.088s | 24.112MiB| unsat | 0 | | | |auk-0035.smt2 | 0.089s | 20.184MiB| unsat | 0 | | | |auk-0050.smt2 | 0.090s | 20.2MiB| unsat | 0 | | | |auk-0040.smt2 | 0.095s | 20.252MiB| unsat | 0 | | | |auk-0059.smt2 | 0.104s | 22.98MiB| unsat | 0 | | | |auk-0028.smt2 | 0.105s | 22.228MiB| unsat | 0 | | | |auk-0051.smt2 | 0.106s | 20.896MiB| unsat | 0 | | | |auk-0034.smt2 | 0.110s | 20.68MiB| unsat | 0 | | | |auk-0063.smt2 | 0.110s | 20.704MiB| unsat | 0 | | | |auk-0032.smt2 | 0.123s | 20.62MiB| unsat | 0 | | | |auk-0055.smt2 | 0.125s | 24.56MiB| sat | 0 | | | |auk-0097.smt2 | 0.128s | 22.868MiB| sat | 0 | | | |auk-0162.smt2 | 0.132s | 24.584MiB| sat | 0 | | | |auk-0053.smt2 | 0.134s | 20.832MiB| sat | 0 | | | |auk-0164.smt2 | 0.138s | 25.616MiB| sat | 0 | | | |auk-0020.smt2 | 0.140s | 25.376MiB| unsat | 0 | | | |auk-0174.smt2 | 0.140s | 25.792MiB| sat | 0 | | | |auk-0052.smt2 | 0.141s | 24.836MiB| unsat | 0 | | | |auk-0024.smt2 | 0.142s | 25.576MiB| unsat | 0 | | | |auk-0033.smt2 | 0.142s | 25.856MiB| sat | 0 | | | |auk-0106.smt2 | 0.147s | 26.764MiB| sat | 0 | | | |auk-0177.smt2 | 0.148s | 26.364MiB| sat | 0 | | | |auk-0047.smt2 | 0.149s | 24.936MiB| unsat | 0 | | | |auk-0037.smt2 | 0.150s | 25.612MiB| unsat | 0 | | | |auk-0030.smt2 | 0.152s | 24.932MiB| unsat | 0 | | | |auk-0058.smt2 | 0.154s | 24.648MiB| sat | 0 | | | |auk-0062.smt2 | 0.158s | 24.788MiB| unsat | 0 | | | |auk-0172.smt2 | 0.158s | 25.712MiB| sat | 0 | | | |auk-0152.smt2 | 0.160s | 24.944MiB| sat | 0 | | | |auk-0039.smt2 | 0.167s | 20.592MiB| unsat | 0 | | | |auk-0163.smt2 | 0.169s | 25.7MiB| sat | 0 | | | |auk-0167.smt2 | 0.172s | 25.132MiB| sat | 0 | | | |auk-0104.smt2 | 0.172s | 24.112MiB| sat | 0 | | | |auk-0048.smt2 | 0.173s | 25.308MiB| unsat | 0 | | | |auk-0045.smt2 | 0.173s | 25.428MiB| unsat | 0 | | | |auk-0165.smt2 | 0.174s | 25.308MiB| sat | 0 | | | |auk-0127.smt2 | 0.175s | 26.452MiB| sat | 0 | | | |auk-0026.smt2 | 0.176s | 24.732MiB| unsat | 0 | | | |auk-0173.smt2 | 0.178s | 25.836MiB| sat | 0 | | | |auk-0136.smt2 | 0.183s | 20.764MiB| sat | 0 | | | |auk-0105.smt2 | 0.185s | 27.232MiB| sat | 0 | | | |auk-0158.smt2 | 0.186s | 24.984MiB| sat | 0 | | | |auk-0155.smt2 | 0.187s | 25.104MiB| sat | 0 | | | |auk-0008.smt2 | 0.187s | 27.952MiB| unsat | 0 | | | |auk-0125.smt2 | 0.190s | 26.856MiB| sat | 0 | | | |auk-0019.smt2 | 0.191s | 26.788MiB| unsat | 0 | | | |auk-0118.smt2 | 0.196s | 27.008MiB| sat | 0 | | | |auk-0029.smt2 | 0.198s | 25.832MiB| unsat | 0 | | | |auk-0126.smt2 | 0.201s | 28.396MiB| sat | 0 | | | |auk-0124.smt2 | 0.203s | 26.932MiB| sat | 0 | | | |auk-0100.smt2 | 0.203s | 24.54MiB| sat | 0 | | | |auk-0169.smt2 | 0.206s | 25.828MiB| unsat | 0 | | | |auk-0139.smt2 | 0.206s | 21.948MiB| unsat | 0 | | | |auk-0102.smt2 | 0.207s | 27.076MiB| sat | 0 | | | |auk-0107.smt2 | 0.210s | 26.588MiB| sat | 0 | | | |auk-0156.smt2 | 0.211s | 25.104MiB| sat | 0 | | | |auk-0129.smt2 | 0.212s | 24.888MiB| sat | 0 | | | |auk-0176.smt2 | 0.216s | 26.396MiB| sat | 0 | | | |auk-0014.smt2 | 0.219s | 28.02MiB| unsat | 0 | | | |auk-0157.smt2 | 0.219s | 24.988MiB| sat | 0 | | | |auk-0171.smt2 | 0.222s | 25.592MiB| sat | 0 | | | |auk-0049.smt2 | 0.224s | 21.376MiB| unsat | 0 | | | |auk-0021.smt2 | 0.227s | 23.364MiB| unsat | 0 | | | |auk-0016.smt2 | 0.227s | 25.092MiB| unsat | 0 | | | |auk-0111.smt2 | 0.227s | 28.48MiB| sat | 0 | | | |auk-0114.smt2 | 0.227s | 25.696MiB| sat | 0 | | | |auk-0003.smt2 | 0.229s | 27.984MiB| unsat | 0 | | | |auk-0154.smt2 | 0.233s | 26.168MiB| sat | 0 | | | |auk-0108.smt2 | 0.242s | 28.324MiB| sat | 0 | | | |auk-0013.smt2 | 0.243s | 28.048MiB| unsat | 0 | | | |auk-0110.smt2 | 0.244s | 24.82MiB| sat | 0 | | | |auk-0018.smt2 | 0.251s | 27.216MiB| unsat | 0 | | | |auk-0153.smt2 | 0.260s | 26.484MiB| sat | 0 | | | |auk-0121.smt2 | 0.261s | 26.612MiB| sat | 0 | | | |auk-0143.smt2 | 0.266s | 21.068MiB| unsat | 0 | | | |auk-0150.smt2 | 0.268s | 25.764MiB| unsat | 0 | | | |auk-0103.smt2 | 0.272s | 27.564MiB| sat | 0 | | | |auk-0175.smt2 | 0.275s | 26.264MiB| sat | 0 | | | |auk-0112.smt2 | 0.298s | 27.26MiB| sat | 0 | | | |auk-0151.smt2 | 0.303s | 21.66MiB| unsat | 0 | | | |auk-0180.smt2 | 0.346s | 28.2MiB| unsat | 0 | | | |auk-0010.smt2 | 0.350s | 33.476MiB| unsat | 0 | | | |auk-0115.smt2 | 0.358s | 34.552MiB| sat | 0 | | | |auk-0117.smt2 | 0.360s | 30.756MiB| sat | 0 | | | |auk-0023.smt2 | 0.384s | 28.648MiB| unsat | 0 | | | |auk-0128.smt2 | 0.399s | 32.112MiB| sat | 0 | | | |auk-0123.smt2 | 0.410s | 31.448MiB| sat | 0 | | | |auk-0006.smt2 | 0.416s | 33.564MiB| unsat | 0 | | | |auk-0002.smt2 | 0.426s | 33.952MiB| unsat | 0 | | | |auk-0113.smt2 | 0.429s | 31.02MiB| sat | 0 | | | |auk-0017.smt2 | 0.441s | 29.788MiB| unsat | 0 | | | |auk-0120.smt2 | 0.444s | 31.492MiB| sat | 0 | | | |auk-0116.smt2 | 0.476s | 31.156MiB| sat | 0 | | | |auk-0135.smt2 | 0.482s | 27.936MiB| unsat | 0 | | | |auk-0130.smt2 | 0.504s | 33.78MiB| sat | 0 | | | |auk-0122.smt2 | 0.551s | 31.364MiB| sat | 0 | | | |auk-0119.smt2 | 0.566s | 35.308MiB| sat | 0 | | | |auk-0109.smt2 | 0.581s | 44.608MiB| sat | 0 | | | |auk-0094.smt2 | 0.597s | 31.156MiB| sat | 0 | | | |auk-0093.smt2 | 0.620s | 25.152MiB| sat | 0 | | | |auk-0078.smt2 | 0.653s | 32.12MiB| sat | 0 | | | |auk-0072.smt2 | 0.714s | 32.14MiB| sat | 0 | | | |auk-0133.smt2 | 0.837s | 42.14MiB| sat | 0 | | | |auk-0091.smt2 | 0.865s | 42.552MiB| sat | 0 | | | |auk-0080.smt2 | 0.887s | 34.512MiB| sat | 0 | | | |auk-0004.smt2 | 0.907s | 36.156MiB| unsat | 0 | | | |auk-0009.smt2 | 0.935s | 21.424MiB| sat | 0 | | | |auk-0096.smt2 | 0.962s | 31.068MiB| sat | 0 | | | |auk-0056.smt2 | 1.020s | 27.428MiB| sat | 0 | | | |auk-0132.smt2 | 1.146s | 56.06MiB| sat | 0 | | | |auk-0077.smt2 | 1.151s | 41.812MiB| sat | 0 | | | |auk-0071.smt2 | 1.185s | 47.248MiB| sat | 0 | | | |auk-0149.smt2 | 1.207s | 28.804MiB| unsat | 0 | | | |auk-0146.smt2 | 1.227s | 29.112MiB| unsat | 0 | | | |auk-0076.smt2 | 1.290s | 47.38MiB| sat | 0 | | | |auk-0075.smt2 | 1.345s | 47.136MiB| sat | 0 | | | |auk-0145.smt2 | 1.349s | 30.764MiB| unsat | 0 | | | |auk-0073.smt2 | 1.374s | 46.968MiB| sat | 0 | | | |auk-0131.smt2 | 1.649s | 90.224MiB| sat | 0 | | | |auk-0079.smt2 | 1.684s | 45.648MiB| sat | 0 | | | |auk-0101.smt2 | 1.745s | 32.564MiB| unsat | 0 | | | |auk-0083.smt2 | 2.879s | 99.0MiB| sat | 0 | | | |auk-0082.smt2 | 3.027s | 99.0MiB| sat | 0 | | | |auk-0144.smt2 | 3.108s | 35.228MiB| unsat | 0 | | | |auk-0095.smt2 | 3.300s | 38.64MiB| unsat | 0 | | | |auk-0148.smt2 | 4.049s | 35.384MiB| unsat | 0 | | | |auk-0134.smt2 | 4.082s | 33.148MiB| sat | 0 | | | |auk-0142.smt2 | 4.634s | 36.712MiB| unsat | 0 | | | |auk-0070.smt2 | 6.784s | 33.148MiB| sat | 0 | | | |auk-0025.smt2 | 8.455s | 34.46MiB| unsat | 0 | | | |auk-0182.smt2 | 9.690s | 70.376MiB| unsat | 0 | | | |auk-0090.smt2 | 12.120s | 61.124MiB| unsat | 0 | | | |auk-0140.smt2 | 16.978s | 42.02MiB| unsat | 0 | | | |auk-0186.smt2 | 21.278s | 74.6MiB| unsat | 0 | | | |auk-0027.smt2 | 22.037s | 34.028MiB| unsat | 0 | | | |auk-0141.smt2 | 24.211s | 53.456MiB| unsat | 0 | | | |auk-0085.smt2 | 29.192s | 99.84MiB| unsat | 0 | | | |auk-0184.smt2 | 30.012s | 47.048MiB| timeout | 0 | | | |auk-0074.smt2 | 30.013s | 33.316MiB| timeout | 0 | | | |auk-0011.smt2 | 30.013s | 47.8MiB| timeout | 0 | | | |auk-0081.smt2 | 30.014s | 35.636MiB| timeout | 0 | | | |auk-0188.smt2 | 30.014s | 55.988MiB| timeout | 0 | | | |auk-0015.smt2 | 30.015s | 45.944MiB| timeout | 0 | | | |auk-0189.smt2 | 30.015s | 54.648MiB| timeout | 0 | | | |auk-0087.smt2 | 30.017s | 71.004MiB| timeout | 0 | | | |auk-0183.smt2 | 30.017s | 75.532MiB| timeout | 0 | | | |auk-0187.smt2 | 30.018s | 55.004MiB| timeout | 0 | | | |auk-0185.smt2 | 30.018s | 53.144MiB| timeout | 0 | | | |auk-0137.smt2 | 30.018s | 40.112MiB| timeout | 0 | | | |auk-0092.smt2 | 30.019s | 88.848MiB| timeout | 0 | | | |auk-0005.smt2 | 30.020s | 48.044MiB| timeout | 0 | | | |auk-0022.smt2 | 30.023s | 39.952MiB| timeout | 0 | | | |auk-0001.smt2 | 30.025s | 30.052MiB| timeout | 0 | | | |auk-0088.smt2 | 30.026s | 97.0MiB| timeout | 0 | | | |auk-0086.smt2 | 30.026s | 105.0MiB| timeout | 0 | | | |auk-0089.smt2 | 30.027s | 70.056MiB| timeout | 0 | | | |auk-0181.smt2 | 30.031s | 77.76MiB| timeout | 0 | | | |auk-0084.smt2 | 30.033s | 63.96MiB| timeout | 0 | | | |auk-0098.smt2 | 30.035s | 174.0MiB| timeout | 0 | | | |auk-0147.smt2 | 30.036s | 38.052MiB| timeout | 0 | | | |auk-0099.smt2 | 30.040s | 159.0MiB| timeout | 0 | | | |auk-0007.smt2 | 30.042s | 232.0MiB| timeout | 0 | | |