# .

* SAT 131
* UNSAT 248
* TIMEOUT 1133
* UNKNOWN 11

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/AUFBV.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-AUFBV.tar.zst-down
Runner: rise-runner-1
Z3 repo: Z3Prover/z3
Z3 commit: 8c989f8840e2c5789cd31aa9465dd2527852d453
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/AUFBV.tar.zst?download=1
Z3 commit message: update tptp front-end

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/771_sqlite3.smt2 |    0.034s | 21.34MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/967_sqlite3.smt2 |    0.037s | 22.296MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/273_gzip.smt2     |    0.047s | 22.208MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/681_ph7.smt2       |    0.048s | 20.816MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/836_sqlite3.smt2 |    0.048s | 21.152MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/504_ph7.smt2       |    0.049s | 21.904MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/078_gcc.smt2 |    0.049s | 21.072MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/109_gcc.smt2 |    0.055s | 22.228MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/102_gcc.smt2       |    0.056s | 21.832MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/291_gcc.smt2 |    0.059s | 22.9MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/284_gcc.smt2 |    0.063s | 21.928MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/936_sqlite3.smt2 |    0.065s | 23.932MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/068_gcc.smt2       |    0.067s | 22.164MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/190_gcc.smt2 |    0.067s | 22.86MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/280_oggenc.smt2 |    0.068s | 24.812MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/913_sqlite3.smt2 |    0.068s | 23.088MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/550_ph7.smt2 |    0.069s | 21.796MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/400_oggenc.smt2 |    0.072s | 27.736MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/960_sqlite3.smt2 |    0.073s | 27.74MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/543_ph7.smt2       |    0.075s | 22.816MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/227_gcc.smt2       |    0.075s | 24.328MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/517_ph7.smt2 |    0.075s | 25.084MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/420_oggenc.smt2 |    0.076s | 24.184MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/382_oggenc.smt2 |    0.078s | 23.276MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/725_ph7.smt2       |    0.080s | 24.012MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/317_oggenc.smt2 |    0.084s | 23.98MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/022_bzip2.smt2 |    0.088s | 23.668MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/832_sqlite3.smt2 |    0.091s | 26.992MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/851_sqlite3.smt2 |    0.093s | 27.348MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/616_ph7.smt2 |    0.094s | 27.204MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/341_oggenc.smt2 |    0.095s | 22.6MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/273_gcc.smt2 |    0.097s | 21.056MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/389_oggenc.smt2 |    0.100s | 22.648MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/620_ph7.smt2       |    0.103s | 25.908MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/548_ph7.smt2       |    0.109s | 27.136MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/549_ph7.smt2       |    0.117s | 30.488MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/320_oggenc.smt2 |    0.118s | 25.76MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/757_ph7.smt2 |    0.121s | 32.184MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/855_sqlite3.smt2 |    0.123s | 24.132MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/251_gzip.smt2     |    0.126s | 25.644MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/433_oggenc.smt2 |    0.126s | 23.092MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/308_oggenc.smt2 |    0.127s | 25.484MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/419_oggenc.smt2 |    0.130s | 28.676MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/883_sqlite3.smt2 |    0.140s | 40.708MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/657_ph7.smt2       |    0.151s | 28.944MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/437_oggenc.smt2 |    0.159s | 28.184MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/170_gcc.smt2       |    0.162s | 35.228MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/024_gcc.smt2       |    0.163s | 26.712MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/942_sqlite3.smt2 |    0.163s | 23.4MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/444_oggenc.smt2 |    0.165s | 29.412MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/747_ph7.smt2       |    0.169s | 23.376MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/472_ph7.smt2 |    0.174s | 31.128MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/999_sqlite3.smt2 |    0.185s | 24.656MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/197_gcc.smt2 |    0.191s | 28.236MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/691_ph7.smt2       |    0.193s | 26.696MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/811_sqlite3.smt2 |    0.194s | 27.192MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/686_ph7.smt2       |    0.199s | 31.56MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/199_gcc.smt2       |    0.202s | 23.616MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/523_ph7.smt2       |    0.209s | 35.504MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/120_gcc.smt2       |    0.212s | 35.488MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/372_oggenc.smt2 |    0.213s | 44.668MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/818_sqlite3.smt2 |    0.219s | 30.86MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/206_gcc.smt2       |    0.222s | 25.816MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/658_ph7.smt2       |    0.231s | 24.26MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/559_ph7.smt2 |    0.231s | 39.772MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/958_sqlite3.smt2 |    0.237s | 21.836MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/839_sqlite3.smt2 |    0.248s | 27.492MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/992_sqlite3.smt2 |    0.253s | 28.008MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/436_oggenc.smt2 |    0.260s | 54.248MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/366_oggenc.smt2 |    0.262s | 32.16MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/349_oggenc.smt2 |    0.263s | 27.884MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/376_oggenc.smt2 |    0.277s | 29.348MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/989_sqlite3.smt2 |    0.278s | 23.912MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/462_ph7.smt2       |    0.283s | 40.596MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/105_gcc.smt2       |    0.285s | 27.016MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/983_sqlite3.smt2 |    0.286s | 33.24MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/045_gcc.smt2       |    0.290s | 30.752MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/915_sqlite3.smt2 |    0.290s | 34.792MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/302_oggenc.smt2 |    0.293s | 30.244MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/440_oggenc.smt2 |    0.294s | 45.064MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/519_ph7.smt2       |    0.298s | 26.4MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/062_gcc.smt2       |    0.301s | 27.628MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/320_gzip.smt2 |    0.301s | 26.116MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/998_sqlite3.smt2 |    0.304s | 21.944MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/541_ph7.smt2 |    0.305s | 31.708MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/534_ph7.smt2       |    0.315s | 52.58MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/722_ph7.smt2       |    0.316s | 31.744MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/938_sqlite3.smt2 |    0.317s | 32.748MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/723_ph7.smt2       |    0.323s | 26.156MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/781_sqlite3.smt2 |    0.323s | 64.732MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/027_gcc.smt2       |    0.328s | 30.736MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/719_ph7.smt2 |    0.328s | 28.736MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/215_gcc.smt2       |    0.336s | 34.164MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/700_ph7.smt2       |    0.340s | 39.016MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/474_ph7.smt2       |    0.343s | 26.148MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/695_ph7.smt2       |    0.359s | 26.82MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/552_ph7.smt2 |    0.364s | 91.38MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/513_ph7.smt2       |    0.372s | 26.796MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/429_ph7.smt2 |    0.374s | 22.688MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/451_oggenc.smt2 |    0.375s | 25.016MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/923_sqlite3.smt2 |    0.381s | 27.308MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/756_ph7.smt2       |    0.383s | 31.876MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/139_gcc.smt2 |    0.384s | 33.768MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/896_sqlite3.smt2 |    0.389s | 27.044MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/764_ph7.smt2       |    0.393s | 49.828MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/013_bzip2.smt2   |    0.396s | 41.664MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/907_sqlite3.smt2 |    0.397s | 27.276MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/853_sqlite3.smt2 |    0.398s | 40.148MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/137_gcc.smt2 |    0.399s | 29.248MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/872_sqlite3.smt2 |    0.400s | 31.484MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/033_bzip2.smt2 |    0.407s | 45.788MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/406_oggenc.smt2 |    0.417s | 31.016MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/467_ph7.smt2 |    0.418s | 29.352MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/859_sqlite3.smt2 |    0.420s | 28.344MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/198_gcc.smt2 |    0.430s | 35.04MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/644_ph7.smt2       |    0.433s | 30.816MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/043_gcc.smt2       |    0.441s | 29.104MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/945_sqlite3.smt2 |    0.442s | 30.772MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/572_ph7.smt2 |    0.453s | 53.072MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/353_oggenc.smt2 |    0.459s | 30.316MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/631_ph7.smt2       |    0.468s | 56.04MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/842_sqlite3.smt2 |    0.472s | 30.632MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/121_gcc.smt2 |    0.477s | 26.292MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/448_oggenc.smt2 |    0.480s | 44.8MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/126_gcc.smt2       |    0.483s | 36.252MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/460_oggenc.smt2 |    0.488s | 39.78MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/676_ph7.smt2 |    0.491s | 28.384MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/563_ph7.smt2       |    0.518s | 38.032MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/156_gcc.smt2       |    0.525s | 33.192MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/203_gcc.smt2       |    0.526s | 41.988MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/514_ph7.smt2       |    0.535s | 58.192MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/734_ph7.smt2 |    0.535s | 46.884MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/647_ph7.smt2 |    0.542s | 36.184MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/654_ph7.smt2 |    0.542s | 55.204MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/612_ph7.smt2 |    0.548s | 23.208MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/432_oggenc.smt2 |    0.554s | 49.304MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/702_ph7.smt2       |    0.557s | 28.776MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/239_gcc.smt2       |    0.564s | 36.888MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/249_gzip.smt2     |    0.574s | 39.304MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/698_ph7.smt2 |    0.588s | 26.512MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/735_ph7.smt2       |    0.589s | 57.004MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/706_ph7.smt2 |    0.589s | 30.812MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/900_sqlite3.smt2 |    0.609s | 30.616MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/578_ph7.smt2       |    0.621s | 43.592MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/803_sqlite3.smt2 |    0.624s | 33.544MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/675_ph7.smt2       |    0.640s | 46.992MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/715_ph7.smt2       |    0.642s | 39.452MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/673_ph7.smt2       |    0.645s | 44.18MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/211_gcc.smt2 |    0.660s | 47.364MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/151_gcc.smt2       |    0.669s | 34.672MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/606_ph7.smt2       |    0.670s | 39.156MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/600_ph7.smt2       |    0.673s | 26.804MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/683_ph7.smt2       |    0.673s | 47.516MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/226_gcc.smt2 |    0.689s | 44.676MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/429_oggenc.smt2 |    0.690s | 35.844MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/088_gcc.smt2 |    0.693s | 75.868MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/592_ph7.smt2       |    0.709s | 37.476MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/596_ph7.smt2       |    0.713s | 33.064MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/253_gcc.smt2 |    0.713s | 83.34MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/186_gcc.smt2 |    0.718s | 23.44MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/553_ph7.smt2 |    0.734s | 40.496MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/691_ph7.smt2 |    0.756s | 62.708MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/576_ph7.smt2       |    0.774s | 27.916MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/073_gcc.smt2 |    0.809s | 33.12MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/712_ph7.smt2       |    0.811s | 39.488MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/561_ph7.smt2       |    0.846s | 50.052MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/064_gcc.smt2       |    0.863s | 31.58MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/402_oggenc.smt2 |    0.871s | 41.104MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/018_bzip2.smt2   |    0.878s | 34.504MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/048_gcc.smt2       |    0.894s | 27.244MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/954_sqlite3.smt2 |    0.903s | 55.172MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/240_gcc.smt2 |    0.914s | 28.552MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/655_ph7.smt2       |    0.953s | 23.82MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/817_sqlite3.smt2 |    0.957s | 45.444MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/699_ph7.smt2 |    0.961s | 28.096MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/176_gcc.smt2       |    0.964s | 28.148MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/671_ph7.smt2       |    0.971s | 38.28MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/920_sqlite3.smt2 |    0.974s | 28.016MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/105_gcc.smt2 |    0.982s | 65.812MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/367_oggenc.smt2 |    1.032s | 28.364MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/473_ph7.smt2       |    1.059s | 24.828MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/112_gcc.smt2       |    1.060s | 37.104MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/645_ph7.smt2       |    1.068s | 27.308MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/675_ph7.smt2 |    1.100s | 34.448MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/683_ph7.smt2 |    1.110s | 43.56MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/565_ph7.smt2 |    1.116s | 64.692MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/769_sqlite3.smt2 |    1.117s | 25.932MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/621_ph7.smt2 |    1.130s | 47.82MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/829_sqlite3.smt2 |    1.136s | 33.776MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/375_oggenc.smt2 |    1.141s | 64.476MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/780_ph7.smt2       |    1.145s | 40.864MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/397_ph7.smt2 |    1.147s | 94.852MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/490_ph7.smt2       |    1.150s | 61.276MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/277_gcc.smt2 |    1.159s | 70.82MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/375_oggenc.smt2 |    1.183s | 88.036MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/715_ph7.smt2 |    1.193s | 50.996MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/791_sqlite3.smt2 |    1.261s | 190.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/096_gcc.smt2       |    1.268s | 28.732MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/449_ph7.smt2 |    1.276s | 56.496MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/233_gcc.smt2 |    1.301s | 189.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/471_ph7.smt2       |    1.302s | 43.796MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/150_gcc.smt2 |    1.321s | 31.372MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/527_ph7.smt2       |    1.326s | 26.568MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/256_gcc.smt2 |    1.334s | 194.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/022_bzip2.smt2   |    1.388s | 36.96MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/626_ph7.smt2       |    1.391s | 44.692MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/157_gcc.smt2       |    1.395s | 31.6MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/137_gcc.smt2       |    1.403s | 25.212MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/786_sqlite3.smt2 |    1.403s | 39.988MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/984_sqlite3.smt2 |    1.429s | 27.832MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/330_oggenc.smt2 |    1.435s | 121.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/800_sqlite3.smt2 |    1.453s | 31.592MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/792_sqlite3.smt2 |    1.453s | 25.52MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/075_gcc.smt2       |    1.457s | 31.456MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/502_ph7.smt2       |    1.560s | 33.792MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/853_sqlite3.smt2 |    1.572s | 35.16MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/139_gcc.smt2       |    1.584s | 30.004MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/646_ph7.smt2       |    1.586s | 32.376MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/855_sqlite3.smt2 |    1.589s | 25.008MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/588_ph7.smt2       |    1.590s | 41.172MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/894_sqlite3.smt2 |    1.593s | 26.656MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/898_sqlite3.smt2 |    1.595s | 34.252MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/335_oggenc.smt2 |    1.609s | 41.676MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/766_sqlite3.smt2 |    1.642s | 93.34MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/241_gcc.smt2 |    1.644s | 109.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/831_sqlite3.smt2 |    1.656s | 33.028MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/389_oggenc.smt2 |    1.702s | 35.784MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/502_ph7.smt2 |    1.744s | 41.168MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/964_sqlite3.smt2 |    1.749s | 24.648MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/972_sqlite3.smt2 |    1.812s | 31.24MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/911_sqlite3.smt2 |    1.840s | 35.592MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/348_oggenc.smt2 |    1.849s | 476.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/245_gzip.smt2     |    1.897s | 33.716MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/589_ph7.smt2       |    1.940s | 99.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/866_sqlite3.smt2 |    1.946s | 73.892MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/874_sqlite3.smt2 |    1.992s | 93.352MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/020_bzip2.smt2   |    2.000s | 29.656MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/751_ph7.smt2 |    2.053s | 41.372MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/229_gcc.smt2       |    2.083s | 36.132MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/635_ph7.smt2 |    2.109s | 49.852MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/843_sqlite3.smt2 |    2.114s | 43.848MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/319_gzip.smt2 |    2.157s | 51.308MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/847_sqlite3.smt2 |    2.181s | 95.524MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/751_ph7.smt2       |    2.232s | 56.64MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/812_sqlite3.smt2 |    2.245s | 31.64MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/990_sqlite3.smt2 |    2.262s | 79.068MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/540_ph7.smt2       |    2.310s | 70.148MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/232_gcc.smt2 |    2.310s | 74.992MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/637_ph7.smt2       |    2.387s | 33.16MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/427_oggenc.smt2 |    2.405s | 45.06MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/687_ph7.smt2       |    2.453s | 36.98MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/185_gcc.smt2       |    2.505s | 34.008MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/167_gcc.smt2 |    2.524s | 92.356MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/852_sqlite3.smt2 |    2.565s | 484.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/206_gcc.smt2 |    2.589s | 32.804MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/685_ph7.smt2       |    2.658s | 53.404MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/734_ph7.smt2       |    2.686s | 57.48MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/347_oggenc.smt2 |    2.696s | 30.456MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/639_ph7.smt2       |    2.701s | 55.72MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/985_sqlite3.smt2 |    2.755s | 41.9MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/716_ph7.smt2 |    2.763s | 33.984MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/597_ph7.smt2       |    2.770s | 59.156MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/141_gcc.smt2       |    2.805s | 188.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/205_gcc.smt2       |    2.807s | 86.584MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/168_gcc.smt2       |    2.879s | 35.236MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/413_ph7.smt2 |    2.881s | 39.108MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/647_ph7.smt2       |    2.885s | 61.224MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/736_ph7.smt2       |    2.910s | 34.224MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/819_sqlite3.smt2 |    2.935s | 44.488MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/247_gcc.smt2 |    2.949s | 207.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/601_ph7.smt2       |    2.991s | 55.384MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/961_sqlite3.smt2 |    3.017s | 109.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/931_sqlite3.smt2 |    3.076s | 64.168MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/881_sqlite3.smt2 |    3.124s | 30.232MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/816_sqlite3.smt2 |    3.153s | 47.116MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/934_sqlite3.smt2 |    3.194s | 58.696MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/329_gzip.smt2 |    3.204s | 136.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/709_ph7.smt2       |    3.384s | 99.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/674_ph7.smt2       |    3.404s | 40.104MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/857_sqlite3.smt2 |    3.616s | 27.224MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/952_sqlite3.smt2 |    3.660s | 185.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/962_sqlite3.smt2 |    3.706s | 72.496MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/265_gcc.smt2 |    3.728s | 36.296MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/765_ph7.smt2       |    3.768s | 109.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/667_ph7.smt2       |    3.822s | 44.944MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/641_ph7.smt2       |    3.961s | 35.852MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/172_gcc.smt2       |    3.997s | 170.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/979_sqlite3.smt2 |    4.009s | 44.232MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/177_gcc.smt2       |    4.045s | 36.228MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/184_gcc.smt2       |    4.118s | 74.764MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/331_oggenc.smt2 |    4.127s | 399.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/872_sqlite3.smt2 |    4.203s | 84.972MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/789_ph7.smt2       |    4.274s | 64.696MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/778_ph7.smt2       |    4.326s | 41.268MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/236_gcc.smt2       |    4.537s | 43.7MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/903_sqlite3.smt2 |    4.717s | 80.836MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/516_ph7.smt2       |    4.791s | 38.392MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/017_bzip2.smt2   |    5.092s | 33.332MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/813_sqlite3.smt2 |    5.096s | 91.728MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/039_gcc.smt2       |    5.158s | 39.42MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/426_ph7.smt2 |    5.180s | 147.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/098_gcc.smt2 |    5.300s | 45.22MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/104_gcc.smt2       |    5.310s | 74.336MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/925_sqlite3.smt2 |    5.459s | 83.072MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/091_gcc.smt2 |    5.554s | 193.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/500_ph7.smt2       |    5.592s | 50.736MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/260_gzip.smt2     |    5.857s | 81.696MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/196_gcc.smt2 |    5.864s | 215.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/230_gcc.smt2       |    5.889s | 41.988MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/126_gcc.smt2 |    6.139s | 116.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/863_sqlite3.smt2 |    6.295s | 40.08MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/897_sqlite3.smt2 |    6.307s | 92.76MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/868_sqlite3.smt2 |    6.435s | 30.68MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/255_gcc.smt2 |    6.496s | 37.16MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/876_sqlite3.smt2 |    6.574s | 76.296MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/122_gcc.smt2       |    6.590s | 35.652MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/814_sqlite3.smt2 |    6.619s | 40.396MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/230_gcc.smt2 |    6.674s | 42.328MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/633_ph7.smt2       |    6.792s | 99.252MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/953_sqlite3.smt2 |    6.893s | 149.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/809_sqlite3.smt2 |    6.929s | 168.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/464_ph7.smt2       |    6.998s | 49.648MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/469_ph7.smt2       |    7.061s | 46.164MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/574_ph7.smt2       |    7.423s | 189.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/144_gcc.smt2       |    7.438s | 48.716MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/815_sqlite3.smt2 |    7.486s | 161.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/845_sqlite3.smt2 |    7.636s | 71.604MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/886_sqlite3.smt2 |    8.062s | 33.864MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/628_ph7.smt2 |    8.126s | 37.112MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/975_sqlite3.smt2 |    8.176s | 49.1MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/591_ph7.smt2 |    8.196s | 97.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/507_ph7.smt2 |    8.277s | 86.952MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/969_sqlite3.smt2 |    8.326s | 43.02MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/735_ph7.smt2 |    8.361s | 188.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/522_ph7.smt2 |    8.364s | 126.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/148_gcc.smt2 |    8.626s | 96.876MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/945_sqlite3.smt2 |    8.918s | 32.044MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/265_gzip.smt2     |    8.961s | 93.792MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/325_gzip.smt2 |    9.141s | 351.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/795_sqlite3.smt2 |    9.146s | 41.792MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/991_sqlite3.smt2 |    9.297s | 46.6MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/882_sqlite3.smt2 |    9.382s | 40.952MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/942_sqlite3.smt2 |    9.488s | 159.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/004_bzip2.smt2   |    9.563s | 82.252MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/511_ph7.smt2       |    9.944s | 55.136MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/980_sqlite3.smt2 |   10.102s | 462.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/307_oggenc.smt2 |   10.104s | 519.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/990_sqlite3.smt2 |   10.251s | 200.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/166_gcc.smt2 |   10.310s | 37.596MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/584_ph7.smt2       |   10.376s | 62.072MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/002_bzip2.smt2   |   10.518s | 40.336MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/452_oggenc.smt2 |   10.663s | 49.852MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/130_gcc.smt2       |   10.841s | 164.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/939_sqlite3.smt2 |   11.033s | 43.232MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/640_ph7.smt2 |   11.107s | 137.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/729_ph7.smt2       |   11.182s | 89.08MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/119_gcc.smt2       |   11.299s | 92.136MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/152_gcc.smt2       |   11.967s | 37.928MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/291_oggenc.smt2 |   12.036s | 249.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/711_ph7.smt2 |   12.129s | 66.044MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/066_gcc.smt2 |   12.554s | 35.328MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/380_oggenc.smt2 |   12.759s | 121.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/746_ph7.smt2       |   12.839s | 52.532MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/517_ph7.smt2       |   12.864s | 55.656MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/776_ph7.smt2       |   13.310s | 78.824MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/321_oggenc.smt2 |   13.446s | 72.348MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/235_gcc.smt2       |   13.592s | 46.864MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/175_gcc.smt2       |   13.963s | 87.924MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/813_sqlite3.smt2 |   14.994s | 199.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/744_ph7.smt2       |   15.071s | 64.004MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/456_ph7.smt2 |   15.095s | 73.028MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/739_ph7.smt2       |   15.187s | 90.644MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/125_gcc.smt2       |   15.300s | 74.788MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/694_ph7.smt2       |   15.797s | 54.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/949_sqlite3.smt2 |   15.813s | 56.68MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/326_oggenc.smt2 |   16.260s | 37.52MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/023_bzip2.smt2   |   16.500s | 73.288MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/509_ph7.smt2       |   16.728s | 78.628MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/038_gcc.smt2       |   16.826s | 43.08MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/292_gcc.smt2 |   16.973s | 514.0MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/797_sqlite3.smt2 |   17.140s | 55.76MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/239_gcc.smt2 |   17.581s | 42.812MiB| unknown | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/164_gcc.smt2       |   17.686s | 45.04MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/698_ph7.smt2       |   18.127s | 134.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/577_ph7.smt2       |   18.206s | 85.872MiB| sat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/222_gcc.smt2       |   18.565s | 98.0MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/483_ph7.smt2       |   18.686s | 43.904MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/980_sqlite3.smt2 |   18.821s | 45.636MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/341_oggenc.smt2 |   19.610s | 32.74MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/088_gcc.smt2       |   19.821s | 37.208MiB| unsat | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/890_sqlite3.smt2 |   20.008s | 43.78MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/059_gcc.smt2       |   20.009s | 82.98MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/840_sqlite3.smt2 |   20.009s | 38.976MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/575_ph7.smt2 |   20.009s | 40.684MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/165_gcc.smt2       |   20.010s | 44.372MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/913_sqlite3.smt2 |   20.010s | 55.66MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/867_sqlite3.smt2 |   20.010s | 55.252MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/311_oggenc.smt2 |   20.010s | 48.124MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/673_ph7.smt2 |   20.010s | 81.24MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/326_gzip.smt2 |   20.010s | 42.716MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/055_gcc.smt2 |   20.010s | 42.604MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/701_ph7.smt2       |   20.011s | 57.392MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/782_ph7.smt2       |   20.011s | 54.748MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/669_ph7.smt2       |   20.011s | 54.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/948_sqlite3.smt2 |   20.011s | 49.056MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/978_sqlite3.smt2 |   20.011s | 86.372MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/831_sqlite3.smt2 |   20.011s | 57.964MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/684_ph7.smt2 |   20.011s | 63.548MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/180_gcc.smt2 |   20.011s | 63.052MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/906_sqlite3.smt2 |   20.011s | 46.204MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/072_gcc.smt2       |   20.012s | 53.036MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/136_gcc.smt2       |   20.012s | 78.98MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/212_gcc.smt2       |   20.012s | 59.512MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/999_sqlite3.smt2 |   20.012s | 65.432MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/955_sqlite3.smt2 |   20.012s | 92.788MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/971_sqlite3.smt2 |   20.012s | 76.804MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/837_sqlite3.smt2 |   20.012s | 57.012MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/993_sqlite3.smt2 |   20.012s | 78.532MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/887_sqlite3.smt2 |   20.012s | 60.34MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/384_oggenc.smt2 |   20.012s | 63.448MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/117_gcc.smt2 |   20.012s | 52.1MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/387_oggenc.smt2 |   20.012s | 28.664MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/537_ph7.smt2       |   20.013s | 75.34MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/650_ph7.smt2       |   20.013s | 82.24MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/089_gcc.smt2       |   20.013s | 48.792MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/074_gcc.smt2       |   20.013s | 48.752MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/801_sqlite3.smt2 |   20.013s | 79.62MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/947_sqlite3.smt2 |   20.013s | 71.724MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/916_sqlite3.smt2 |   20.013s | 68.748MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/001_bzip2.smt2 |   20.013s | 39.028MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/031_bzip2.smt2 |   20.013s | 83.384MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/541_ph7.smt2       |   20.014s | 88.672MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/560_ph7.smt2       |   20.014s | 65.212MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/194_gcc.smt2       |   20.014s | 91.512MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/163_gcc.smt2       |   20.014s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/893_sqlite3.smt2 |   20.014s | 58.176MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/309_oggenc.smt2 |   20.014s | 70.424MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/387_oggenc.smt2 |   20.014s | 99.5MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/955_sqlite3.smt2 |   20.014s | 43.24MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/859_sqlite3.smt2 |   20.014s | 76.884MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/476_ph7.smt2       |   20.015s | 91.236MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/662_ph7.smt2       |   20.015s | 101.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/556_ph7.smt2       |   20.015s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/155_gcc.smt2       |   20.015s | 161.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/957_sqlite3.smt2 |   20.015s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/968_sqlite3.smt2 |   20.015s | 52.316MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/956_sqlite3.smt2 |   20.015s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/510_ph7.smt2 |   20.015s | 93.864MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/662_ph7.smt2 |   20.015s | 54.972MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/549_ph7.smt2 |   20.015s | 77.028MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/334_gzip.smt2 |   20.015s | 92.256MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/295_gcc.smt2 |   20.015s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/165_gcc.smt2 |   20.015s | 87.284MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/984_sqlite3.smt2 |   20.015s | 77.184MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/217_gcc.smt2       |   20.016s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/877_sqlite3.smt2 |   20.016s | 26.388MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/995_sqlite3.smt2 |   20.016s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/833_sqlite3.smt2 |   20.016s | 70.004MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/909_sqlite3.smt2 |   20.016s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/296_oggenc.smt2 |   20.016s | 182.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/733_ph7.smt2 |   20.016s | 94.48MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/123_gcc.smt2 |   20.016s | 81.756MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/937_sqlite3.smt2 |   20.016s | 84.116MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/922_sqlite3.smt2 |   20.016s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/586_ph7.smt2       |   20.017s | 98.572MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/682_ph7.smt2       |   20.017s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/480_ph7.smt2       |   20.017s | 98.88MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/087_gcc.smt2       |   20.017s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/950_sqlite3.smt2 |   20.017s | 48.588MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/312_oggenc.smt2 |   20.017s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/672_ph7.smt2 |   20.017s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/304_gcc.smt2 |   20.017s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/183_gcc.smt2 |   20.017s | 90.58MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/607_ph7.smt2       |   20.018s | 134.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/521_ph7.smt2       |   20.018s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/515_ph7.smt2       |   20.018s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/053_gcc.smt2       |   20.018s | 91.58MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/895_sqlite3.smt2 |   20.018s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/865_sqlite3.smt2 |   20.018s | 88.588MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/428_oggenc.smt2 |   20.018s | 184.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/740_ph7.smt2 |   20.018s | 73.12MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/966_sqlite3.smt2 |   20.018s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/777_ph7.smt2       |   20.019s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/679_ph7.smt2       |   20.019s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/547_ph7.smt2       |   20.019s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/339_oggenc.smt2 |   20.019s | 87.448MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/418_oggenc.smt2 |   20.019s | 71.052MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/656_ph7.smt2 |   20.019s | 34.144MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/034_bzip2.smt2 |   20.019s | 23.344MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/286_gcc.smt2 |   20.019s | 91.976MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/823_sqlite3.smt2 |   20.019s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/731_ph7.smt2       |   20.020s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/468_ph7.smt2       |   20.020s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/512_ph7.smt2       |   20.020s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/365_oggenc.smt2 |   20.020s | 206.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/594_ph7.smt2 |   20.020s | 29.904MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/450_ph7.smt2 |   20.020s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/964_sqlite3.smt2 |   20.020s | 91.284MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/154_gcc.smt2       |   20.021s | 62.832MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/828_sqlite3.smt2 |   20.021s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/889_sqlite3.smt2 |   20.021s | 52.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/380_oggenc.smt2 |   20.021s | 64.992MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/604_ph7.smt2 |   20.021s | 93.248MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/032_bzip2.smt2 |   20.021s | 165.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/154_gcc.smt2 |   20.021s | 165.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/163_gcc.smt2 |   20.021s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/825_sqlite3.smt2 |   20.021s | 159.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/638_ph7.smt2       |   20.022s | 83.476MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/531_ph7.smt2       |   20.022s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/921_sqlite3.smt2 |   20.022s | 142.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/405_oggenc.smt2 |   20.022s | 97.164MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/536_ph7.smt2 |   20.022s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/187_gcc.smt2 |   20.022s | 74.712MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/821_sqlite3.smt2 |   20.023s | 208.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/285_oggenc.smt2 |   20.023s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/529_ph7.smt2 |   20.023s | 72.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/189_gcc.smt2 |   20.023s | 89.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/051_gcc.smt2 |   20.023s | 160.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/237_gcc.smt2 |   20.023s | 164.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/890_sqlite3.smt2 |   20.023s | 173.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/477_ph7.smt2       |   20.024s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/049_gcc.smt2       |   20.024s | 99.288MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/849_sqlite3.smt2 |   20.024s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/469_ph7.smt2 |   20.024s | 166.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/577_ph7.smt2 |   20.024s | 30.104MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/210_gcc.smt2 |   20.024s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/532_ph7.smt2       |   20.025s | 91.572MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/616_ph7.smt2       |   20.025s | 267.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/076_gcc.smt2       |   20.025s | 52.732MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/097_gcc.smt2       |   20.025s | 232.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/171_gcc.smt2       |   20.025s | 67.816MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/963_sqlite3.smt2 |   20.025s | 82.64MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/810_sqlite3.smt2 |   20.025s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/836_sqlite3.smt2 |   20.025s | 76.268MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/982_sqlite3.smt2 |   20.025s | 84.1MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/771_ph7.smt2       |   20.026s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/529_ph7.smt2       |   20.026s | 42.748MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/590_ph7.smt2       |   20.026s | 76.764MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/275_gzip.smt2     |   20.026s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/839_sqlite3.smt2 |   20.026s | 56.008MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/696_ph7.smt2 |   20.026s | 81.976MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/707_ph7.smt2 |   20.026s | 83.124MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/680_ph7.smt2 |   20.026s | 248.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/703_ph7.smt2 |   20.026s | 39.244MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/531_ph7.smt2 |   20.026s | 66.004MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/155_gcc.smt2 |   20.026s | 213.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/846_sqlite3.smt2 |   20.026s | 48.592MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/106_gcc.smt2       |   20.027s | 83.048MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/079_gcc.smt2       |   20.027s | 54.6MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/037_gcc.smt2       |   20.027s | 59.536MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/827_sqlite3.smt2 |   20.027s | 61.216MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/932_sqlite3.smt2 |   20.027s | 175.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/443_oggenc.smt2 |   20.027s | 76.076MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/730_ph7.smt2 |   20.027s | 261.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/092_gcc.smt2 |   20.027s | 81.256MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/283_gcc.smt2 |   20.027s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/057_gcc.smt2 |   20.027s | 51.964MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/164_gcc.smt2 |   20.027s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/956_sqlite3.smt2 |   20.027s | 24.668MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/798_sqlite3.smt2 |   20.027s | 103.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/562_ph7.smt2       |   20.028s | 93.496MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/623_ph7.smt2       |   20.028s | 97.548MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/493_ph7.smt2       |   20.028s | 80.004MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/241_gcc.smt2       |   20.028s | 87.156MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/860_sqlite3.smt2 |   20.028s | 77.66MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/873_sqlite3.smt2 |   20.028s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/822_sqlite3.smt2 |   20.028s | 254.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/885_sqlite3.smt2 |   20.028s | 93.456MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/382_oggenc.smt2 |   20.028s | 92.592MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/421_oggenc.smt2 |   20.028s | 84.04MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/697_ph7.smt2 |   20.028s | 44.78MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/745_ph7.smt2 |   20.028s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/560_ph7.smt2 |   20.028s | 246.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/717_ph7.smt2 |   20.028s | 62.356MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/506_ph7.smt2 |   20.028s | 99.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/556_ph7.smt2 |   20.028s | 153.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/330_gzip.smt2 |   20.028s | 44.968MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/227_gcc.smt2 |   20.028s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/303_gcc.smt2 |   20.028s | 86.412MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/171_gcc.smt2 |   20.028s | 44.8MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/961_sqlite3.smt2 |   20.028s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/827_sqlite3.smt2 |   20.028s | 167.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/879_sqlite3.smt2 |   20.028s | 76.896MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/818_sqlite3.smt2 |   20.028s | 97.224MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/845_sqlite3.smt2 |   20.028s | 104.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/867_sqlite3.smt2 |   20.028s | 75.388MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/358_oggenc.smt2 |   20.028s | 37.716MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/367_oggenc.smt2 |   20.028s | 36.424MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/538_ph7.smt2       |   20.029s | 103.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/664_ph7.smt2       |   20.029s | 49.072MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/677_ph7.smt2       |   20.029s | 132.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/507_ph7.smt2       |   20.029s | 50.204MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/741_ph7.smt2       |   20.029s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/042_gcc.smt2       |   20.029s | 49.132MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/127_gcc.smt2       |   20.029s | 39.924MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/527_ph7.smt2 |   20.029s | 73.116MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/209_gcc.smt2 |   20.029s | 35.404MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/158_gcc.smt2 |   20.029s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/822_sqlite3.smt2 |   20.029s | 82.124MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/874_sqlite3.smt2 |   20.029s | 75.56MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/974_sqlite3.smt2 |   20.029s | 184.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/768_sqlite3.smt2 |   20.029s | 126.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/754_ph7.smt2       |   20.030s | 237.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/030_gcc.smt2       |   20.030s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/069_gcc.smt2       |   20.030s | 82.324MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/211_gcc.smt2       |   20.030s | 278.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/796_sqlite3.smt2 |   20.030s | 56.132MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/820_sqlite3.smt2 |   20.030s | 188.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/946_sqlite3.smt2 |   20.030s | 59.188MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/538_ph7.smt2 |   20.030s | 83.412MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/424_ph7.smt2 |   20.030s | 55.024MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/448_ph7.smt2 |   20.030s | 49.456MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/323_gzip.smt2 |   20.030s | 61.956MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/003_bzip2.smt2 |   20.030s | 53.008MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/175_gcc.smt2 |   20.030s | 87.312MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/074_gcc.smt2 |   20.030s | 84.976MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/112_gcc.smt2 |   20.030s | 48.292MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/881_sqlite3.smt2 |   20.030s | 47.608MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/953_sqlite3.smt2 |   20.030s | 219.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/697_ph7.smt2       |   20.031s | 63.36MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/720_ph7.smt2       |   20.031s | 48.912MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/482_ph7.smt2       |   20.031s | 94.884MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/550_ph7.smt2       |   20.031s | 77.9MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/788_ph7.smt2       |   20.031s | 62.124MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/706_ph7.smt2       |   20.031s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/011_bzip2.smt2   |   20.031s | 87.2MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/005_bzip2.smt2   |   20.031s | 51.1MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/035_gcc.smt2       |   20.031s | 262.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/178_gcc.smt2       |   20.031s | 53.488MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/868_sqlite3.smt2 |   20.031s | 273.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/951_sqlite3.smt2 |   20.031s | 201.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/509_ph7.smt2 |   20.031s | 72.788MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/545_ph7.smt2 |   20.031s | 94.984MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/590_ph7.smt2 |   20.031s | 84.172MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/705_ph7.smt2 |   20.031s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/498_ph7.smt2 |   20.031s | 57.68MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/451_ph7.smt2 |   20.031s | 97.648MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/231_gcc.smt2 |   20.031s | 72.784MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/279_gcc.smt2 |   20.031s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/779_ph7.smt2       |   20.032s | 80.036MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/479_ph7.smt2       |   20.032s | 49.848MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/732_ph7.smt2       |   20.032s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/491_ph7.smt2       |   20.032s | 81.692MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/792_ph7.smt2       |   20.032s | 79.184MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/218_gcc.smt2       |   20.032s | 215.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/181_gcc.smt2       |   20.032s | 65.808MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/036_gcc.smt2       |   20.032s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/143_gcc.smt2       |   20.032s | 47.472MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/051_gcc.smt2       |   20.032s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/663_ph7.smt2 |   20.032s | 57.208MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/728_ph7.smt2 |   20.032s | 216.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/567_ph7.smt2 |   20.032s | 80.244MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/470_ph7.smt2 |   20.032s | 60.3MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/749_ph7.smt2 |   20.032s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/480_ph7.smt2 |   20.032s | 47.34MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/238_gcc.smt2 |   20.032s | 68.928MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/128_gcc.smt2 |   20.032s | 223.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/777_sqlite3.smt2 |   20.032s | 97.056MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/765_sqlite3.smt2 |   20.032s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/552_ph7.smt2       |   20.033s | 67.84MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/497_ph7.smt2       |   20.033s | 126.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/625_ph7.smt2       |   20.033s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/770_ph7.smt2       |   20.033s | 66.784MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/021_bzip2.smt2   |   20.033s | 70.444MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/029_gcc.smt2       |   20.033s | 56.492MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/216_gcc.smt2       |   20.033s | 81.868MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/191_gcc.smt2       |   20.033s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/930_sqlite3.smt2 |   20.033s | 91.392MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/880_sqlite3.smt2 |   20.033s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/316_oggenc.smt2 |   20.033s | 97.156MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/677_ph7.smt2 |   20.033s | 142.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/603_ph7.smt2 |   20.033s | 234.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/584_ph7.smt2 |   20.033s | 32.14MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/543_ph7.smt2 |   20.033s | 304.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/667_ph7.smt2 |   20.033s | 88.844MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/623_ph7.smt2 |   20.033s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/610_ph7.smt2 |   20.033s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/644_ph7.smt2 |   20.033s | 85.72MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/530_ph7.smt2 |   20.033s | 70.292MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/050_gcc.smt2 |   20.033s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/108_gcc.smt2 |   20.033s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/852_sqlite3.smt2 |   20.033s | 72.944MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/885_sqlite3.smt2 |   20.033s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/994_sqlite3.smt2 |   20.033s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/761_sqlite3.smt2 |   20.033s | 94.536MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/785_sqlite3.smt2 |   20.033s | 64.972MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/348_oggenc.smt2 |   20.033s | 85.036MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/488_ph7.smt2       |   20.034s | 75.704MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/542_ph7.smt2       |   20.034s | 51.268MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/737_ph7.smt2       |   20.034s | 99.888MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/564_ph7.smt2       |   20.034s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/652_ph7.smt2       |   20.034s | 60.728MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/615_ph7.smt2       |   20.034s | 89.364MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/044_gcc.smt2       |   20.034s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/085_gcc.smt2       |   20.034s | 59.372MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/116_gcc.smt2       |   20.034s | 85.096MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/838_sqlite3.smt2 |   20.034s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/361_oggenc.smt2 |   20.034s | 414.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/359_oggenc.smt2 |   20.034s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/413_oggenc.smt2 |   20.034s | 45.352MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/433_ph7.smt2 |   20.034s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/537_ph7.smt2 |   20.034s | 99.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/458_ph7.smt2 |   20.034s | 64.36MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/632_ph7.smt2 |   20.034s | 86.624MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/427_ph7.smt2 |   20.034s | 56.716MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/582_ph7.smt2 |   20.034s | 73.696MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/528_ph7.smt2 |   20.034s | 81.984MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/025_bzip2.smt2 |   20.034s | 133.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/060_gcc.smt2 |   20.034s | 87.348MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/135_gcc.smt2 |   20.034s | 31.732MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/065_gcc.smt2 |   20.034s | 228.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/819_sqlite3.smt2 |   20.034s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/929_sqlite3.smt2 |   20.034s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/821_sqlite3.smt2 |   20.034s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/759_ph7.smt2       |   20.035s | 73.564MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/624_ph7.smt2       |   20.035s | 53.536MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/100_gcc.smt2       |   20.035s | 66.936MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/131_gcc.smt2       |   20.035s | 57.688MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/153_gcc.smt2       |   20.035s | 86.456MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/041_gcc.smt2       |   20.035s | 99.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/026_gcc.smt2       |   20.035s | 78.508MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/981_sqlite3.smt2 |   20.035s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/924_sqlite3.smt2 |   20.035s | 300.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/664_ph7.smt2 |   20.035s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/403_ph7.smt2 |   20.035s | 77.272MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/471_ph7.smt2 |   20.035s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/435_ph7.smt2 |   20.035s | 71.348MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/579_ph7.smt2 |   20.035s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/016_bzip2.smt2 |   20.035s | 261.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/281_gcc.smt2 |   20.035s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/194_gcc.smt2 |   20.035s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/069_gcc.smt2 |   20.035s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/203_gcc.smt2 |   20.035s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/280_gcc.smt2 |   20.035s | 81.552MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/788_sqlite3.smt2 |   20.035s | 170.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/790_sqlite3.smt2 |   20.035s | 88.144MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/911_sqlite3.smt2 |   20.035s | 67.648MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/954_sqlite3.smt2 |   20.035s | 81.672MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/968_sqlite3.smt2 |   20.035s | 231.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/869_sqlite3.smt2 |   20.035s | 51.564MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/368_oggenc.smt2 |   20.035s | 78.268MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/767_ph7.smt2       |   20.036s | 86.684MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/721_ph7.smt2       |   20.036s | 54.084MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/643_ph7.smt2       |   20.036s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/766_ph7.smt2       |   20.036s | 71.824MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/665_ph7.smt2       |   20.036s | 63.66MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/714_ph7.smt2       |   20.036s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/263_gzip.smt2     |   20.036s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/010_bzip2.smt2   |   20.036s | 93.348MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/009_bzip2.smt2   |   20.036s | 58.1MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/019_bzip2.smt2   |   20.036s | 81.964MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/093_gcc.smt2       |   20.036s | 61.136MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/142_gcc.smt2       |   20.036s | 92.96MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20231002-nysm/aes_ctr_loop_inductive_invariantLoopInductive.smt2 |   20.036s | 90.664MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/601_ph7.smt2 |   20.036s | 55.672MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/588_ph7.smt2 |   20.036s | 263.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/513_ph7.smt2 |   20.036s | 81.176MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/089_gcc.smt2 |   20.036s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/103_gcc.smt2 |   20.036s | 86.172MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/076_gcc.smt2 |   20.036s | 147.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/169_gcc.smt2 |   20.036s | 81.176MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/120_gcc.smt2 |   20.036s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/779_sqlite3.smt2 |   20.036s | 71.096MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/804_sqlite3.smt2 |   20.036s | 189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/923_sqlite3.smt2 |   20.036s | 174.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/767_sqlite3.smt2 |   20.036s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/933_sqlite3.smt2 |   20.036s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/350_oggenc.smt2 |   20.036s | 42.18MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/522_ph7.smt2       |   20.037s | 88.364MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/763_ph7.smt2       |   20.037s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/539_ph7.smt2       |   20.037s | 130.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/475_ph7.smt2       |   20.037s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/518_ph7.smt2       |   20.037s | 49.008MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/489_ph7.smt2       |   20.037s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/651_ph7.smt2       |   20.037s | 62.212MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/587_ph7.smt2       |   20.037s | 89.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/622_ph7.smt2       |   20.037s | 68.792MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/769_ph7.smt2       |   20.037s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/680_ph7.smt2       |   20.037s | 51.024MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/558_ph7.smt2       |   20.037s | 83.192MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/015_bzip2.smt2   |   20.037s | 48.88MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/111_gcc.smt2       |   20.037s | 72.732MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/028_gcc.smt2       |   20.037s | 66.764MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/095_gcc.smt2       |   20.037s | 139.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/084_gcc.smt2       |   20.037s | 132.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/832_sqlite3.smt2 |   20.037s | 344.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/854_sqlite3.smt2 |   20.037s | 463.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/666_ph7.smt2 |   20.037s | 130.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/447_ph7.smt2 |   20.037s | 78.228MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/650_ph7.smt2 |   20.037s | 82.324MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/019_bzip2.smt2 |   20.037s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/146_gcc.smt2 |   20.037s | 78.616MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/228_gcc.smt2 |   20.037s | 91.412MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/275_gcc.smt2 |   20.037s | 191.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/288_gcc.smt2 |   20.037s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/888_sqlite3.smt2 |   20.037s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/618_ph7.smt2       |   20.038s | 91.7MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/717_ph7.smt2       |   20.038s | 65.616MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/465_ph7.smt2       |   20.038s | 93.292MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/775_ph7.smt2       |   20.038s | 65.532MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/738_ph7.smt2       |   20.038s | 189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/713_ph7.smt2       |   20.038s | 81.28MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/470_ph7.smt2       |   20.038s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/528_ph7.smt2       |   20.038s | 156.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/207_gcc.smt2       |   20.038s | 195.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/220_gcc.smt2       |   20.038s | 164.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/065_gcc.smt2       |   20.038s | 103.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/201_gcc.smt2       |   20.038s | 395.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/835_sqlite3.smt2 |   20.038s | 48.54MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/864_sqlite3.smt2 |   20.038s | 154.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/927_sqlite3.smt2 |   20.038s | 86.368MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/886_sqlite3.smt2 |   20.038s | 64.332MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/996_sqlite3.smt2 |   20.038s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/988_sqlite3.smt2 |   20.038s | 186.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/441_ph7.smt2 |   20.038s | 84.248MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/417_ph7.smt2 |   20.038s | 97.5MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/609_ph7.smt2 |   20.038s | 70.956MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/483_ph7.smt2 |   20.038s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/721_ph7.smt2 |   20.038s | 256.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/465_ph7.smt2 |   20.038s | 73.42MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/564_ph7.smt2 |   20.038s | 165.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/493_ph7.smt2 |   20.038s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/756_ph7.smt2 |   20.038s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/645_ph7.smt2 |   20.038s | 78.2MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/312_gcc.smt2 |   20.038s | 94.036MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/093_gcc.smt2 |   20.038s | 230.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/127_gcc.smt2 |   20.038s | 268.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/130_gcc.smt2 |   20.038s | 101.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/243_gcc.smt2 |   20.038s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/809_sqlite3.smt2 |   20.038s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/957_sqlite3.smt2 |   20.038s | 70.776MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/914_sqlite3.smt2 |   20.038s | 160.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/772_sqlite3.smt2 |   20.038s | 184.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/760_ph7.smt2       |   20.039s | 91.068MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/614_ph7.smt2       |   20.039s | 79.916MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/553_ph7.smt2       |   20.039s | 291.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/727_ph7.smt2       |   20.039s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/719_ph7.smt2       |   20.039s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/640_ph7.smt2       |   20.039s | 349.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/536_ph7.smt2       |   20.039s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/003_bzip2.smt2   |   20.039s | 51.576MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/054_gcc.smt2       |   20.039s | 201.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/878_sqlite3.smt2 |   20.039s | 231.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/976_sqlite3.smt2 |   20.039s | 407.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/935_sqlite3.smt2 |   20.039s | 313.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/929_sqlite3.smt2 |   20.039s | 165.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/851_sqlite3.smt2 |   20.039s | 376.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/351_oggenc.smt2 |   20.039s | 186.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/442_oggenc.smt2 |   20.039s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/689_ph7.smt2 |   20.039s | 223.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/479_ph7.smt2 |   20.039s | 81.364MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/136_gcc.smt2 |   20.039s | 104.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/298_gcc.smt2 |   20.039s | 152.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/179_gcc.smt2 |   20.039s | 160.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/048_gcc.smt2 |   20.039s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/905_sqlite3.smt2 |   20.039s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/941_sqlite3.smt2 |   20.039s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/363_oggenc.smt2 |   20.039s | 79.756MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/745_ph7.smt2       |   20.040s | 189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/785_ph7.smt2       |   20.040s | 85.82MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/487_ph7.smt2       |   20.040s | 131.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/545_ph7.smt2       |   20.040s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/661_ph7.smt2       |   20.040s | 171.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/481_ph7.smt2       |   20.040s | 98.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/551_ph7.smt2       |   20.040s | 80.14MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/573_ph7.smt2       |   20.040s | 68.388MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/098_gcc.smt2       |   20.040s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/080_gcc.smt2       |   20.040s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/944_sqlite3.smt2 |   20.040s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/943_sqlite3.smt2 |   20.040s | 91.86MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/794_sqlite3.smt2 |   20.040s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/856_sqlite3.smt2 |   20.040s | 93.032MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/287_oggenc.smt2 |   20.040s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/544_ph7.smt2 |   20.040s | 77.36MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/710_ph7.smt2 |   20.040s | 102.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/600_ph7.smt2 |   20.040s | 76.744MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/739_ph7.smt2 |   20.040s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/548_ph7.smt2 |   20.040s | 327.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/563_ph7.smt2 |   20.040s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/124_gcc.smt2 |   20.040s | 146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/258_gcc.smt2 |   20.040s | 213.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/107_gcc.smt2 |   20.040s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/140_gcc.smt2 |   20.040s | 142.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/944_sqlite3.smt2 |   20.040s | 97.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/805_sqlite3.smt2 |   20.040s | 222.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/554_ph7.smt2       |   20.041s | 97.76MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/768_ph7.smt2       |   20.041s | 67.344MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/612_ph7.smt2       |   20.041s | 308.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/672_ph7.smt2       |   20.041s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/478_ph7.smt2       |   20.041s | 180.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/524_ph7.smt2       |   20.041s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/748_ph7.smt2       |   20.041s | 93.78MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/705_ph7.smt2       |   20.041s | 196.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/703_ph7.smt2       |   20.041s | 153.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/724_ph7.smt2       |   20.041s | 139.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/783_ph7.smt2       |   20.041s | 58.572MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/879_sqlite3.smt2 |   20.041s | 156.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/969_sqlite3.smt2 |   20.041s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/454_oggenc.smt2 |   20.041s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/500_ph7.smt2 |   20.041s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/464_ph7.smt2 |   20.041s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/482_ph7.smt2 |   20.041s | 149.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/586_ph7.smt2 |   20.041s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/401_ph7.smt2 |   20.041s | 166.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/005_bzip2.smt2 |   20.041s | 154.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/301_gcc.smt2 |   20.041s | 161.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/259_gcc.smt2 |   20.041s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/116_gcc.smt2 |   20.041s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/040_gcc.smt2 |   20.041s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/153_gcc.smt2 |   20.041s | 94.84MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/262_gcc.smt2 |   20.041s | 150.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/068_gcc.smt2 |   20.041s | 78.612MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/789_sqlite3.smt2 |   20.041s | 81.392MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/977_sqlite3.smt2 |   20.041s | 226.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/833_sqlite3.smt2 |   20.041s | 317.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/909_sqlite3.smt2 |   20.041s | 162.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/395_oggenc.smt2 |   20.041s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/696_ph7.smt2       |   20.042s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/632_ph7.smt2       |   20.042s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/219_gcc.smt2       |   20.042s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/114_gcc.smt2       |   20.042s | 97.996MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/884_sqlite3.smt2 |   20.042s | 51.708MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/423_oggenc.smt2 |   20.042s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/425_oggenc.smt2 |   20.042s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/747_ph7.smt2 |   20.042s | 280.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/726_ph7.smt2 |   20.042s | 76.556MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/629_ph7.smt2 |   20.042s | 173.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/013_bzip2.smt2 |   20.042s | 170.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/229_gcc.smt2 |   20.042s | 134.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/039_gcc.smt2 |   20.042s | 143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/848_sqlite3.smt2 |   20.042s | 92.792MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/830_sqlite3.smt2 |   20.042s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/755_ph7.smt2       |   20.043s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/501_ph7.smt2       |   20.043s | 80.032MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/602_ph7.smt2       |   20.043s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/648_ph7.smt2       |   20.043s | 191.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/752_ph7.smt2       |   20.043s | 77.16MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/067_gcc.smt2       |   20.043s | 107.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/197_gcc.smt2       |   20.043s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/846_sqlite3.smt2 |   20.043s | 334.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/869_sqlite3.smt2 |   20.043s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/313_oggenc.smt2 |   20.043s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/394_oggenc.smt2 |   20.043s | 231.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/722_ph7.smt2 |   20.043s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/658_ph7.smt2 |   20.043s | 88.508MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/526_ph7.smt2 |   20.043s | 55.684MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/113_gcc.smt2 |   20.043s | 54.512MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/948_sqlite3.smt2 |   20.043s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/912_sqlite3.smt2 |   20.043s | 279.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/861_sqlite3.smt2 |   20.043s | 129.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/802_sqlite3.smt2 |   20.043s | 194.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/775_sqlite3.smt2 |   20.043s | 96.752MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/678_ph7.smt2       |   20.044s | 71.068MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/689_ph7.smt2       |   20.044s | 218.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/575_ph7.smt2       |   20.044s | 128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/463_ph7.smt2       |   20.044s | 259.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/246_gzip.smt2     |   20.044s | 156.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/007_bzip2.smt2   |   20.044s | 189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/208_gcc.smt2       |   20.044s | 227.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/160_gcc.smt2       |   20.044s | 283.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/060_gcc.smt2       |   20.044s | 320.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/973_sqlite3.smt2 |   20.044s | 225.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/914_sqlite3.smt2 |   20.044s | 181.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/383_oggenc.smt2 |   20.044s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/420_ph7.smt2 |   20.044s | 135.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/412_ph7.smt2 |   20.044s | 246.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/487_ph7.smt2 |   20.044s | 78.26MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/512_ph7.smt2 |   20.044s | 254.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/422_ph7.smt2 |   20.044s | 157.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/276_gcc.smt2 |   20.044s | 155.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/199_gcc.smt2 |   20.044s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/062_gcc.smt2 |   20.044s | 45.32MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/119_gcc.smt2 |   20.044s | 240.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/760_sqlite3.smt2 |   20.044s | 78.448MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/962_sqlite3.smt2 |   20.044s | 181.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/778_sqlite3.smt2 |   20.044s | 176.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/770_sqlite3.smt2 |   20.044s | 141.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/919_sqlite3.smt2 |   20.044s | 204.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/841_sqlite3.smt2 |   20.044s | 63.948MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/342_oggenc.smt2 |   20.044s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/716_ph7.smt2       |   20.045s | 156.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/016_bzip2.smt2   |   20.045s | 754.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/195_gcc.smt2       |   20.045s | 174.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/190_gcc.smt2       |   20.045s | 635.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/202_gcc.smt2       |   20.045s | 137.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/086_gcc.smt2       |   20.045s | 244.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/078_gcc.smt2       |   20.045s | 242.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/204_gcc.smt2       |   20.045s | 198.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/826_sqlite3.smt2 |   20.045s | 234.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/355_oggenc.smt2 |   20.045s | 83.36MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/514_ph7.smt2 |   20.045s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/723_ph7.smt2 |   20.045s | 273.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/599_ph7.smt2 |   20.045s | 219.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/625_ph7.smt2 |   20.045s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/020_bzip2.smt2 |   20.045s | 228.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/268_gcc.smt2 |   20.045s | 89.416MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/122_gcc.smt2 |   20.045s | 73.72MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/309_gcc.smt2 |   20.045s | 186.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/921_sqlite3.smt2 |   20.045s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/920_sqlite3.smt2 |   20.045s | 76.776MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/772_ph7.smt2       |   20.046s | 168.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/786_ph7.smt2       |   20.046s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/571_ph7.smt2       |   20.046s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/787_ph7.smt2       |   20.046s | 139.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/485_ph7.smt2       |   20.046s | 190.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/066_gcc.smt2       |   20.046s | 211.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/099_gcc.smt2       |   20.046s | 242.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/960_sqlite3.smt2 |   20.046s | 280.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/830_sqlite3.smt2 |   20.046s | 235.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/417_oggenc.smt2 |   20.046s | 495.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/286_oggenc.smt2 |   20.046s | 262.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/458_oggenc.smt2 |   20.046s | 144.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/539_ph7.smt2 |   20.046s | 274.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/704_ph7.smt2 |   20.046s | 170.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/431_ph7.smt2 |   20.046s | 178.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/302_gcc.smt2 |   20.046s | 185.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/787_sqlite3.smt2 |   20.046s | 318.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/466_ph7.smt2       |   20.047s | 100.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/742_ph7.smt2       |   20.047s | 220.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/496_ph7.smt2       |   20.047s | 327.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/668_ph7.smt2       |   20.047s | 274.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/630_ph7.smt2       |   20.047s | 322.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/580_ph7.smt2       |   20.047s | 138.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/486_ph7.smt2       |   20.047s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/063_gcc.smt2       |   20.047s | 294.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/922_sqlite3.smt2 |   20.047s | 168.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/352_oggenc.smt2 |   20.047s | 72.984MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/637_ph7.smt2 |   20.047s | 207.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/657_ph7.smt2 |   20.047s | 127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/287_gcc.smt2 |   20.047s | 33.352MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/270_gcc.smt2 |   20.047s | 201.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/132_gcc.smt2 |   20.047s | 81.588MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/849_sqlite3.smt2 |   20.047s | 107.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/965_sqlite3.smt2 |   20.047s | 209.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/856_sqlite3.smt2 |   20.047s | 35.052MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/594_ph7.smt2       |   20.048s | 216.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/642_ph7.smt2       |   20.048s | 302.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/758_ph7.smt2       |   20.048s | 103.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/660_ph7.smt2       |   20.048s | 219.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/135_gcc.smt2       |   20.048s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/904_sqlite3.smt2 |   20.048s | 267.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/858_sqlite3.smt2 |   20.048s | 392.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/338_oggenc.smt2 |   20.048s | 255.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/605_ph7.smt2 |   20.048s | 147.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/633_ph7.smt2 |   20.048s | 82.604MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/315_gcc.smt2 |   20.048s | 252.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/349_oggenc.smt2 |   20.048s | 391.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/506_ph7.smt2       |   20.049s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/103_gcc.smt2       |   20.049s | 451.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/804_sqlite3.smt2 |   20.049s | 260.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/899_sqlite3.smt2 |   20.049s | 215.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/399_oggenc.smt2 |   20.049s | 273.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/378_oggenc.smt2 |   20.049s | 104.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/521_ph7.smt2 |   20.049s | 199.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/446_ph7.smt2 |   20.049s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/313_gcc.smt2 |   20.049s | 215.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/257_gcc.smt2 |   20.049s | 182.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/118_gcc.smt2 |   20.049s | 73.676MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/865_sqlite3.smt2 |   20.049s | 326.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/950_sqlite3.smt2 |   20.049s | 304.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/396_oggenc.smt2 |   20.049s | 275.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/370_oggenc.smt2 |   20.049s | 571.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/492_ph7.smt2       |   20.050s | 285.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/224_gcc.smt2       |   20.050s | 313.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/798_sqlite3.smt2 |   20.050s | 311.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/406_ph7.smt2 |   20.050s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/523_ph7.smt2 |   20.050s | 54.192MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/434_ph7.smt2 |   20.050s | 269.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/746_ph7.smt2 |   20.050s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/807_sqlite3.smt2 |   20.050s | 229.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/884_sqlite3.smt2 |   20.050s | 518.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/797_sqlite3.smt2 |   20.050s | 312.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/733_ph7.smt2       |   20.051s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/046_gcc.smt2       |   20.051s | 301.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/278_oggenc.smt2 |   20.051s | 499.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/395_oggenc.smt2 |   20.051s | 325.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/297_oggenc.smt2 |   20.051s | 475.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/432_ph7.smt2 |   20.051s | 282.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/671_ph7.smt2 |   20.051s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/546_ph7.smt2 |   20.051s | 296.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/532_ph7.smt2 |   20.051s | 186.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/624_ph7.smt2 |   20.051s | 51.888MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/084_gcc.smt2 |   20.051s | 188.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/654_ph7.smt2       |   20.052s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/472_ph7.smt2       |   20.052s | 305.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/599_ph7.smt2       |   20.052s | 53.696MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/688_ph7.smt2       |   20.052s | 265.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/598_ph7.smt2       |   20.052s | 185.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/210_gcc.smt2       |   20.052s | 292.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/110_gcc.smt2       |   20.052s | 374.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/091_gcc.smt2       |   20.052s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/902_sqlite3.smt2 |   20.052s | 324.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/501_ph7.smt2 |   20.052s | 457.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/037_bzip2.smt2 |   20.052s | 184.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/157_gcc.smt2 |   20.052s | 262.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/134_gcc.smt2 |   20.052s | 159.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/104_gcc.smt2 |   20.052s | 220.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/147_gcc.smt2 |   20.052s | 197.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/176_gcc.smt2 |   20.052s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/054_gcc.smt2 |   20.052s | 265.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/972_sqlite3.smt2 |   20.052s | 227.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/903_sqlite3.smt2 |   20.052s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/763_sqlite3.smt2 |   20.052s | 318.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/366_oggenc.smt2 |   20.052s | 704.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/498_ph7.smt2       |   20.053s | 236.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/242_gcc.smt2       |   20.053s | 170.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/364_oggenc.smt2 |   20.053s | 419.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/292_oggenc.smt2 |   20.053s | 512.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/686_ph7.smt2 |   20.053s | 605.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/188_gcc.smt2 |   20.053s | 76.56MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/085_gcc.smt2 |   20.053s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/185_gcc.smt2 |   20.053s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/764_sqlite3.smt2 |   20.053s | 130.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/619_ph7.smt2       |   20.054s | 404.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/617_ph7.smt2       |   20.054s | 326.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/484_ph7.smt2       |   20.054s | 244.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/188_gcc.smt2       |   20.054s | 387.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/147_gcc.smt2       |   20.054s | 279.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/844_sqlite3.smt2 |   20.054s | 278.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/941_sqlite3.smt2 |   20.054s | 330.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/376_oggenc.smt2 |   20.054s | 352.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/424_oggenc.smt2 |   20.054s | 176.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/318_oggenc.smt2 |   20.054s | 266.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/087_gcc.smt2 |   20.054s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/070_gcc.smt2 |   20.054s | 354.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/182_gcc.smt2 |   20.054s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/976_sqlite3.smt2 |   20.054s | 69.54MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/499_ph7.smt2       |   20.055s | 395.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/052_gcc.smt2 |   20.055s | 261.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/629_ph7.smt2       |   20.056s | 362.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/503_ph7.smt2       |   20.056s | 281.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/679_ph7.smt2 |   20.056s | 208.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/011_bzip2.smt2 |   20.056s | 398.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/024_bzip2.smt2 |   20.056s | 160.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/987_sqlite3.smt2 |   20.056s | 264.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/361_oggenc.smt2 |   20.056s | 257.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/604_ph7.smt2       |   20.057s | 288.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gzip/253_gzip.smt2     |   20.057s | 317.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/169_gcc.smt2       |   20.057s | 601.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/393_oggenc.smt2 |   20.057s | 380.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/574_ph7.smt2 |   20.057s | 190.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/592_ph7.smt2 |   20.057s | 281.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/615_ph7.smt2 |   20.057s | 157.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/026_bzip2.smt2 |   20.057s | 163.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/693_ph7.smt2       |   20.058s | 399.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/546_ph7.smt2       |   20.058s | 383.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/634_ph7.smt2       |   20.058s | 329.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/182_gcc.smt2       |   20.058s | 216.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/910_sqlite3.smt2 |   20.058s | 868.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/926_sqlite3.smt2 |   20.058s | 884.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/665_ph7.smt2 |   20.058s | 364.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/461_ph7.smt2 |   20.058s | 43.812MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/049_gcc.smt2 |   20.058s | 515.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/141_gcc.smt2 |   20.058s | 515.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/177_gcc.smt2 |   20.058s | 340.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/293_gcc.smt2 |   20.058s | 167.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/844_sqlite3.smt2 |   20.058s | 333.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/820_sqlite3.smt2 |   20.058s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/880_sqlite3.smt2 |   20.058s | 232.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/656_ph7.smt2       |   20.059s | 273.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/718_ph7.smt2       |   20.059s | 148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/146_gcc.smt2       |   20.059s | 294.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/987_sqlite3.smt2 |   20.059s | 455.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/414_oggenc.smt2 |   20.059s | 169.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/569_ph7.smt2 |   20.059s | 276.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/142_gcc.smt2 |   20.059s | 181.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/100_gcc.smt2 |   20.059s | 82.432MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/608_ph7.smt2       |   20.060s | 389.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/690_ph7.smt2       |   20.060s | 371.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/055_gcc.smt2       |   20.060s | 216.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/817_sqlite3.smt2 |   20.060s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/346_oggenc.smt2 |   20.060s | 222.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/554_ph7.smt2 |   20.060s | 252.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/006_bzip2.smt2 |   20.060s | 151.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/072_gcc.smt2 |   20.060s | 312.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/083_gcc.smt2 |   20.060s | 312.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/174_gcc.smt2 |   20.060s | 33.668MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/857_sqlite3.smt2 |   20.060s | 746.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/726_ph7.smt2       |   20.061s | 259.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/740_ph7.smt2       |   20.061s | 307.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/232_gcc.smt2       |   20.061s | 546.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/162_gcc.smt2       |   20.061s | 512.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/958_sqlite3.smt2 |   20.061s | 423.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/337_oggenc.smt2 |   20.061s | 238.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/639_ph7.smt2 |   20.061s | 213.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/264_gcc.smt2 |   20.061s | 68.548MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/220_gcc.smt2 |   20.061s | 32.76MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/871_sqlite3.smt2 |   20.061s | 93.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/928_sqlite3.smt2 |   20.061s | 179.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/107_gcc.smt2       |   20.062s | 450.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/150_gcc.smt2       |   20.062s | 678.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/488_ph7.smt2 |   20.062s | 158.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/331_gzip.smt2 |   20.062s | 145.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/014_bzip2.smt2 |   20.062s | 342.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/071_gcc.smt2 |   20.062s | 475.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/290_gcc.smt2 |   20.062s | 279.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/946_sqlite3.smt2 |   20.062s | 325.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/226_gcc.smt2       |   20.063s | 557.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/214_gcc.smt2       |   20.063s | 492.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/802_sqlite3.smt2 |   20.063s | 232.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/030_bzip2.smt2 |   20.063s | 334.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/015_bzip2.smt2 |   20.063s | 333.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/394_oggenc.smt2 |   20.063s | 478.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/965_sqlite3.smt2 |   20.064s | 85.948MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/373_oggenc.smt2 |   20.064s | 570.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/524_ph7.smt2 |   20.064s | 240.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/000_bzip2.smt2 |   20.064s | 230.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/067_gcc.smt2 |   20.064s | 221.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/939_sqlite3.smt2 |   20.064s | 321.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/572_ph7.smt2       |   20.065s | 359.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/056_gcc.smt2       |   20.065s | 308.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/754_ph7.smt2 |   20.065s | 401.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/250_gcc.smt2 |   20.065s | 377.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/308_gcc.smt2 |   20.065s | 347.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/842_sqlite3.smt2 |   20.065s | 591.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/858_sqlite3.smt2 |   20.065s | 431.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/183_gcc.smt2       |   20.066s | 493.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/179_gcc.smt2       |   20.066s | 654.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/709_ph7.smt2 |   20.066s | 309.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/551_ph7.smt2 |   20.066s | 504.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/738_ph7.smt2 |   20.066s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/578_ph7.smt2 |   20.066s | 440.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/310_gcc.smt2 |   20.066s | 602.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/260_gcc.smt2 |   20.066s | 215.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/244_gcc.smt2 |   20.066s | 324.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/947_sqlite3.smt2 |   20.066s | 459.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/128_gcc.smt2       |   20.067s | 868.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/209_gcc.smt2       |   20.067s | 896.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/187_gcc.smt2       |   20.067s | 984.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/333_oggenc.smt2 |   20.067s | 164.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/423_ph7.smt2 |   20.067s | 273.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/439_ph7.smt2 |   20.067s | 47.508MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/581_ph7.smt2 |   20.067s | 255.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/096_gcc.smt2 |   20.067s | 360.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/205_gcc.smt2 |   20.067s | 393.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/221_gcc.smt2 |   20.067s | 445.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/628_ph7.smt2       |   20.068s | 459.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/145_gcc.smt2 |   20.068s | 466.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/156_gcc.smt2 |   20.068s | 410.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/796_sqlite3.smt2 |   20.068s | 140.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/474_ph7.smt2 |   20.069s | 172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/596_ph7.smt2 |   20.069s | 385.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/398_ph7.smt2 |   20.069s | 491.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/249_gcc.smt2 |   20.069s | 365.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/086_gcc.smt2 |   20.069s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/826_sqlite3.smt2 |   20.069s | 520.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/876_sqlite3.smt2 |   20.069s | 307.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/347_oggenc.smt2 |   20.069s | 500.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/404_ph7.smt2 |   20.070s | 486.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/044_gcc.smt2 |   20.070s | 512.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/808_sqlite3.smt2 |   20.071s | 492.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/254_gcc.smt2 |   20.071s | 630.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/043_gcc.smt2 |   20.071s | 262.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/297_gcc.smt2 |   20.071s | 515.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/168_gcc.smt2 |   20.071s | 346.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/355_oggenc.smt2 |   20.071s | 580.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/825_sqlite3.smt2 |   20.072s | 891.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/712_ph7.smt2 |   20.072s | 432.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/780_sqlite3.smt2 |   20.072s | 381.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/486_ph7.smt2 |   20.073s | 136.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/018_bzip2.smt2 |   20.073s | 338.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/162_gcc.smt2 |   20.073s | 402.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/899_sqlite3.smt2 |   20.073s | 199.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/916_sqlite3.smt2 |   20.073s | 52.192MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/193_gcc.smt2       |   20.074s | 532.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/463_ph7.smt2 |   20.074s | 457.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/587_ph7.smt2 |   20.074s | 523.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/627_ph7.smt2 |   20.074s | 275.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/028_bzip2.smt2 |   20.074s | 428.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/356_oggenc.smt2 |   20.074s | 545.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/362_oggenc.smt2 |   20.074s | 562.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/138_gcc.smt2       |   20.075s | 549.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/630_ph7.smt2 |   20.075s | 485.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/077_gcc.smt2       |   20.076s | 625.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/535_ph7.smt2 |   20.076s | 459.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/814_sqlite3.smt2 |   20.076s | 107.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/790_ph7.smt2       |   20.077s | 270.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/585_ph7.smt2 |   20.077s | 518.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/963_sqlite3.smt2 |   20.077s | 224.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/748_ph7.smt2 |   20.078s | 670.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/251_gcc.smt2 |   20.078s | 550.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/835_sqlite3.smt2 |   20.078s | 540.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/343_oggenc.smt2 |   20.078s | 453.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/659_ph7.smt2       |   20.079s | 587.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/102_gcc.smt2 |   20.079s | 189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/213_gcc.smt2       |   20.080s | 785.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/058_gcc.smt2 |   20.080s | 1016.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/053_gcc.smt2 |   20.081s | 338.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/937_sqlite3.smt2 |   20.082s | 873.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/694_ph7.smt2 |   20.082s | 602.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/029_bzip2.smt2 |   20.082s | 165.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/274_gcc.smt2 |   20.082s | 536.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/237_gcc.smt2       |   20.083s | 785.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/246_gcc.smt2 |   20.084s | 573.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/926_sqlite3.smt2 |   20.084s | 814.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/306_oggenc.smt2 |   20.085s | 436.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/695_ph7.smt2 |   20.085s | 964.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/064_gcc.smt2 |   20.085s | 648.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/595_ph7.smt2 |   20.086s | 483.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/289_gcc.smt2 |   20.086s | 1012.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/174_gcc.smt2       |   20.087s | 932.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/362_oggenc.smt2 |   20.087s | 485.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/477_ph7.smt2 |   20.087s | 720.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/035_bzip2.smt2 |   20.087s | 500.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/534_ph7.smt2 |   20.088s | 755.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/829_sqlite3.smt2 |   20.090s | 847.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/173_gcc.smt2       |   20.091s | 1012.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/167_gcc.smt2       |   20.091s | 1026.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/113_gcc.smt2       |   20.091s | 951.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/620_ph7.smt2 |   20.091s | 981.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/004_bzip2.smt2 |   20.091s | 491.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/161_gcc.smt2 |   20.091s | 1013.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/271_gcc.smt2 |   20.091s | 625.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/752_ph7.smt2 |   20.092s | 711.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/444_ph7.smt2 |   20.093s | 713.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/173_gcc.smt2 |   20.093s | 595.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/117_gcc.smt2       |   20.094s | 984.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/081_gcc.smt2       |   20.094s | 904.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/415_oggenc.smt2 |   20.094s | 457.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/337_gzip.smt2 |   20.094s | 645.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/027_bzip2.smt2 |   20.094s | 609.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/508_ph7.smt2       |   20.095s | 800.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/332_oggenc.smt2 |   20.095s | 512.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/336_oggenc.smt2 |   20.095s | 555.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/010_bzip2.smt2 |   20.097s | 280.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/782_sqlite3.smt2 |   20.097s | 692.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/497_ph7.smt2 |   20.098s | 597.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/058_gcc.smt2       |   20.099s | 1032.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/441_oggenc.smt2 |   20.099s | 476.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/407_oggenc.smt2 |   20.099s | 493.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/860_sqlite3.smt2 |   20.101s | 844.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/992_sqlite3.smt2 |   20.101s | 793.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/327_oggenc.smt2 |   20.102s | 482.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/758_ph7.smt2 |   20.102s | 524.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/438_ph7.smt2 |   20.102s | 419.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/090_gcc.smt2       |   20.104s | 900.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/021_bzip2.smt2 |   20.104s | 780.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/924_sqlite3.smt2 |   20.104s | 597.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/973_sqlite3.smt2 |   20.105s | 892.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/032_gcc.smt2       |   20.106s | 1059.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/732_ph7.smt2 |   20.106s | 520.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/184_gcc.smt2 |   20.107s | 1019.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/180_gcc.smt2       |   20.108s | 1010.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/298_oggenc.smt2 |   20.108s | 601.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/327_gzip.smt2 |   20.109s | 745.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/494_ph7.smt2       |   20.111s | 954.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/059_gcc.smt2 |   20.111s | 817.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/235_gcc.smt2 |   20.112s | 997.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/750_ph7.smt2 |   20.113s | 928.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/841_sqlite3.smt2 |   20.118s | 1990.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/416_oggenc.smt2 |   20.119s | 761.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/561_ph7.smt2 |   20.119s | 1052.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/047_gcc.smt2 |   20.121s | 973.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/118_gcc.smt2       |   20.122s | 1127.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/503_ph7.smt2 |   20.124s | 598.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/674_ph7.smt2 |   20.129s | 1210.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/720_ph7.smt2 |   20.133s | 1015.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/579_ph7.smt2       |   20.134s | 1341.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/525_ph7.smt2 |   20.136s | 1123.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/045_gcc.smt2 |   20.136s | 1117.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/101_gcc.smt2 |   20.137s | 1093.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/991_sqlite3.smt2 |   20.142s | 1178.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/636_ph7.smt2       |   20.144s | 1262.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/718_ph7.smt2 |   20.144s | 1170.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/364_oggenc.smt2 |   20.145s | 1384.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/970_sqlite3.smt2 |   20.147s | 1247.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/207_gcc.smt2 |   20.148s | 1907.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/490_ph7.smt2 |   20.149s | 1337.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/222_gcc.smt2 |   20.149s | 1373.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/892_sqlite3.smt2 |   20.160s | 1247.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/077_gcc.smt2 |   20.162s | 1881.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/411_ph7.smt2 |   20.164s | 1439.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/110_gcc.smt2 |   20.167s | 1612.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/606_ph7.smt2 |   20.169s | 1472.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/943_sqlite3.smt2 |   20.171s | 1527.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/192_gcc.smt2 |   20.173s | 1986.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/901_sqlite3.smt2 |   20.175s | 1769.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/236_gcc.smt2 |   20.177s | 1577.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/526_ph7.smt2       |   20.180s | 1510.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/242_gcc.smt2 |   20.180s | 1909.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/050_gcc.smt2       |   20.181s | 2456.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/687_ph7.smt2 |   20.182s | 1836.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/882_sqlite3.smt2 |   20.183s | 2038.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/377_oggenc.smt2 |   20.184s | 1821.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/138_gcc.smt2 |   20.185s | 1930.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/307_gcc.smt2 |   20.188s | 1906.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/353_oggenc.smt2 |   20.190s | 2228.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/609_ph7.smt2       |   20.192s | 1892.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/334_oggenc.smt2 |   20.194s | 2158.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/475_ph7.smt2 |   20.205s | 2070.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/998_sqlite3.smt2 |   20.210s | 2077.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/305_gcc.smt2 |   20.211s | 2052.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/725_ph7.smt2 |   20.221s | 2534.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/201_gcc.smt2 |   20.224s | 2020.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/219_gcc.smt2 |   20.230s | 1932.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/727_ph7.smt2 |   20.236s | 2045.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/354_oggenc.smt2 |   20.237s | 2806.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/443_ph7.smt2 |   20.246s | 2087.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/365_oggenc.smt2 |   20.246s | 2677.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/773_ph7.smt2       |   20.253s | 3501.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/519_ph7.smt2 |   20.255s | 1815.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/993_sqlite3.smt2 |   20.256s | 3777.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/743_ph7.smt2       |   20.259s | 3184.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/415_ph7.smt2 |   20.259s | 2143.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/099_gcc.smt2 |   20.260s | 3741.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/378_oggenc.smt2 |   20.271s | 2876.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/390_oggenc.smt2 |   20.279s | 2677.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/278_gcc.smt2 |   20.287s | 2757.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/692_ph7.smt2 |   20.290s | 3699.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/570_ph7.smt2 |   20.299s | 2619.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/660_ph7.smt2 |   20.305s | 2655.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/467_ph7.smt2       |   20.307s | 3373.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/613_ph7.smt2       |   20.320s | 3148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/079_gcc.smt2 |   20.337s | 2671.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/494_ph7.smt2 |   20.341s | 2744.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/784_sqlite3.smt2 |   20.341s | 3599.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/345_oggenc.smt2 |   20.343s | 4169.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/094_gcc.smt2 |   20.347s | 2915.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/794_sqlite3.smt2 |   20.350s | 3281.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/061_gcc.smt2 |   20.362s | 2915.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/959_sqlite3.smt2 |   20.363s | 3697.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/581_ph7.smt2       |   20.372s | 3876.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/930_sqlite3.smt2 |   20.382s | 3668.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/741_ph7.smt2 |   20.386s | 3651.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/883_sqlite3.smt2 |   20.390s | 4233.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/975_sqlite3.smt2 |   20.396s | 3812.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/936_sqlite3.smt2 |   20.400s | 4464.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/568_ph7.smt2 |   20.408s | 3815.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/850_sqlite3.smt2 |   20.411s | 4189.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/898_sqlite3.smt2 |   20.414s | 3729.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/685_ph7.smt2 |   20.415s | 3526.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/918_sqlite3.smt2 |   20.416s | 3680.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/811_sqlite3.smt2 |   20.417s | 3600.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/573_ph7.smt2 |   20.419s | 4133.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/381_oggenc.smt2 |   20.426s | 5585.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/459_ph7.smt2 |   20.448s | 3788.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/217_gcc.smt2 |   20.456s | 4571.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/418_ph7.smt2 |   20.461s | 3788.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/557_ph7.smt2 |   20.461s | 4272.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/970_sqlite3.smt2 |   20.475s | 6985.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/314_oggenc.smt2 |   20.475s | 6825.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/897_sqlite3.smt2 |   20.487s | 7598.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/038_bzip2.smt2 |   20.493s | 4732.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/213_gcc.smt2 |   20.499s | 4549.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/614_ph7.smt2 |   20.501s | 4971.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/593_ph7.smt2 |   20.505s | 4861.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/866_sqlite3.smt2 |   20.507s | 5943.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/631_ph7.smt2 |   20.509s | 4733.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/393_oggenc.smt2 |   20.510s | 6876.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/ph7/699_ph7.smt2       |   20.517s | 5272.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/377_oggenc.smt2 |   20.525s | 6013.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/373_oggenc.smt2 |   20.526s | 5974.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/837_sqlite3.smt2 |   20.534s | 5250.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/sqlite3/938_sqlite3.smt2 |   20.542s | 6518.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/oggenc/329_oggenc.smt2 |   20.559s | 7845.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/339_oggenc.smt2 |   20.559s | 7023.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/843_sqlite3.smt2 |   20.568s | 6053.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/159_gcc.smt2 |   20.571s | 5848.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/216_gcc.smt2 |   20.572s | 5252.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/359_oggenc.smt2 |   20.573s | 7449.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/299_gcc.smt2 |   20.598s | 5667.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/917_sqlite3.smt2 |   20.600s | 5565.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/340_oggenc.smt2 |   20.608s | 6884.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/762_sqlite3.smt2 |   20.610s | 7752.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/140_gcc.smt2       |   20.611s | 6474.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/743_ph7.smt2 |   20.611s | 4980.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/437_ph7.smt2 |   20.617s | 6061.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/736_ph7.smt2 |   20.617s | 6014.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/795_sqlite3.smt2 |   20.624s | 5819.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/997_sqlite3.smt2 |   20.625s | 7867.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/178_gcc.smt2 |   20.626s | 5852.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/854_sqlite3.smt2 |   20.628s | 6146.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/713_ph7.smt2 |   20.631s | 5998.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/195_gcc.smt2 |   20.633s | 5749.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/925_sqlite3.smt2 |   20.635s | 6706.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/133_gcc.smt2 |   20.637s | 7646.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/995_sqlite3.smt2 |   20.637s | 6473.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/649_ph7.smt2 |   20.652s | 5636.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/642_ph7.smt2 |   20.660s | 7052.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/952_sqlite3.smt2 |   20.661s | 5957.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/910_sqlite3.smt2 |   20.661s | 6403.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/170_gcc.smt2 |   20.663s | 6017.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/900_sqlite3.smt2 |   20.664s | 6005.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/gcc/047_gcc.smt2       |   20.674s | 7679.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/090_gcc.smt2 |   20.679s | 5571.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/407_ph7.smt2 |   20.683s | 5869.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/063_gcc.smt2 |   20.683s | 6576.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/399_ph7.smt2 |   20.701s | 6407.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/440_ph7.smt2 |   20.706s | 6248.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/082_gcc.smt2 |   20.711s | 5496.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/511_ph7.smt2 |   20.718s | 6248.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/651_ph7.smt2 |   20.719s | 6775.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/967_sqlite3.smt2 |   20.719s | 6626.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/225_gcc.smt2 |   20.724s | 7148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/812_sqlite3.smt2 |   20.724s | 7197.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/436_ph7.smt2 |   20.730s | 6714.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/622_ph7.smt2 |   20.733s | 6979.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/806_sqlite3.smt2 |   20.733s | 7006.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/607_ph7.smt2 |   20.734s | 7231.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/267_gcc.smt2 |   20.739s | 6937.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/983_sqlite3.smt2 |   20.744s | 8314.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2/bzip2/006_bzip2.smt2   |   20.747s | 8895.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/996_sqlite3.smt2 |   20.748s | 6923.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/542_ph7.smt2 |   20.752s | 7456.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/425_ph7.smt2 |   20.768s | 6979.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/907_sqlite3.smt2 |   20.770s | 6528.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/114_gcc.smt2 |   20.776s | 6483.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/634_ph7.smt2 |   20.783s | 6975.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/978_sqlite3.smt2 |   20.783s | 6684.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/759_sqlite3.smt2 |   20.787s | 7935.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/932_sqlite3.smt2 |   20.794s | 7738.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/653_ph7.smt2 |   20.805s | 7630.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/218_gcc.smt2 |   20.821s | 6442.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/618_ph7.smt2 |   20.822s | 7172.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/589_ph7.smt2 |   20.838s | 7868.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/041_gcc.smt2 |   20.841s | 8128.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/009_bzip2.smt2 |   20.871s | 8646.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/681_ph7.smt2 |   20.874s | 7148.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/638_ph7.smt2 |   20.876s | 8114.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/462_ph7.smt2 |   20.899s | 7829.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/979_sqlite3.smt2 |   20.927s | 8016.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/927_sqlite3.smt2 |   21.006s | 8761.0MiB| timeout | 0 |  |  |
|non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/904_sqlite3.smt2 |   21.118s | 9918.0MiB| timeout | 0 |  |  |
