# . * SAT 126 * UNSAT 233 * TIMEOUT 1155 * UNKNOWN 9 * ERRORS 0 # Meta data 
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-2
Z3 repo: Z3Prover/z3
Z3 commit: 4a90d3105054796562079406e125b9480ac3472b
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_frontend.cpp
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/913_sqlite3.smt2 | 0.046s | 23.604MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/102_gcc.smt2 | 0.058s | 22.22MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/504_ph7.smt2 | 0.059s | 22.344MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/681_ph7.smt2 | 0.059s | 21.516MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/550_ph7.smt2 | 0.059s | 21.904MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/273_gcc.smt2 | 0.070s | 22.144MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/433_oggenc.smt2 | 0.073s | 23.62MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/068_gcc.smt2 | 0.077s | 22.752MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/967_sqlite3.smt2 | 0.080s | 22.916MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/273_gzip.smt2 | 0.081s | 22.932MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/078_gcc.smt2 | 0.088s | 21.56MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/227_gcc.smt2 | 0.094s | 24.796MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/960_sqlite3.smt2 | 0.094s | 28.216MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/291_gcc.smt2 | 0.100s | 23.184MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/771_sqlite3.smt2 | 0.100s | 22.136MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/836_sqlite3.smt2 | 0.102s | 21.76MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/543_ph7.smt2 | 0.112s | 23.332MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/548_ph7.smt2 | 0.114s | 27.668MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/999_sqlite3.smt2 | 0.116s | 25.228MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/725_ph7.smt2 | 0.117s | 24.292MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/341_oggenc.smt2 | 0.119s | 23.084MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/420_oggenc.smt2 | 0.120s | 24.688MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/190_gcc.smt2 | 0.124s | 23.54MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/851_sqlite3.smt2 | 0.125s | 28.14MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/109_gcc.smt2 | 0.127s | 22.724MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/317_oggenc.smt2 | 0.131s | 24.488MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/517_ph7.smt2 | 0.132s | 25.484MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/620_ph7.smt2 | 0.134s | 26.684MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/936_sqlite3.smt2 | 0.134s | 24.752MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/022_bzip2.smt2 | 0.134s | 24.06MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/400_oggenc.smt2 | 0.137s | 28.256MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/280_oggenc.smt2 | 0.138s | 25.22MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/832_sqlite3.smt2 | 0.141s | 27.476MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/284_gcc.smt2 | 0.143s | 22.668MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/549_ph7.smt2 | 0.146s | 30.852MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/616_ph7.smt2 | 0.151s | 27.808MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/382_oggenc.smt2 | 0.179s | 23.692MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/747_ph7.smt2 | 0.184s | 24.1MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/320_oggenc.smt2 | 0.195s | 26.456MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/419_oggenc.smt2 | 0.196s | 29.164MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/389_oggenc.smt2 | 0.210s | 23.184MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/251_gzip.smt2 | 0.214s | 26.236MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/958_sqlite3.smt2 | 0.214s | 22.36MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/197_gcc.smt2 | 0.228s | 28.804MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/855_sqlite3.smt2 | 0.231s | 24.956MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/024_gcc.smt2 | 0.238s | 27.332MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/170_gcc.smt2 | 0.241s | 35.404MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/199_gcc.smt2 | 0.241s | 24.056MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/757_ph7.smt2 | 0.242s | 32.748MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/839_sqlite3.smt2 | 0.248s | 27.996MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/444_oggenc.smt2 | 0.259s | 29.852MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/657_ph7.smt2 | 0.264s | 29.968MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/942_sqlite3.smt2 | 0.265s | 23.98MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/915_sqlite3.smt2 | 0.271s | 35.2MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/691_ph7.smt2 | 0.275s | 27.288MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/437_oggenc.smt2 | 0.277s | 28.84MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/320_gzip.smt2 | 0.278s | 26.72MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/308_oggenc.smt2 | 0.279s | 26.18MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/811_sqlite3.smt2 | 0.284s | 27.832MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/206_gcc.smt2 | 0.285s | 26.424MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/120_gcc.smt2 | 0.287s | 36.18MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/472_ph7.smt2 | 0.302s | 31.556MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/883_sqlite3.smt2 | 0.306s | 41.244MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/818_sqlite3.smt2 | 0.340s | 31.436MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/523_ph7.smt2 | 0.347s | 36.144MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/559_ph7.smt2 | 0.348s | 40.288MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/938_sqlite3.smt2 | 0.349s | 33.364MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/781_sqlite3.smt2 | 0.352s | 65.44MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/045_gcc.smt2 | 0.353s | 31.228MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/992_sqlite3.smt2 | 0.354s | 28.64MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/062_gcc.smt2 | 0.355s | 28.044MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/686_ph7.smt2 | 0.357s | 31.996MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/983_sqlite3.smt2 | 0.357s | 33.748MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/989_sqlite3.smt2 | 0.358s | 24.3MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/105_gcc.smt2 | 0.380s | 27.384MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/462_ph7.smt2 | 0.388s | 41.164MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/658_ph7.smt2 | 0.389s | 24.732MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/349_oggenc.smt2 | 0.391s | 28.52MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/429_ph7.smt2 | 0.421s | 23.296MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/372_oggenc.smt2 | 0.428s | 45.28MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/474_ph7.smt2 | 0.435s | 26.708MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/519_ph7.smt2 | 0.437s | 26.968MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/366_oggenc.smt2 | 0.441s | 32.828MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/695_ph7.smt2 | 0.450s | 27.46MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/719_ph7.smt2 | 0.454s | 29.12MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/302_oggenc.smt2 | 0.458s | 30.82MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/440_oggenc.smt2 | 0.463s | 45.772MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/723_ph7.smt2 | 0.464s | 26.616MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/436_oggenc.smt2 | 0.465s | 54.844MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/376_oggenc.smt2 | 0.465s | 29.904MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/722_ph7.smt2 | 0.478s | 32.392MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/998_sqlite3.smt2 | 0.483s | 22.52MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/534_ph7.smt2 | 0.495s | 53.212MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/467_ph7.smt2 | 0.501s | 29.796MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/027_gcc.smt2 | 0.509s | 31.252MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/756_ph7.smt2 | 0.515s | 32.488MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/121_gcc.smt2 | 0.518s | 27.088MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/139_gcc.smt2 | 0.520s | 34.264MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/215_gcc.smt2 | 0.524s | 34.664MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/451_oggenc.smt2 | 0.524s | 25.444MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/541_ph7.smt2 | 0.538s | 32.1MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/513_ph7.smt2 | 0.539s | 27.368MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/872_sqlite3.smt2 | 0.548s | 31.988MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/923_sqlite3.smt2 | 0.552s | 27.976MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/764_ph7.smt2 | 0.559s | 50.228MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/853_sqlite3.smt2 | 0.580s | 40.876MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/907_sqlite3.smt2 | 0.586s | 27.88MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/700_ph7.smt2 | 0.589s | 39.692MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/126_gcc.smt2 | 0.606s | 36.812MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/137_gcc.smt2 | 0.610s | 29.796MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/676_ph7.smt2 | 0.611s | 28.62MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/552_ph7.smt2 | 0.612s | 91.92MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/896_sqlite3.smt2 | 0.616s | 27.68MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/043_gcc.smt2 | 0.620s | 29.708MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/226_gcc.smt2 | 0.621s | 45.14MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/460_oggenc.smt2 | 0.626s | 40.464MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/572_ph7.smt2 | 0.627s | 53.456MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/198_gcc.smt2 | 0.638s | 35.436MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/945_sqlite3.smt2 | 0.642s | 31.184MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/033_bzip2.smt2 | 0.649s | 46.188MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/406_oggenc.smt2 | 0.660s | 31.516MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/842_sqlite3.smt2 | 0.667s | 31.096MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/353_oggenc.smt2 | 0.683s | 30.892MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/702_ph7.smt2 | 0.685s | 29.316MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/644_ph7.smt2 | 0.687s | 31.4MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/859_sqlite3.smt2 | 0.706s | 28.908MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/013_bzip2.smt2 | 0.713s | 42.188MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/156_gcc.smt2 | 0.716s | 33.676MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/088_gcc.smt2 | 0.729s | 76.376MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/211_gcc.smt2 | 0.731s | 47.732MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/203_gcc.smt2 | 0.732s | 42.872MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/631_ph7.smt2 | 0.744s | 56.332MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/563_ph7.smt2 | 0.769s | 38.364MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/647_ph7.smt2 | 0.776s | 36.308MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/734_ph7.smt2 | 0.797s | 47.328MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/698_ph7.smt2 | 0.804s | 27.016MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/239_gcc.smt2 | 0.810s | 37.5MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/612_ph7.smt2 | 0.823s | 23.78MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/654_ph7.smt2 | 0.830s | 55.728MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/514_ph7.smt2 | 0.840s | 58.836MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/448_oggenc.smt2 | 0.882s | 45.664MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/249_gzip.smt2 | 0.883s | 40.016MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/186_gcc.smt2 | 0.891s | 24.148MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/673_ph7.smt2 | 0.900s | 44.748MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/900_sqlite3.smt2 | 0.902s | 31.256MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/600_ph7.smt2 | 0.918s | 27.352MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/432_oggenc.smt2 | 0.950s | 50.088MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/683_ph7.smt2 | 0.966s | 48.124MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/553_ph7.smt2 | 0.967s | 40.98MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/715_ph7.smt2 | 0.974s | 39.956MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/675_ph7.smt2 | 0.982s | 47.58MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/578_ph7.smt2 | 0.985s | 44.14MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/596_ph7.smt2 | 1.001s | 33.648MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/151_gcc.smt2 | 1.005s | 35.416MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/592_ph7.smt2 | 1.008s | 38.068MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/803_sqlite3.smt2 | 1.020s | 34.216MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/735_ph7.smt2 | 1.049s | 57.752MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/706_ph7.smt2 | 1.075s | 31.592MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/606_ph7.smt2 | 1.106s | 39.712MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/817_sqlite3.smt2 | 1.110s | 46.196MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/253_gcc.smt2 | 1.176s | 83.764MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/712_ph7.smt2 | 1.201s | 40.084MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/691_ph7.smt2 | 1.214s | 63.256MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/561_ph7.smt2 | 1.221s | 50.376MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/675_ph7.smt2 | 1.238s | 35.008MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/954_sqlite3.smt2 | 1.246s | 55.888MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/150_gcc.smt2 | 1.250s | 31.972MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/048_gcc.smt2 | 1.259s | 27.78MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/429_oggenc.smt2 | 1.264s | 36.48MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/576_ph7.smt2 | 1.269s | 28.452MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/240_gcc.smt2 | 1.269s | 29.324MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/655_ph7.smt2 | 1.284s | 24.54MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/064_gcc.smt2 | 1.287s | 32.048MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/402_oggenc.smt2 | 1.376s | 41.6MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/073_gcc.smt2 | 1.380s | 33.78MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/473_ph7.smt2 | 1.386s | 25.392MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/920_sqlite3.smt2 | 1.394s | 28.676MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/645_ph7.smt2 | 1.402s | 27.768MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/176_gcc.smt2 | 1.403s | 28.704MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/683_ph7.smt2 | 1.437s | 43.992MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/367_oggenc.smt2 | 1.460s | 29.084MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/671_ph7.smt2 | 1.483s | 38.768MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/105_gcc.smt2 | 1.497s | 66.404MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/018_bzip2.smt2 | 1.502s | 35.02MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/112_gcc.smt2 | 1.538s | 37.588MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/769_sqlite3.smt2 | 1.562s | 26.516MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/565_ph7.smt2 | 1.600s | 65.496MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/621_ph7.smt2 | 1.604s | 48.3MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/277_gcc.smt2 | 1.618s | 71.384MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/791_sqlite3.smt2 | 1.626s | 190.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/780_ph7.smt2 | 1.654s | 41.512MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/375_oggenc.smt2 | 1.695s | 64.932MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/137_gcc.smt2 | 1.708s | 25.788MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/490_ph7.smt2 | 1.709s | 61.876MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/800_sqlite3.smt2 | 1.723s | 31.984MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/699_ph7.smt2 | 1.726s | 28.616MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/829_sqlite3.smt2 | 1.731s | 34.252MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/855_sqlite3.smt2 | 1.731s | 25.58MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/449_ph7.smt2 | 1.766s | 57.2MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/471_ph7.smt2 | 1.822s | 44.284MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/527_ph7.smt2 | 1.856s | 27.064MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/715_ph7.smt2 | 1.859s | 51.644MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/157_gcc.smt2 | 1.896s | 32.148MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/375_oggenc.smt2 | 1.924s | 88.656MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/075_gcc.smt2 | 1.951s | 31.804MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/831_sqlite3.smt2 | 1.978s | 33.564MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/766_sqlite3.smt2 | 2.007s | 93.876MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/096_gcc.smt2 | 2.012s | 29.208MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/792_sqlite3.smt2 | 2.026s | 25.956MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/397_ph7.smt2 | 2.040s | 95.344MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/984_sqlite3.smt2 | 2.045s | 28.364MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/626_ph7.smt2 | 2.061s | 45.268MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/233_gcc.smt2 | 2.134s | 189.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/502_ph7.smt2 | 2.161s | 41.716MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/964_sqlite3.smt2 | 2.165s | 25.44MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/022_bzip2.smt2 | 2.225s | 37.52MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/853_sqlite3.smt2 | 2.231s | 35.68MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/139_gcc.smt2 | 2.237s | 30.564MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/256_gcc.smt2 | 2.268s | 195.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/786_sqlite3.smt2 | 2.280s | 40.564MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/972_sqlite3.smt2 | 2.336s | 31.8MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/894_sqlite3.smt2 | 2.345s | 27.42MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/502_ph7.smt2 | 2.479s | 34.332MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/898_sqlite3.smt2 | 2.485s | 34.972MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/241_gcc.smt2 | 2.539s | 109.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/646_ph7.smt2 | 2.571s | 32.9MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/335_oggenc.smt2 | 2.605s | 42.084MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/588_ph7.smt2 | 2.608s | 41.916MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/389_oggenc.smt2 | 2.643s | 36.52MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/330_oggenc.smt2 | 2.801s | 121.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/319_gzip.smt2 | 2.847s | 51.8MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/020_bzip2.smt2 | 2.903s | 30.34MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/911_sqlite3.smt2 | 2.907s | 36.016MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/635_ph7.smt2 | 2.923s | 50.324MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/229_gcc.smt2 | 3.012s | 36.784MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/751_ph7.smt2 | 3.037s | 41.952MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/589_ph7.smt2 | 3.052s | 99.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/866_sqlite3.smt2 | 3.055s | 74.456MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/812_sqlite3.smt2 | 3.070s | 32.136MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/245_gzip.smt2 | 3.076s | 34.396MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/990_sqlite3.smt2 | 3.090s | 79.648MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/874_sqlite3.smt2 | 3.145s | 93.72MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/843_sqlite3.smt2 | 3.236s | 44.276MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/716_ph7.smt2 | 3.252s | 34.608MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/347_oggenc.smt2 | 3.284s | 30.792MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/232_gcc.smt2 | 3.430s | 75.564MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/847_sqlite3.smt2 | 3.448s | 96.164MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/637_ph7.smt2 | 3.492s | 33.888MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/427_oggenc.smt2 | 3.499s | 45.536MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/687_ph7.smt2 | 3.504s | 37.568MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/206_gcc.smt2 | 3.504s | 33.324MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/413_ph7.smt2 | 3.531s | 39.652MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/647_ph7.smt2 | 3.553s | 61.872MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/348_oggenc.smt2 | 3.626s | 477.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/751_ph7.smt2 | 3.643s | 57.292MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/639_ph7.smt2 | 3.676s | 56.168MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/540_ph7.smt2 | 3.761s | 70.752MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/985_sqlite3.smt2 | 3.790s | 42.504MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/852_sqlite3.smt2 | 3.966s | 484.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/185_gcc.smt2 | 4.014s | 34.636MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/597_ph7.smt2 | 4.084s | 59.716MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/685_ph7.smt2 | 4.148s | 54.104MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/819_sqlite3.smt2 | 4.171s | 45.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/167_gcc.smt2 | 4.175s | 92.748MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/247_gcc.smt2 | 4.213s | 207.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/816_sqlite3.smt2 | 4.278s | 47.68MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/734_ph7.smt2 | 4.450s | 58.028MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/601_ph7.smt2 | 4.484s | 56.084MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/881_sqlite3.smt2 | 4.563s | 30.752MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/736_ph7.smt2 | 4.570s | 34.764MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/934_sqlite3.smt2 | 4.649s | 59.112MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/141_gcc.smt2 | 4.661s | 188.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/329_gzip.smt2 | 4.718s | 137.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/931_sqlite3.smt2 | 4.719s | 64.784MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/674_ph7.smt2 | 4.734s | 40.74MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/168_gcc.smt2 | 4.850s | 35.728MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/961_sqlite3.smt2 | 4.881s | 109.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/205_gcc.smt2 | 4.920s | 87.184MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/709_ph7.smt2 | 5.027s | 99.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/952_sqlite3.smt2 | 5.467s | 185.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/265_gcc.smt2 | 5.474s | 36.784MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/857_sqlite3.smt2 | 5.646s | 27.76MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/789_ph7.smt2 | 5.649s | 65.196MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/962_sqlite3.smt2 | 5.754s | 73.032MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/765_ph7.smt2 | 6.019s | 109.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/667_ph7.smt2 | 6.071s | 45.616MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/979_sqlite3.smt2 | 6.078s | 44.86MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/778_ph7.smt2 | 6.158s | 41.86MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/641_ph7.smt2 | 6.430s | 36.7MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/172_gcc.smt2 | 6.653s | 170.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/177_gcc.smt2 | 6.883s | 36.596MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/872_sqlite3.smt2 | 6.929s | 85.6MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/184_gcc.smt2 | 6.960s | 75.308MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/500_ph7.smt2 | 7.004s | 51.296MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/516_ph7.smt2 | 7.145s | 39.044MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/331_oggenc.smt2 | 7.162s | 400.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/236_gcc.smt2 | 7.294s | 44.188MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/903_sqlite3.smt2 | 7.324s | 81.604MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/098_gcc.smt2 | 7.472s | 45.792MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/091_gcc.smt2 | 7.663s | 193.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/426_ph7.smt2 | 7.758s | 147.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/813_sqlite3.smt2 | 7.891s | 92.204MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/017_bzip2.smt2 | 7.949s | 33.9MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/104_gcc.smt2 | 8.238s | 74.884MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/260_gzip.smt2 | 8.398s | 82.164MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/925_sqlite3.smt2 | 8.695s | 83.568MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/039_gcc.smt2 | 8.768s | 39.916MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/897_sqlite3.smt2 | 8.775s | 93.572MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/196_gcc.smt2 | 8.903s | 215.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/126_gcc.smt2 | 8.952s | 116.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/230_gcc.smt2 | 9.039s | 42.504MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/868_sqlite3.smt2 | 9.112s | 31.244MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/122_gcc.smt2 | 9.206s | 36.344MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/464_ph7.smt2 | 9.215s | 50.308MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/863_sqlite3.smt2 | 9.750s | 40.652MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/814_sqlite3.smt2 | 9.981s | 40.972MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/876_sqlite3.smt2 | 10.081s | 76.72MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/230_gcc.smt2 | 10.193s | 42.96MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/633_ph7.smt2 | 10.259s | 99.98MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/809_sqlite3.smt2 | 10.355s | 168.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/469_ph7.smt2 | 10.603s | 46.68MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/255_gcc.smt2 | 10.609s | 37.58MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/325_gzip.smt2 | 10.610s | 352.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/845_sqlite3.smt2 | 10.823s | 72.164MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/628_ph7.smt2 | 10.942s | 37.6MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/144_gcc.smt2 | 11.175s | 49.32MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/815_sqlite3.smt2 | 11.709s | 161.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/574_ph7.smt2 | 11.934s | 189.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/945_sqlite3.smt2 | 12.307s | 32.616MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/886_sqlite3.smt2 | 12.450s | 34.58MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/265_gzip.smt2 | 12.520s | 94.444MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/953_sqlite3.smt2 | 12.685s | 150.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/795_sqlite3.smt2 | 12.690s | 42.252MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/735_ph7.smt2 | 12.906s | 189.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/975_sqlite3.smt2 | 13.026s | 49.648MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/511_ph7.smt2 | 13.458s | 55.548MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/148_gcc.smt2 | 13.512s | 97.584MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/507_ph7.smt2 | 13.610s | 87.472MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/746_ph7.smt2 | 13.869s | 53.08MiB| unknown | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/969_sqlite3.smt2 | 14.091s | 43.62MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/991_sqlite3.smt2 | 14.335s | 47.212MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/591_ph7.smt2 | 14.812s | 98.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/517_ph7.smt2 | 14.818s | 56.18MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/522_ph7.smt2 | 14.873s | 126.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/584_ph7.smt2 | 15.247s | 62.632MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/004_bzip2.smt2 | 15.394s | 82.932MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/980_sqlite3.smt2 | 15.407s | 462.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/729_ph7.smt2 | 15.428s | 89.624MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/990_sqlite3.smt2 | 15.573s | 201.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/882_sqlite3.smt2 | 15.604s | 41.608MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/942_sqlite3.smt2 | 15.684s | 160.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/002_bzip2.smt2 | 15.817s | 40.704MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/640_ph7.smt2 | 15.820s | 137.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/166_gcc.smt2 | 15.862s | 38.156MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/452_oggenc.smt2 | 16.187s | 50.48MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/509_ph7.smt2 | 16.858s | 79.244MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/776_ph7.smt2 | 17.023s | 79.428MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/739_ph7.smt2 | 17.548s | 91.228MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/744_ph7.smt2 | 17.585s | 64.48MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/939_sqlite3.smt2 | 17.904s | 43.812MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/711_ph7.smt2 | 17.979s | 66.496MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/307_oggenc.smt2 | 18.839s | 520.0MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/119_gcc.smt2 | 19.004s | 92.812MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/130_gcc.smt2 | 19.135s | 164.0MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/175_gcc.smt2 | 19.153s | 88.5MiB| sat | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/066_gcc.smt2 | 19.246s | 35.696MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/694_ph7.smt2 | 19.524s | 54.38MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/483_ph7.smt2 | 19.999s | 44.392MiB| unsat | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/720_ph7.smt2 | 20.017s | 45.916MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/550_ph7.smt2 | 20.018s | 54.2MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/697_ph7.smt2 | 20.019s | 60.744MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/792_ph7.smt2 | 20.019s | 79.748MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/664_ph7.smt2 | 20.020s | 49.176MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/542_ph7.smt2 | 20.020s | 51.86MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/770_ph7.smt2 | 20.020s | 66.364MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/840_sqlite3.smt2 | 20.020s | 33.332MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/439_ph7.smt2 | 20.020s | 45.24MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/665_ph7.smt2 | 20.021s | 64.452MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/089_gcc.smt2 | 20.021s | 47.728MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/948_sqlite3.smt2 | 20.021s | 45.708MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/326_oggenc.smt2 | 20.021s | 37.644MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/413_oggenc.smt2 | 20.021s | 43.452MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/721_ph7.smt2 | 20.022s | 54.364MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/558_ph7.smt2 | 20.022s | 83.344MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/624_ph7.smt2 | 20.022s | 51.536MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/165_gcc.smt2 | 20.022s | 42.764MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/560_ph7.smt2 | 20.023s | 65.924MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/785_ph7.smt2 | 20.023s | 86.008MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/727_ph7.smt2 | 20.023s | 77.652MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/493_ph7.smt2 | 20.023s | 80.392MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/480_ph7.smt2 | 20.023s | 70.976MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/021_bzip2.smt2 | 20.023s | 66.308MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/093_gcc.smt2 | 20.023s | 46.6MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/074_gcc.smt2 | 20.023s | 49.04MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/111_gcc.smt2 | 20.023s | 65.644MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/831_sqlite3.smt2 | 20.023s | 36.172MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/055_gcc.smt2 | 20.023s | 43.044MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/538_ph7.smt2 | 20.024s | 104.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/541_ph7.smt2 | 20.024s | 89.096MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/638_ph7.smt2 | 20.024s | 69.316MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/551_ph7.smt2 | 20.024s | 80.66MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/623_ph7.smt2 | 20.024s | 97.76MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/766_ph7.smt2 | 20.024s | 61.72MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/178_gcc.smt2 | 20.024s | 49.532MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/152_gcc.smt2 | 20.024s | 38.7MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/235_gcc.smt2 | 20.024s | 46.776MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/479_ph7.smt2 | 20.024s | 81.932MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/470_ph7.smt2 | 20.024s | 58.744MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/552_ph7.smt2 | 20.025s | 65.052MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/682_ph7.smt2 | 20.025s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/164_gcc.smt2 | 20.025s | 45.672MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/827_sqlite3.smt2 | 20.025s | 56.848MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/618_ph7.smt2 | 20.026s | 92.384MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/654_ph7.smt2 | 20.026s | 112.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/614_ph7.smt2 | 20.026s | 80.56MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/475_ph7.smt2 | 20.026s | 107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/587_ph7.smt2 | 20.026s | 90.388MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/662_ph7.smt2 | 20.026s | 99.24MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/573_ph7.smt2 | 20.026s | 69.024MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/171_gcc.smt2 | 20.026s | 68.284MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/703_ph7.smt2 | 20.026s | 39.868MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/498_ph7.smt2 | 20.026s | 57.696MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/480_ph7.smt2 | 20.026s | 45.212MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/679_ph7.smt2 | 20.027s | 117.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/701_ph7.smt2 | 20.027s | 58.04MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/476_ph7.smt2 | 20.027s | 88.828MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/465_ph7.smt2 | 20.027s | 78.004MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/028_gcc.smt2 | 20.027s | 67.212MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/051_gcc.smt2 | 20.027s | 77.076MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/982_sqlite3.smt2 | 20.027s | 84.696MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/526_ph7.smt2 | 20.027s | 56.12MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/771_ph7.smt2 | 20.028s | 107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/731_ph7.smt2 | 20.028s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/487_ph7.smt2 | 20.028s | 132.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/651_ph7.smt2 | 20.028s | 62.912MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/767_ph7.smt2 | 20.028s | 86.624MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/788_ph7.smt2 | 20.028s | 60.368MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/719_ph7.smt2 | 20.028s | 106.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/470_ph7.smt2 | 20.028s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/650_ph7.smt2 | 20.028s | 80.04MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/011_bzip2.smt2 | 20.028s | 83.836MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/127_gcc.smt2 | 20.028s | 38.872MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/085_gcc.smt2 | 20.028s | 58.172MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/100_gcc.smt2 | 20.028s | 64.74MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/384_oggenc.smt2 | 20.028s | 45.948MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/709_ph7.smt2 | 20.028s | 53.904MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/509_ph7.smt2 | 20.028s | 71.436MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/527_ph7.smt2 | 20.028s | 73.812MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/742_ph7.smt2 | 20.029s | 168.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/696_ph7.smt2 | 20.029s | 130.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/506_ph7.smt2 | 20.029s | 125.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/643_ph7.smt2 | 20.029s | 106.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/706_ph7.smt2 | 20.029s | 144.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/669_ph7.smt2 | 20.029s | 54.544MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/724_ph7.smt2 | 20.029s | 140.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/625_ph7.smt2 | 20.029s | 128.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/477_ph7.smt2 | 20.029s | 162.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/106_gcc.smt2 | 20.029s | 59.58MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/946_sqlite3.smt2 | 20.029s | 58.98MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/999_sqlite3.smt2 | 20.029s | 59.956MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/865_sqlite3.smt2 | 20.029s | 86.94MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/760_ph7.smt2 | 20.030s | 90.012MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/741_ph7.smt2 | 20.030s | 103.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/556_ph7.smt2 | 20.030s | 117.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/143_gcc.smt2 | 20.030s | 45.2MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/545_ph7.smt2 | 20.030s | 55.736MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/537_ph7.smt2 | 20.031s | 56.86MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/615_ph7.smt2 | 20.031s | 89.824MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/076_gcc.smt2 | 20.031s | 47.892MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/217_gcc.smt2 | 20.031s | 61.308MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/026_gcc.smt2 | 20.031s | 78.428MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/890_sqlite3.smt2 | 20.031s | 42.488MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/956_sqlite3.smt2 | 20.031s | 93.668MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/993_sqlite3.smt2 | 20.031s | 72.456MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/287_oggenc.smt2 | 20.031s | 101.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/421_oggenc.smt2 | 20.031s | 84.476MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/786_ph7.smt2 | 20.032s | 144.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/763_ph7.smt2 | 20.032s | 121.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/672_ph7.smt2 | 20.032s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/661_ph7.smt2 | 20.032s | 156.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/481_ph7.smt2 | 20.032s | 98.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/216_gcc.smt2 | 20.032s | 79.056MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/241_gcc.smt2 | 20.032s | 87.712MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/059_gcc.smt2 | 20.032s | 64.468MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/978_sqlite3.smt2 | 20.032s | 85.856MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/571_ph7.smt2 | 20.033s | 155.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/547_ph7.smt2 | 20.033s | 153.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/717_ph7.smt2 | 20.033s | 64.632MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/053_gcc.smt2 | 20.033s | 88.856MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/971_sqlite3.smt2 | 20.033s | 70.94MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/279_gcc.smt2 | 20.033s | 101.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/761_sqlite3.smt2 | 20.033s | 95.116MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/772_ph7.smt2 | 20.034s | 167.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/758_ph7.smt2 | 20.034s | 103.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/602_ph7.smt2 | 20.034s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/732_ph7.smt2 | 20.034s | 147.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/698_ph7.smt2 | 20.034s | 135.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/220_gcc.smt2 | 20.034s | 92.84MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/181_gcc.smt2 | 20.034s | 65.128MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/930_sqlite3.smt2 | 20.034s | 73.728MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/965_sqlite3.smt2 | 20.034s | 77.556MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/662_ph7.smt2 | 20.034s | 53.748MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/529_ph7.smt2 | 20.035s | 43.504MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/689_ph7.smt2 | 20.035s | 219.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/072_gcc.smt2 | 20.035s | 51.688MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/069_gcc.smt2 | 20.035s | 54.452MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/087_gcc.smt2 | 20.035s | 118.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/153_gcc.smt2 | 20.035s | 85.912MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/041_gcc.smt2 | 20.035s | 72.096MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/838_sqlite3.smt2 | 20.035s | 95.564MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/632_ph7.smt2 | 20.035s | 82.048MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/787_ph7.smt2 | 20.036s | 139.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/478_ph7.smt2 | 20.036s | 178.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/598_ph7.smt2 | 20.036s | 181.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/042_gcc.smt2 | 20.036s | 48.24MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/116_gcc.smt2 | 20.036s | 85.792MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/088_gcc.smt2 | 20.036s | 36.768MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/968_sqlite3.smt2 | 20.036s | 50.76MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/442_oggenc.smt2 | 20.036s | 103.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/276_gcc.smt2 | 20.036s | 53.3MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/856_sqlite3.smt2 | 20.036s | 35.44MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/580_ph7.smt2 | 20.037s | 111.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/044_gcc.smt2 | 20.037s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/037_gcc.smt2 | 20.037s | 59.968MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/810_sqlite3.smt2 | 20.037s | 116.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/839_sqlite3.smt2 | 20.037s | 52.636MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/443_oggenc.smt2 | 20.037s | 72.752MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/378_oggenc.smt2 | 20.037s | 105.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/738_ph7.smt2 | 20.038s | 180.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/718_ph7.smt2 | 20.038s | 148.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/015_bzip2.smt2 | 20.038s | 49.44MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/135_gcc.smt2 | 20.038s | 90.816MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/212_gcc.smt2 | 20.038s | 53.948MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/352_oggenc.smt2 | 20.038s | 70.556MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/458_oggenc.smt2 | 20.038s | 116.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/538_ph7.smt2 | 20.038s | 81.36MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/624_ph7.smt2 | 20.038s | 51.78MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/768_ph7.smt2 | 20.039s | 68.032MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/754_ph7.smt2 | 20.039s | 236.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/512_ph7.smt2 | 20.039s | 179.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/479_ph7.smt2 | 20.039s | 47.024MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/125_gcc.smt2 | 20.039s | 74.948MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/886_sqlite3.smt2 | 20.039s | 64.448MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/313_oggenc.smt2 | 20.039s | 109.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/448_ph7.smt2 | 20.039s | 48.12MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/205_gcc.smt2 | 20.039s | 75.772MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/737_ph7.smt2 | 20.040s | 98.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/775_ph7.smt2 | 20.040s | 65.984MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/049_gcc.smt2 | 20.040s | 95.828MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/835_sqlite3.smt2 | 20.040s | 47.52MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/425_oggenc.smt2 | 20.040s | 115.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/644_ph7.smt2 | 20.040s | 85.424MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/604_ph7.smt2 | 20.040s | 65.656MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/146_gcc.smt2 | 20.040s | 79.24MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/906_sqlite3.smt2 | 20.040s | 45.248MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/594_ph7.smt2 | 20.041s | 216.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/648_ph7.smt2 | 20.041s | 192.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/510_ph7.smt2 | 20.041s | 94.152MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/523_ph7.smt2 | 20.041s | 50.756MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/577_ph7.smt2 | 20.041s | 30.728MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/135_gcc.smt2 | 20.041s | 32.248MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/777_sqlite3.smt2 | 20.041s | 87.236MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/678_ph7.smt2 | 20.042s | 65.896MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/745_ph7.smt2 | 20.042s | 189.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/518_ph7.smt2 | 20.042s | 46.708MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/202_gcc.smt2 | 20.042s | 138.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/065_gcc.smt2 | 20.042s | 99.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/197_gcc.smt2 | 20.042s | 83.668MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/204_gcc.smt2 | 20.042s | 119.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/955_sqlite3.smt2 | 20.042s | 92.62MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/387_oggenc.smt2 | 20.042s | 99.688MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/594_ph7.smt2 | 20.042s | 30.472MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/575_ph7.smt2 | 20.042s | 38.26MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/287_gcc.smt2 | 20.042s | 32.408MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/062_gcc.smt2 | 20.042s | 45.296MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/783_ph7.smt2 | 20.043s | 58.604MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/536_ph7.smt2 | 20.043s | 140.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/355_oggenc.smt2 | 20.043s | 77.328MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/529_ph7.smt2 | 20.043s | 49.776MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/471_ph7.smt2 | 20.043s | 140.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/976_sqlite3.smt2 | 20.043s | 70.2MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/607_ph7.smt2 | 20.044s | 129.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/488_ph7.smt2 | 20.044s | 56.124MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/562_ph7.smt2 | 20.044s | 94.088MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/498_ph7.smt2 | 20.044s | 237.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/142_gcc.smt2 | 20.044s | 93.536MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/131_gcc.smt2 | 20.044s | 58.368MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/877_sqlite3.smt2 | 20.044s | 26.828MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/867_sqlite3.smt2 | 20.044s | 49.984MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/530_ph7.smt2 | 20.044s | 68.648MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/507_ph7.smt2 | 20.045s | 50.66MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/532_ph7.smt2 | 20.045s | 85.62MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/616_ph7.smt2 | 20.045s | 268.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/491_ph7.smt2 | 20.045s | 81.324MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/098_gcc.smt2 | 20.045s | 121.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/163_gcc.smt2 | 20.045s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/916_sqlite3.smt2 | 20.045s | 61.768MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/423_oggenc.smt2 | 20.045s | 126.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/458_ph7.smt2 | 20.045s | 62.368MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/656_ph7.smt2 | 20.046s | 266.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/463_ph7.smt2 | 20.046s | 238.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/703_ph7.smt2 | 20.046s | 153.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/864_sqlite3.smt2 | 20.046s | 153.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/950_sqlite3.smt2 | 20.046s | 48.088MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/893_sqlite3.smt2 | 20.046s | 56.648MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/034_bzip2.smt2 | 20.046s | 23.9MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/777_ph7.smt2 | 20.047s | 152.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/114_gcc.smt2 | 20.047s | 97.236MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/194_gcc.smt2 | 20.047s | 92.056MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/084_gcc.smt2 | 20.047s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/080_gcc.smt2 | 20.047s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/927_sqlite3.smt2 | 20.047s | 47.232MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/836_sqlite3.smt2 | 20.047s | 69.824MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/312_oggenc.smt2 | 20.047s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/454_oggenc.smt2 | 20.047s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/488_ph7.smt2 | 20.047s | 154.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/424_ph7.smt2 | 20.047s | 54.904MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/465_ph7.smt2 | 20.047s | 56.82MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/331_gzip.smt2 | 20.047s | 86.58MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/260_gcc.smt2 | 20.047s | 143.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/726_ph7.smt2 | 20.048s | 255.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/677_ph7.smt2 | 20.048s | 133.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/524_ph7.smt2 | 20.048s | 111.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/219_gcc.smt2 | 20.048s | 169.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/222_gcc.smt2 | 20.048s | 97.416MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/138_gcc.smt2 | 20.048s | 125.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/095_gcc.smt2 | 20.048s | 134.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/932_sqlite3.smt2 | 20.048s | 154.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/797_sqlite3.smt2 | 20.048s | 50.808MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/414_oggenc.smt2 | 20.048s | 166.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/158_gcc.smt2 | 20.048s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/187_gcc.smt2 | 20.048s | 68.196MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/341_oggenc.smt2 | 20.048s | 29.652MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/680_ph7.smt2 | 20.049s | 51.46MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/705_ph7.smt2 | 20.049s | 185.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/714_ph7.smt2 | 20.049s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/913_sqlite3.smt2 | 20.049s | 52.28MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/316_oggenc.smt2 | 20.049s | 78.22MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/321_oggenc.smt2 | 20.049s | 72.808MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/487_ph7.smt2 | 20.049s | 79.04MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/667_ph7.smt2 | 20.049s | 89.512MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/622_ph7.smt2 | 20.050s | 61.596MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/759_ph7.smt2 | 20.050s | 73.96MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/632_ph7.smt2 | 20.050s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/779_ph7.smt2 | 20.050s | 80.672MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/005_bzip2.smt2 | 20.050s | 47.12MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/029_gcc.smt2 | 20.050s | 56.984MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/099_gcc.smt2 | 20.050s | 165.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/359_oggenc.smt2 | 20.050s | 127.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/601_ph7.smt2 | 20.050s | 51.32MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/584_ph7.smt2 | 20.050s | 32.708MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/427_ph7.smt2 | 20.050s | 56.3MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/739_ph7.smt2 | 20.050s | 125.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/116_gcc.smt2 | 20.050s | 172.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/315_gcc.smt2 | 20.050s | 51.864MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/522_ph7.smt2 | 20.051s | 89.112MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/010_bzip2.smt2 | 20.051s | 94.012MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/191_gcc.smt2 | 20.051s | 128.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/794_sqlite3.smt2 | 20.051s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/929_sqlite3.smt2 | 20.051s | 163.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/311_oggenc.smt2 | 20.051s | 45.216MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/671_ph7.smt2 | 20.051s | 166.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/582_ph7.smt2 | 20.051s | 74.264MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/238_gcc.smt2 | 20.051s | 52.464MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/113_gcc.smt2 | 20.051s | 49.228MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/954_sqlite3.smt2 | 20.051s | 81.264MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/652_ph7.smt2 | 20.052s | 57.832MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/604_ph7.smt2 | 20.052s | 274.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/155_gcc.smt2 | 20.052s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/079_gcc.smt2 | 20.052s | 50.884MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/996_sqlite3.smt2 | 20.052s | 82.188MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/338_oggenc.smt2 | 20.052s | 200.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/382_oggenc.smt2 | 20.052s | 77.556MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/405_oggenc.smt2 | 20.052s | 90.776MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/738_ph7.smt2 | 20.052s | 124.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/103_gcc.smt2 | 20.052s | 77.388MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/881_sqlite3.smt2 | 20.052s | 48.168MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/859_sqlite3.smt2 | 20.052s | 77.564MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/740_ph7.smt2 | 20.053s | 296.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/545_ph7.smt2 | 20.053s | 163.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/782_ph7.smt2 | 20.053s | 55.288MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/617_ph7.smt2 | 20.053s | 317.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/564_ph7.smt2 | 20.053s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/688_ph7.smt2 | 20.053s | 266.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/218_gcc.smt2 | 20.053s | 216.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/469_ph7.smt2 | 20.053s | 167.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/586_ph7.smt2 | 20.053s | 68.904MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/183_gcc.smt2 | 20.053s | 91.36MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/748_ph7.smt2 | 20.054s | 94.468MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/577_ph7.smt2 | 20.054s | 75.732MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/263_gzip.smt2 | 20.054s | 84.84MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/895_sqlite3.smt2 | 20.054s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/949_sqlite3.smt2 | 20.054s | 56.904MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/428_oggenc.smt2 | 20.054s | 184.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/482_ph7.smt2 | 20.054s | 146.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/435_ph7.smt2 | 20.054s | 70.504MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/422_ph7.smt2 | 20.054s | 107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/733_ph7.smt2 | 20.055s | 104.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/496_ph7.smt2 | 20.055s | 326.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/492_ph7.smt2 | 20.055s | 272.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/503_ph7.smt2 | 20.055s | 239.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/019_bzip2.smt2 | 20.055s | 82.108MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/242_gcc.smt2 | 20.055s | 134.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/885_sqlite3.smt2 | 20.055s | 71.744MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/849_sqlite3.smt2 | 20.055s | 99.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/922_sqlite3.smt2 | 20.055s | 98.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/887_sqlite3.smt2 | 20.055s | 54.536MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/951_sqlite3.smt2 | 20.055s | 201.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/969_sqlite3.smt2 | 20.055s | 99.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/124_gcc.smt2 | 20.055s | 147.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/188_gcc.smt2 | 20.055s | 77.252MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/553_ph7.smt2 | 20.056s | 292.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/501_ph7.smt2 | 20.056s | 61.344MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/528_ph7.smt2 | 20.056s | 148.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/995_sqlite3.smt2 | 20.056s | 115.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/878_sqlite3.smt2 | 20.056s | 222.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/963_sqlite3.smt2 | 20.056s | 82.436MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/069_gcc.smt2 | 20.056s | 78.716MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/867_sqlite3.smt2 | 20.056s | 68.664MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/554_ph7.smt2 | 20.057s | 98.468MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/472_ph7.smt2 | 20.057s | 305.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/484_ph7.smt2 | 20.057s | 96.232MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/590_ph7.smt2 | 20.057s | 77.348MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/038_gcc.smt2 | 20.057s | 43.76MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/821_sqlite3.smt2 | 20.057s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/696_ph7.smt2 | 20.057s | 82.38MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/590_ph7.smt2 | 20.057s | 72.72MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/286_gcc.smt2 | 20.057s | 92.532MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/539_ph7.smt2 | 20.058s | 129.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/660_ph7.smt2 | 20.058s | 219.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/599_ph7.smt2 | 20.058s | 51.272MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/023_bzip2.smt2 | 20.058s | 72.304MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/943_sqlite3.smt2 | 20.058s | 89.348MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/346_oggenc.smt2 | 20.058s | 208.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/657_ph7.smt2 | 20.058s | 85.444MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/431_ph7.smt2 | 20.058s | 163.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/528_ph7.smt2 | 20.058s | 82.596MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/334_gzip.smt2 | 20.058s | 92.224MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/227_gcc.smt2 | 20.058s | 99.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/885_sqlite3.smt2 | 20.058s | 123.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/482_ph7.smt2 | 20.059s | 62.424MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/630_ph7.smt2 | 20.059s | 312.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/640_ph7.smt2 | 20.059s | 350.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/207_gcc.smt2 | 20.059s | 192.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/914_sqlite3.smt2 | 20.059s | 173.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/833_sqlite3.smt2 | 20.059s | 69.532MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/339_oggenc.smt2 | 20.059s | 85.844MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/441_ph7.smt2 | 20.059s | 80.372MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/229_gcc.smt2 | 20.059s | 133.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/575_ph7.smt2 | 20.060s | 129.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/497_ph7.smt2 | 20.060s | 127.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/921_sqlite3.smt2 | 20.060s | 143.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/351_oggenc.smt2 | 20.060s | 160.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/418_oggenc.smt2 | 20.060s | 58.34MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/656_ph7.smt2 | 20.060s | 34.58MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/603_ph7.smt2 | 20.060s | 151.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/637_ph7.smt2 | 20.060s | 166.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/544_ph7.smt2 | 20.060s | 78.016MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/658_ph7.smt2 | 20.060s | 89.068MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/199_gcc.smt2 | 20.060s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/804_sqlite3.smt2 | 20.060s | 189.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/466_ph7.smt2 | 20.061s | 99.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/232_gcc.smt2 | 20.061s | 291.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/067_gcc.smt2 | 20.061s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/889_sqlite3.smt2 | 20.061s | 45.888MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/395_oggenc.smt2 | 20.061s | 153.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/432_ph7.smt2 | 20.061s | 119.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/483_ph7.smt2 | 20.061s | 101.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/403_ph7.smt2 | 20.061s | 73.244MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/716_ph7.smt2 | 20.062s | 155.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/086_gcc.smt2 | 20.062s | 235.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/182_gcc.smt2 | 20.062s | 217.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/801_sqlite3.smt2 | 20.062s | 70.976MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/947_sqlite3.smt2 | 20.062s | 69.76MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/924_sqlite3.smt2 | 20.062s | 224.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/268_gcc.smt2 | 20.062s | 89.024MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/755_ph7.smt2 | 20.063s | 137.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/097_gcc.smt2 | 20.063s | 228.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/957_sqlite3.smt2 | 20.063s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/869_sqlite3.smt2 | 20.063s | 107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/383_oggenc.smt2 | 20.063s | 111.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/309_oggenc.smt2 | 20.063s | 52.228MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/327_oggenc.smt2 | 20.063s | 267.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/464_ph7.smt2 | 20.063s | 148.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/612_ph7.smt2 | 20.064s | 309.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/499_ph7.smt2 | 20.064s | 389.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/790_ph7.smt2 | 20.064s | 270.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/091_gcc.smt2 | 20.064s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/856_sqlite3.smt2 | 20.064s | 84.796MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/296_oggenc.smt2 | 20.064s | 182.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/745_ph7.smt2 | 20.064s | 74.604MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/417_ph7.smt2 | 20.064s | 83.248MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/623_ph7.smt2 | 20.064s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/298_gcc.smt2 | 20.064s | 149.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/154_gcc.smt2 | 20.064s | 157.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/239_gcc.smt2 | 20.064s | 41.188MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/165_gcc.smt2 | 20.064s | 46.968MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/769_ph7.smt2 | 20.065s | 162.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/586_ph7.smt2 | 20.065s | 99.292MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/822_sqlite3.smt2 | 20.065s | 199.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/973_sqlite3.smt2 | 20.065s | 121.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/837_sqlite3.smt2 | 20.065s | 55.7MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/854_sqlite3.smt2 | 20.065s | 246.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/817_sqlite3.smt2 | 20.065s | 101.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/364_oggenc.smt2 | 20.065s | 368.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/595_ph7.smt2 | 20.065s | 191.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/451_ph7.smt2 | 20.065s | 86.24MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/304_gcc.smt2 | 20.065s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/228_gcc.smt2 | 20.065s | 92.208MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/713_ph7.smt2 | 20.066s | 80.456MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/066_gcc.smt2 | 20.066s | 211.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/860_sqlite3.smt2 | 20.066s | 73.292MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/283_gcc.smt2 | 20.066s | 129.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/852_sqlite3.smt2 | 20.066s | 72.424MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/521_ph7.smt2 | 20.067s | 107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/009_bzip2.smt2 | 20.067s | 54.364MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/210_gcc.smt2 | 20.067s | 275.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/030_gcc.smt2 | 20.067s | 261.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/046_gcc.smt2 | 20.067s | 271.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/884_sqlite3.smt2 | 20.067s | 52.248MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/380_oggenc.smt2 | 20.067s | 64.8MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/446_ph7.smt2 | 20.067s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/513_ph7.smt2 | 20.067s | 81.74MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/680_ph7.smt2 | 20.067s | 145.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/749_ph7.smt2 | 20.067s | 110.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/301_gcc.smt2 | 20.067s | 162.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/050_gcc.smt2 | 20.067s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/163_gcc.smt2 | 20.067s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/823_sqlite3.smt2 | 20.067s | 135.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/873_sqlite3.smt2 | 20.068s | 165.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/796_sqlite3.smt2 | 20.068s | 56.284MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/717_ph7.smt2 | 20.068s | 62.856MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/486_ph7.smt2 | 20.068s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/086_gcc.smt2 | 20.068s | 137.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/160_gcc.smt2 | 20.069s | 276.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/136_gcc.smt2 | 20.069s | 77.584MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/844_sqlite3.smt2 | 20.069s | 244.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/802_sqlite3.smt2 | 20.069s | 232.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/740_ph7.smt2 | 20.069s | 73.732MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/704_ph7.smt2 | 20.069s | 171.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/330_gzip.smt2 | 20.069s | 37.596MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/155_gcc.smt2 | 20.069s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/142_gcc.smt2 | 20.069s | 179.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/054_gcc.smt2 | 20.069s | 265.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/820_sqlite3.smt2 | 20.070s | 187.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/828_sqlite3.smt2 | 20.070s | 122.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/880_sqlite3.smt2 | 20.070s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/798_sqlite3.smt2 | 20.070s | 311.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/376_oggenc.smt2 | 20.070s | 311.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/333_oggenc.smt2 | 20.070s | 165.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/588_ph7.smt2 | 20.070s | 256.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/721_ph7.smt2 | 20.070s | 256.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/177_gcc.smt2 | 20.070s | 341.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/243_gcc.smt2 | 20.070s | 147.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/132_gcc.smt2 | 20.070s | 82.152MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/848_sqlite3.smt2 | 20.070s | 78.08MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/035_gcc.smt2 | 20.071s | 262.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/063_gcc.smt2 | 20.071s | 294.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/365_oggenc.smt2 | 20.071s | 207.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/179_gcc.smt2 | 20.071s | 161.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/489_ph7.smt2 | 20.072s | 81.74MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/752_ph7.smt2 | 20.072s | 77.536MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/424_oggenc.smt2 | 20.072s | 172.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/285_oggenc.smt2 | 20.072s | 84.028MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/707_ph7.smt2 | 20.072s | 78.584MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/493_ph7.smt2 | 20.072s | 84.012MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/567_ph7.smt2 | 20.072s | 61.712MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/579_ph7.smt2 | 20.072s | 132.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/270_gcc.smt2 | 20.072s | 200.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/174_gcc.smt2 | 20.072s | 33.232MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/790_sqlite3.smt2 | 20.072s | 77.656MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/468_ph7.smt2 | 20.073s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/904_sqlite3.smt2 | 20.073s | 268.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/988_sqlite3.smt2 | 20.073s | 160.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/286_oggenc.smt2 | 20.073s | 263.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20231002-nysm/aes_ctr_loop_inductive_invariantLoopInductive.smt2 | 20.073s | 73.26MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/756_ph7.smt2 | 20.073s | 109.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/746_ph7.smt2 | 20.073s | 158.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/221_gcc.smt2 | 20.073s | 161.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/531_ph7.smt2 | 20.074s | 167.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/188_gcc.smt2 | 20.074s | 330.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/036_gcc.smt2 | 20.074s | 94.904MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/055_gcc.smt2 | 20.075s | 216.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/394_oggenc.smt2 | 20.075s | 230.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/697_ph7.smt2 | 20.075s | 45.288MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/633_ph7.smt2 | 20.075s | 78.26MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/599_ph7.smt2 | 20.075s | 116.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/057_gcc.smt2 | 20.075s | 52.544MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/909_sqlite3.smt2 | 20.076s | 95.912MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/318_oggenc.smt2 | 20.076s | 217.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/663_ph7.smt2 | 20.076s | 57.7MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/610_ph7.smt2 | 20.076s | 121.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/690_ph7.smt2 | 20.077s | 342.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/981_sqlite3.smt2 | 20.077s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/500_ph7.smt2 | 20.077s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/433_ph7.smt2 | 20.077s | 132.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/537_ph7.smt2 | 20.077s | 91.82MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/592_ph7.smt2 | 20.077s | 282.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/548_ph7.smt2 | 20.077s | 189.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/003_bzip2.smt2 | 20.077s | 48.564MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/574_ph7.smt2 | 20.078s | 118.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/569_ph7.smt2 | 20.078s | 223.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/605_ph7.smt2 | 20.078s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/684_ph7.smt2 | 20.078s | 43.944MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/549_ph7.smt2 | 20.078s | 77.512MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/874_sqlite3.smt2 | 20.078s | 76.18MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/868_sqlite3.smt2 | 20.079s | 272.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/639_ph7.smt2 | 20.079s | 212.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/609_ph7.smt2 | 20.079s | 71.676MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/136_gcc.smt2 | 20.079s | 94.764MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/302_gcc.smt2 | 20.079s | 183.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/060_gcc.smt2 | 20.079s | 86.88MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/171_gcc.smt2 | 20.079s | 44.516MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/957_sqlite3.smt2 | 20.079s | 71.048MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/634_ph7.smt2 | 20.080s | 245.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/879_sqlite3.smt2 | 20.080s | 155.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/291_oggenc.smt2 | 20.080s | 246.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/461_ph7.smt2 | 20.080s | 44.52MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/350_oggenc.smt2 | 20.080s | 42.68MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/826_sqlite3.smt2 | 20.081s | 235.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/944_sqlite3.smt2 | 20.081s | 157.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/076_gcc.smt2 | 20.081s | 111.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/546_ph7.smt2 | 20.082s | 383.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/003_bzip2.smt2 | 20.082s | 47.268MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/420_ph7.smt2 | 20.082s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/556_ph7.smt2 | 20.082s | 154.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/944_sqlite3.smt2 | 20.082s | 89.052MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/668_ph7.smt2 | 20.083s | 275.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/183_gcc.smt2 | 20.083s | 280.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/804_sqlite3.smt2 | 20.084s | 260.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/337_oggenc.smt2 | 20.084s | 229.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/693_ph7.smt2 | 20.085s | 399.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/078_gcc.smt2 | 20.085s | 223.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/941_sqlite3.smt2 | 20.085s | 300.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/399_oggenc.smt2 | 20.085s | 273.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/629_ph7.smt2 | 20.085s | 129.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/825_sqlite3.smt2 | 20.086s | 469.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/902_sqlite3.smt2 | 20.086s | 187.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/666_ph7.smt2 | 20.086s | 130.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/323_gzip.smt2 | 20.086s | 62.532MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/274_gcc.smt2 | 20.086s | 526.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/920_sqlite3.smt2 | 20.086s | 59.752MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/367_oggenc.smt2 | 20.086s | 36.892MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/368_oggenc.smt2 | 20.086s | 78.824MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/077_gcc.smt2 | 20.087s | 365.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/672_ph7.smt2 | 20.087s | 94.996MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/117_gcc.smt2 | 20.087s | 52.656MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/798_sqlite3.smt2 | 20.087s | 100.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/765_sqlite3.smt2 | 20.087s | 85.796MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/515_ph7.smt2 | 20.088s | 144.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/275_gzip.smt2 | 20.088s | 139.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/899_sqlite3.smt2 | 20.088s | 188.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/506_ph7.smt2 | 20.088s | 88.26MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/760_sqlite3.smt2 | 20.088s | 63.94MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/016_bzip2.smt2 | 20.089s | 399.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/146_gcc.smt2 | 20.089s | 294.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/147_gcc.smt2 | 20.089s | 280.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/645_ph7.smt2 | 20.089s | 78.884MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/134_gcc.smt2 | 20.089s | 160.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/180_gcc.smt2 | 20.089s | 56.716MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/726_ph7.smt2 | 20.090s | 76.324MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/818_sqlite3.smt2 | 20.090s | 92.424MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/929_sqlite3.smt2 | 20.090s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/770_sqlite3.smt2 | 20.090s | 119.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/628_ph7.smt2 | 20.091s | 460.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/572_ph7.smt2 | 20.091s | 359.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/054_gcc.smt2 | 20.091s | 198.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/705_ph7.smt2 | 20.091s | 145.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/625_ph7.smt2 | 20.091s | 83.116MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/209_gcc.smt2 | 20.091s | 35.992MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/303_gcc.smt2 | 20.091s | 79.248MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/629_ph7.smt2 | 20.092s | 362.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/253_gzip.smt2 | 20.092s | 194.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/162_gcc.smt2 | 20.092s | 300.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/361_oggenc.smt2 | 20.092s | 236.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/531_ph7.smt2 | 20.092s | 52.024MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/203_gcc.smt2 | 20.092s | 98.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/189_gcc.smt2 | 20.092s | 90.384MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/380_oggenc.smt2 | 20.092s | 121.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/619_ph7.smt2 | 20.093s | 391.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/362_oggenc.smt2 | 20.093s | 486.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/600_ph7.smt2 | 20.093s | 77.232MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/220_gcc.smt2 | 20.093s | 33.336MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/830_sqlite3.smt2 | 20.094s | 228.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/332_oggenc.smt2 | 20.094s | 512.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/456_ph7.smt2 | 20.094s | 69.976MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/450_ph7.smt2 | 20.094s | 122.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/031_bzip2.smt2 | 20.094s | 84.06MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/295_gcc.smt2 | 20.094s | 97.112MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/110_gcc.smt2 | 20.095s | 375.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/679_ph7.smt2 | 20.095s | 208.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/438_ph7.smt2 | 20.095s | 149.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/955_sqlite3.smt2 | 20.095s | 43.304MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/195_gcc.smt2 | 20.096s | 174.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/001_bzip2.smt2 | 20.096s | 39.516MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/007_bzip2.smt2 | 20.097s | 189.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/417_oggenc.smt2 | 20.097s | 495.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/514_ph7.smt2 | 20.097s | 83.136MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/710_ph7.smt2 | 20.097s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/809_sqlite3.smt2 | 20.097s | 122.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/608_ph7.smt2 | 20.098s | 387.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/214_gcc.smt2 | 20.098s | 420.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/846_sqlite3.smt2 | 20.098s | 334.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/401_ph7.smt2 | 20.098s | 166.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/288_gcc.smt2 | 20.098s | 117.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/796_sqlite3.smt2 | 20.098s | 117.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/113_gcc.smt2 | 20.099s | 532.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/501_ph7.smt2 | 20.099s | 315.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/310_gcc.smt2 | 20.099s | 603.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/072_gcc.smt2 | 20.099s | 313.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/937_sqlite3.smt2 | 20.099s | 82.072MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/956_sqlite3.smt2 | 20.099s | 25.696MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/226_gcc.smt2 | 20.100s | 403.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/278_oggenc.smt2 | 20.100s | 499.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/306_oggenc.smt2 | 20.100s | 427.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/447_ph7.smt2 | 20.100s | 77.952MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/044_gcc.smt2 | 20.100s | 512.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/168_gcc.smt2 | 20.100s | 303.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/775_sqlite3.smt2 | 20.100s | 89.88MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/976_sqlite3.smt2 | 20.101s | 405.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/441_oggenc.smt2 | 20.101s | 477.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/298_oggenc.smt2 | 20.101s | 601.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/415_oggenc.smt2 | 20.101s | 429.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/536_ph7.smt2 | 20.101s | 101.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/922_sqlite3.smt2 | 20.101s | 95.976MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/642_ph7.smt2 | 20.102s | 530.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/958_sqlite3.smt2 | 20.102s | 423.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/393_oggenc.smt2 | 20.102s | 380.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/407_oggenc.smt2 | 20.102s | 493.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/119_gcc.smt2 | 20.102s | 76.812MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/486_ph7.smt2 | 20.103s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/209_gcc.smt2 | 20.103s | 466.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/960_sqlite3.smt2 | 20.103s | 277.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/406_ph7.smt2 | 20.103s | 104.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/615_ph7.smt2 | 20.103s | 124.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/210_gcc.smt2 | 20.103s | 114.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/127_gcc.smt2 | 20.103s | 268.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/961_sqlite3.smt2 | 20.103s | 88.896MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/563_ph7.smt2 | 20.104s | 139.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/292_oggenc.smt2 | 20.105s | 512.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/190_gcc.smt2 | 20.106s | 364.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/539_ph7.smt2 | 20.106s | 266.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/627_ph7.smt2 | 20.106s | 275.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/275_gcc.smt2 | 20.106s | 192.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/972_sqlite3.smt2 | 20.106s | 188.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/994_sqlite3.smt2 | 20.106s | 141.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/485_ph7.smt2 | 20.107s | 185.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/107_gcc.smt2 | 20.107s | 451.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/728_ph7.smt2 | 20.107s | 217.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/477_ph7.smt2 | 20.107s | 394.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/128_gcc.smt2 | 20.107s | 224.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/162_gcc.smt2 | 20.107s | 403.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/909_sqlite3.smt2 | 20.107s | 150.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/208_gcc.smt2 | 20.108s | 227.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/730_ph7.smt2 | 20.108s | 262.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/535_ph7.smt2 | 20.108s | 451.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/231_gcc.smt2 | 20.108s | 73.348MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/785_sqlite3.smt2 | 20.108s | 65.156MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/120_gcc.smt2 | 20.109s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/664_ph7.smt2 | 20.110s | 112.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/280_gcc.smt2 | 20.111s | 82.016MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/814_sqlite3.smt2 | 20.111s | 90.604MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/193_gcc.smt2 | 20.112s | 449.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/733_ph7.smt2 | 20.112s | 95.088MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/043_gcc.smt2 | 20.112s | 263.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/911_sqlite3.smt2 | 20.112s | 67.972MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/841_sqlite3.smt2 | 20.112s | 64.528MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/128_gcc.smt2 | 20.113s | 452.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/398_ph7.smt2 | 20.113s | 169.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/689_ph7.smt2 | 20.114s | 220.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/100_gcc.smt2 | 20.114s | 82.996MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/965_sqlite3.smt2 | 20.114s | 157.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/060_gcc.smt2 | 20.115s | 320.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/327_gzip.smt2 | 20.115s | 684.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/779_sqlite3.smt2 | 20.115s | 71.196MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/778_sqlite3.smt2 | 20.115s | 170.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/211_gcc.smt2 | 20.116s | 261.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/071_gcc.smt2 | 20.116s | 464.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/065_gcc.smt2 | 20.116s | 189.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/677_ph7.smt2 | 20.117s | 143.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/694_ph7.smt2 | 20.117s | 480.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/130_gcc.smt2 | 20.117s | 84.632MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/890_sqlite3.smt2 | 20.117s | 173.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/342_oggenc.smt2 | 20.117s | 70.572MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/512_ph7.smt2 | 20.118s | 255.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/869_sqlite3.smt2 | 20.118s | 52.116MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/984_sqlite3.smt2 | 20.119s | 58.808MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/980_sqlite3.smt2 | 20.119s | 46.28MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/508_ph7.smt2 | 20.120s | 800.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/087_gcc.smt2 | 20.120s | 264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/474_ph7.smt2 | 20.121s | 160.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gzip/246_gzip.smt2 | 20.122s | 154.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/712_ph7.smt2 | 20.122s | 326.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/040_gcc.smt2 | 20.122s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/348_oggenc.smt2 | 20.122s | 80.548MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/363_oggenc.smt2 | 20.122s | 80.324MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/858_sqlite3.smt2 | 20.123s | 393.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/630_ph7.smt2 | 20.123s | 486.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/650_ph7.smt2 | 20.123s | 82.628MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/373_oggenc.smt2 | 20.124s | 571.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/532_ph7.smt2 | 20.124s | 186.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/167_gcc.smt2 | 20.125s | 522.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/201_gcc.smt2 | 20.126s | 395.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/032_bzip2.smt2 | 20.126s | 127.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/026_bzip2.smt2 | 20.126s | 128.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/846_sqlite3.smt2 | 20.126s | 46.096MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/224_gcc.smt2 | 20.127s | 313.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/723_ph7.smt2 | 20.127s | 274.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/543_ph7.smt2 | 20.127s | 207.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/564_ph7.smt2 | 20.127s | 166.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/326_gzip.smt2 | 20.127s | 43.344MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/807_sqlite3.smt2 | 20.127s | 174.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/179_gcc.smt2 | 20.128s | 526.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/056_gcc.smt2 | 20.128s | 302.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/722_ph7.smt2 | 20.128s | 158.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/147_gcc.smt2 | 20.128s | 185.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/825_sqlite3.smt2 | 20.128s | 131.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/118_gcc.smt2 | 20.129s | 604.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/673_ph7.smt2 | 20.129s | 81.804MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/074_gcc.smt2 | 20.129s | 82.332MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/916_sqlite3.smt2 | 20.129s | 44.04MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/025_bzip2.smt2 | 20.130s | 124.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/067_gcc.smt2 | 20.131s | 221.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/789_sqlite3.smt2 | 20.131s | 75.372MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/336_oggenc.smt2 | 20.132s | 555.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/297_oggenc.smt2 | 20.132s | 476.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/019_bzip2.smt2 | 20.132s | 149.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/966_sqlite3.smt2 | 20.132s | 81.44MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/926_sqlite3.smt2 | 20.133s | 456.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/665_ph7.smt2 | 20.133s | 307.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/244_gcc.smt2 | 20.133s | 325.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/154_gcc.smt2 | 20.134s | 63.436MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/395_oggenc.smt2 | 20.134s | 146.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/169_gcc.smt2 | 20.135s | 589.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/153_gcc.smt2 | 20.135s | 91.54MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/596_ph7.smt2 | 20.136s | 386.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/102_gcc.smt2 | 20.136s | 186.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/845_sqlite3.smt2 | 20.136s | 105.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/851_sqlite3.smt2 | 20.137s | 371.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/914_sqlite3.smt2 | 20.137s | 158.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/659_ph7.smt2 | 20.138s | 541.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/977_sqlite3.smt2 | 20.138s | 226.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/968_sqlite3.smt2 | 20.138s | 198.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/039_gcc.smt2 | 20.139s | 132.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/827_sqlite3.smt2 | 20.139s | 168.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/808_sqlite3.smt2 | 20.140s | 492.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/560_ph7.smt2 | 20.140s | 172.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/832_sqlite3.smt2 | 20.141s | 336.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/805_sqlite3.smt2 | 20.141s | 193.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/747_ph7.smt2 | 20.142s | 280.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/444_ph7.smt2 | 20.142s | 677.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/145_gcc.smt2 | 20.142s | 448.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/309_gcc.smt2 | 20.142s | 187.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/434_ph7.smt2 | 20.143s | 269.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/251_gcc.smt2 | 20.143s | 551.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/903_sqlite3.smt2 | 20.144s | 102.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/585_ph7.smt2 | 20.145s | 486.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/871_sqlite3.smt2 | 20.145s | 90.704MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/939_sqlite3.smt2 | 20.145s | 293.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/953_sqlite3.smt2 | 20.145s | 220.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/561_ph7.smt2 | 20.146s | 549.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/092_gcc.smt2 | 20.147s | 81.824MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/264_gcc.smt2 | 20.148s | 66.608MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/108_gcc.smt2 | 20.149s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/764_sqlite3.smt2 | 20.150s | 126.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/180_gcc.smt2 | 20.151s | 1010.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/404_ph7.smt2 | 20.152s | 487.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/029_bzip2.smt2 | 20.152s | 150.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/024_bzip2.smt2 | 20.152s | 130.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/112_gcc.smt2 | 20.152s | 47.484MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/117_gcc.smt2 | 20.153s | 985.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/032_gcc.smt2 | 20.153s | 526.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/423_ph7.smt2 | 20.153s | 273.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/169_gcc.smt2 | 20.153s | 79.168MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/524_ph7.smt2 | 20.154s | 233.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/262_gcc.smt2 | 20.156s | 149.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/164_gcc.smt2 | 20.157s | 120.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/933_sqlite3.smt2 | 20.157s | 143.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/758_ph7.smt2 | 20.158s | 524.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/259_gcc.smt2 | 20.158s | 148.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/987_sqlite3.smt2 | 20.158s | 244.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/103_gcc.smt2 | 20.159s | 425.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/257_gcc.smt2 | 20.159s | 180.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/921_sqlite3.smt2 | 20.160s | 157.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/767_sqlite3.smt2 | 20.160s | 115.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/070_gcc.smt2 | 20.161s | 345.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/521_ph7.smt2 | 20.163s | 186.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/695_ph7.smt2 | 20.163s | 965.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/752_ph7.smt2 | 20.163s | 449.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/768_sqlite3.smt2 | 20.163s | 127.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/297_gcc.smt2 | 20.164s | 515.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/150_gcc.smt2 | 20.167s | 679.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/412_ph7.smt2 | 20.167s | 247.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/006_bzip2.smt2 | 20.167s | 149.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/237_gcc.smt2 | 20.169s | 779.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/802_sqlite3.smt2 | 20.169s | 195.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/554_ph7.smt2 | 20.170s | 240.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/084_gcc.smt2 | 20.171s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/754_ph7.smt2 | 20.172s | 402.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/581_ph7.smt2 | 20.172s | 256.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/123_gcc.smt2 | 20.172s | 75.356MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/005_bzip2.smt2 | 20.173s | 142.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/118_gcc.smt2 | 20.174s | 74.244MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/788_sqlite3.smt2 | 20.174s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/173_gcc.smt2 | 20.176s | 595.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/122_gcc.smt2 | 20.177s | 74.348MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/358_oggenc.smt2 | 20.177s | 36.536MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/107_gcc.smt2 | 20.178s | 139.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/879_sqlite3.smt2 | 20.178s | 77.436MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/935_sqlite3.smt2 | 20.179s | 301.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/416_oggenc.smt2 | 20.179s | 756.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/819_sqlite3.smt2 | 20.179s | 105.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/387_oggenc.smt2 | 20.179s | 29.164MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/081_gcc.smt2 | 20.180s | 904.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/037_bzip2.smt2 | 20.182s | 164.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/946_sqlite3.smt2 | 20.182s | 185.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/964_sqlite3.smt2 | 20.182s | 91.964MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/861_sqlite3.smt2 | 20.183s | 85.672MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/821_sqlite3.smt2 | 20.183s | 143.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/058_gcc.smt2 | 20.184s | 1032.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/176_gcc.smt2 | 20.185s | 147.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/822_sqlite3.smt2 | 20.185s | 82.4MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/910_sqlite3.smt2 | 20.187s | 869.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/546_ph7.smt2 | 20.187s | 297.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/830_sqlite3.smt2 | 20.187s | 123.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/905_sqlite3.smt2 | 20.188s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/579_ph7.smt2 | 20.189s | 1318.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/987_sqlite3.smt2 | 20.189s | 456.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/772_sqlite3.smt2 | 20.189s | 177.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/919_sqlite3.smt2 | 20.189s | 148.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/494_ph7.smt2 | 20.190s | 955.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/844_sqlite3.smt2 | 20.190s | 241.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/941_sqlite3.smt2 | 20.191s | 113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/750_ph7.smt2 | 20.192s | 854.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/463_ph7.smt2 | 20.192s | 314.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/720_ph7.smt2 | 20.193s | 1016.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/020_bzip2.smt2 | 20.193s | 219.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/242_gcc.smt2 | 20.193s | 972.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/962_sqlite3.smt2 | 20.193s | 177.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/312_gcc.smt2 | 20.194s | 94.496MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/058_gcc.smt2 | 20.196s | 1016.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/051_gcc.smt2 | 20.196s | 161.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/250_gcc.smt2 | 20.200s | 136.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/928_sqlite3.smt2 | 20.200s | 175.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/833_sqlite3.smt2 | 20.200s | 230.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/686_ph7.smt2 | 20.202s | 499.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/813_sqlite3.smt2 | 20.202s | 197.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/820_sqlite3.smt2 | 20.203s | 178.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/174_gcc.smt2 | 20.204s | 924.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/194_gcc.smt2 | 20.204s | 147.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/876_sqlite3.smt2 | 20.204s | 198.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/305_gcc.smt2 | 20.206s | 1013.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/841_sqlite3.smt2 | 20.207s | 1015.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/534_ph7.smt2 | 20.207s | 475.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/207_gcc.smt2 | 20.207s | 971.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/636_ph7.smt2 | 20.208s | 1263.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/787_sqlite3.smt2 | 20.208s | 294.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/443_ph7.smt2 | 20.209s | 1065.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/526_ph7.smt2 | 20.210s | 1510.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/849_sqlite3.smt2 | 20.210s | 103.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/888_sqlite3.smt2 | 20.210s | 123.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/948_sqlite3.smt2 | 20.211s | 168.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/018_bzip2.smt2 | 20.214s | 273.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/138_gcc.smt2 | 20.216s | 1931.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/923_sqlite3.smt2 | 20.217s | 169.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/292_gcc.smt2 | 20.219s | 270.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/950_sqlite3.smt2 | 20.221s | 305.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/213_gcc.smt2 | 20.222s | 775.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/899_sqlite3.smt2 | 20.222s | 195.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/173_gcc.smt2 | 20.223s | 956.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/187_gcc.smt2 | 20.223s | 984.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/377_oggenc.smt2 | 20.223s | 868.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/013_bzip2.smt2 | 20.223s | 170.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/237_gcc.smt2 | 20.223s | 164.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/157_gcc.smt2 | 20.225s | 262.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/090_gcc.smt2 | 20.226s | 898.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/963_sqlite3.smt2 | 20.227s | 223.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/016_bzip2.smt2 | 20.229s | 261.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/093_gcc.smt2 | 20.229s | 231.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/308_gcc.smt2 | 20.229s | 348.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/974_sqlite3.smt2 | 20.230s | 183.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/068_gcc.smt2 | 20.233s | 79.188MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/184_gcc.smt2 | 20.237s | 1020.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/048_gcc.smt2 | 20.237s | 138.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/718_ph7.smt2 | 20.238s | 1171.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/101_gcc.smt2 | 20.238s | 1060.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/028_bzip2.smt2 | 20.239s | 428.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/175_gcc.smt2 | 20.240s | 87.828MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/104_gcc.smt2 | 20.240s | 221.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/937_sqlite3.smt2 | 20.241s | 815.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/926_sqlite3.smt2 | 20.241s | 535.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/258_gcc.smt2 | 20.242s | 214.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/140_gcc.smt2 | 20.243s | 139.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/860_sqlite3.smt2 | 20.243s | 522.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/609_ph7.smt2 | 20.244s | 1892.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/089_gcc.smt2 | 20.245s | 145.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/411_ph7.smt2 | 20.247s | 1432.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/880_sqlite3.smt2 | 20.247s | 231.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/743_ph7.smt2 | 20.252s | 1564.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/613_ph7.smt2 | 20.252s | 2012.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/551_ph7.smt2 | 20.252s | 488.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/030_bzip2.smt2 | 20.254s | 334.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/763_sqlite3.smt2 | 20.257s | 311.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/015_bzip2.smt2 | 20.258s | 333.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/293_gcc.smt2 | 20.258s | 144.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/578_ph7.smt2 | 20.259s | 441.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/780_sqlite3.smt2 | 20.265s | 378.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/587_ph7.smt2 | 20.266s | 518.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/732_ph7.smt2 | 20.266s | 520.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/725_ph7.smt2 | 20.267s | 1471.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/010_bzip2.smt2 | 20.270s | 278.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/085_gcc.smt2 | 20.272s | 264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/396_oggenc.smt2 | 20.272s | 266.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/857_sqlite3.smt2 | 20.276s | 458.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/797_sqlite3.smt2 | 20.277s | 313.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/313_gcc.smt2 | 20.281s | 211.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/035_bzip2.smt2 | 20.282s | 374.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/000_bzip2.smt2 | 20.284s | 230.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/912_sqlite3.smt2 | 20.285s | 279.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/192_gcc.smt2 | 20.286s | 1987.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/361_oggenc.smt2 | 20.287s | 257.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/281_gcc.smt2 | 20.289s | 264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/014_bzip2.smt2 | 20.291s | 311.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/497_ph7.smt2 | 20.298s | 596.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/182_gcc.smt2 | 20.298s | 264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/748_ph7.smt2 | 20.299s | 671.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/004_bzip2.smt2 | 20.300s | 383.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/064_gcc.smt2 | 20.301s | 648.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/674_ph7.smt2 | 20.302s | 1107.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/773_ph7.smt2 | 20.303s | 3502.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/858_sqlite3.smt2 | 20.304s | 432.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/052_gcc.smt2 | 20.306s | 260.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/156_gcc.smt2 | 20.312s | 411.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/254_gcc.smt2 | 20.314s | 631.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/947_sqlite3.smt2 | 20.314s | 460.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/865_sqlite3.smt2 | 20.314s | 327.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/290_gcc.smt2 | 20.316s | 280.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/835_sqlite3.smt2 | 20.320s | 457.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/782_sqlite3.smt2 | 20.321s | 512.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/083_gcc.smt2 | 20.322s | 312.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/343_oggenc.smt2 | 20.324s | 417.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/053_gcc.smt2 | 20.325s | 339.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/620_ph7.smt2 | 20.326s | 982.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/475_ph7.smt2 | 20.328s | 1574.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/525_ph7.smt2 | 20.330s | 1123.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/096_gcc.smt2 | 20.331s | 360.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/011_bzip2.smt2 | 20.333s | 375.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/249_gcc.smt2 | 20.336s | 366.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/370_oggenc.smt2 | 20.337s | 390.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/185_gcc.smt2 | 20.341s | 264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/355_oggenc.smt2 | 20.341s | 434.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/884_sqlite3.smt2 | 20.344s | 519.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/973_sqlite3.smt2 | 20.345s | 609.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/687_ph7.smt2 | 20.350s | 940.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/503_ph7.smt2 | 20.352s | 591.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/826_sqlite3.smt2 | 20.358s | 521.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/347_oggenc.smt2 | 20.360s | 500.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/467_ph7.smt2 | 20.371s | 3170.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/349_oggenc.smt2 | 20.373s | 373.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/459_ph7.smt2 | 20.380s | 1699.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/568_ph7.smt2 | 20.384s | 1840.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/217_gcc.smt2 | 20.388s | 2700.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/334_oggenc.smt2 | 20.389s | 1823.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/021_bzip2.smt2 | 20.391s | 683.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/394_oggenc.smt2 | 20.395s | 479.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/047_gcc.smt2 | 20.405s | 569.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gzip/337_gzip.smt2 | 20.409s | 633.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/581_ph7.smt2 | 20.416s | 3293.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/362_oggenc.smt2 | 20.417s | 563.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/049_gcc.smt2 | 20.432s | 516.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/366_oggenc.smt2 | 20.436s | 636.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/314_oggenc.smt2 | 20.439s | 3406.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/660_ph7.smt2 | 20.446s | 2656.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/924_sqlite3.smt2 | 20.452s | 598.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/418_ph7.smt2 | 20.456s | 2463.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/246_gcc.smt2 | 20.456s | 573.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/278_gcc.smt2 | 20.461s | 2757.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/079_gcc.smt2 | 20.469s | 2469.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/842_sqlite3.smt2 | 20.470s | 592.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/992_sqlite3.smt2 | 20.472s | 794.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/050_gcc.smt2 | 20.473s | 2302.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/356_oggenc.smt2 | 20.500s | 546.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/027_bzip2.smt2 | 20.509s | 610.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/141_gcc.smt2 | 20.510s | 515.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/606_ph7.smt2 | 20.513s | 1454.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/ph7/699_ph7.smt2 | 20.516s | 3612.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/110_gcc.smt2 | 20.517s | 916.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/685_ph7.smt2 | 20.520s | 2972.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/519_ph7.smt2 | 20.532s | 1813.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/271_gcc.smt2 | 20.536s | 626.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/061_gcc.smt2 | 20.562s | 2857.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/829_sqlite3.smt2 | 20.566s | 796.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/235_gcc.smt2 | 20.577s | 997.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/236_gcc.smt2 | 20.579s | 880.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/589_ph7.smt2 | 20.581s | 3937.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/161_gcc.smt2 | 20.586s | 1014.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/133_gcc.smt2 | 20.591s | 3853.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/490_ph7.smt2 | 20.610s | 1338.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/970_sqlite3.smt2 | 20.619s | 2901.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/059_gcc.smt2 | 20.631s | 817.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/381_oggenc.smt2 | 20.656s | 3229.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/943_sqlite3.smt2 | 20.670s | 1511.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/077_gcc.smt2 | 20.678s | 1882.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/882_sqlite3.smt2 | 20.682s | 1022.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/901_sqlite3.smt2 | 20.713s | 1135.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/557_ph7.smt2 | 20.720s | 1785.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/407_ph7.smt2 | 20.721s | 3961.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/159_gcc.smt2 | 20.732s | 3262.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/991_sqlite3.smt2 | 20.749s | 1179.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/289_gcc.smt2 | 20.754s | 1013.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/219_gcc.smt2 | 20.767s | 1865.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/692_ph7.smt2 | 20.773s | 1891.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/631_ph7.smt2 | 20.776s | 3243.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/642_ph7.smt2 | 20.797s | 4031.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/415_ph7.smt2 | 20.804s | 1940.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/045_gcc.smt2 | 20.811s | 1113.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/892_sqlite3.smt2 | 20.823s | 1248.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/883_sqlite3.smt2 | 20.829s | 1850.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/653_ph7.smt2 | 20.833s | 4718.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/140_gcc.smt2 | 20.867s | 3839.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/437_ph7.smt2 | 20.867s | 2951.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/570_ph7.smt2 | 20.897s | 1683.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/959_sqlite3.smt2 | 20.920s | 2030.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/364_oggenc.smt2 | 20.921s | 1385.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/425_ph7.smt2 | 20.929s | 4019.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/222_gcc.smt2 | 20.934s | 1373.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/970_sqlite3.smt2 | 20.935s | 1248.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/354_oggenc.smt2 | 20.937s | 1581.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/593_ph7.smt2 | 20.941s | 3239.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/741_ph7.smt2 | 20.942s | 2931.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/511_ph7.smt2 | 20.945s | 3825.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/727_ph7.smt2 | 20.950s | 1898.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/099_gcc.smt2 | 20.963s | 1929.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/794_sqlite3.smt2 | 20.963s | 1810.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/573_ph7.smt2 | 20.971s | 2215.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/930_sqlite3.smt2 | 20.974s | 2060.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/sqlite3/938_sqlite3.smt2 | 20.976s | 3724.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/743_ph7.smt2 | 20.977s | 2024.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/440_ph7.smt2 | 20.982s | 3518.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/462_ph7.smt2 | 21.002s | 4313.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/736_ph7.smt2 | 21.029s | 3853.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/993_sqlite3.smt2 | 21.034s | 1985.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/850_sqlite3.smt2 | 21.057s | 2219.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/353_oggenc.smt2 | 21.084s | 1647.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/307_gcc.smt2 | 21.098s | 1907.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/998_sqlite3.smt2 | 21.102s | 1983.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/614_ph7.smt2 | 21.111s | 3340.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/201_gcc.smt2 | 21.139s | 2020.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/gcc/047_gcc.smt2 | 21.154s | 4941.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/oggenc/329_oggenc.smt2 | 21.158s | 4602.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/811_sqlite3.smt2 | 21.185s | 2176.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/638_ph7.smt2 | 21.320s | 4608.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/975_sqlite3.smt2 | 21.332s | 2979.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/494_ph7.smt2 | 21.333s | 2676.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/607_ph7.smt2 | 21.344s | 4207.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/784_sqlite3.smt2 | 21.346s | 2877.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/618_ph7.smt2 | 21.353s | 4506.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/649_ph7.smt2 | 21.373s | 4074.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2/bzip2/006_bzip2.smt2 | 21.384s | 6037.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/378_oggenc.smt2 | 21.395s | 2573.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/681_ph7.smt2 | 21.403s | 4583.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/918_sqlite3.smt2 | 21.423s | 3075.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/390_oggenc.smt2 | 21.436s | 2600.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/365_oggenc.smt2 | 21.455s | 2560.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/399_ph7.smt2 | 21.477s | 3968.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/436_ph7.smt2 | 21.486s | 4203.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/114_gcc.smt2 | 21.493s | 3986.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/713_ph7.smt2 | 21.513s | 3772.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/195_gcc.smt2 | 21.520s | 3292.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/997_sqlite3.smt2 | 21.536s | 3948.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/542_ph7.smt2 | 21.616s | 4251.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/936_sqlite3.smt2 | 21.625s | 3046.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/917_sqlite3.smt2 | 21.626s | 3459.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/897_sqlite3.smt2 | 21.654s | 3950.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/094_gcc.smt2 | 21.661s | 2874.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/651_ph7.smt2 | 21.664s | 4649.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/762_sqlite3.smt2 | 21.666s | 3919.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/213_gcc.smt2 | 21.679s | 3064.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/634_ph7.smt2 | 21.692s | 4691.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/837_sqlite3.smt2 | 21.704s | 2972.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/377_oggenc.smt2 | 21.714s | 3507.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/ph7/622_ph7.smt2 | 21.726s | 4647.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/063_gcc.smt2 | 21.760s | 4264.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/225_gcc.smt2 | 21.765s | 4712.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/218_gcc.smt2 | 21.801s | 4354.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/910_sqlite3.smt2 | 21.803s | 3949.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/967_sqlite3.smt2 | 21.817s | 4433.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/373_oggenc.smt2 | 21.817s | 3894.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/979_sqlite3.smt2 | 21.822s | 4132.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/345_oggenc.smt2 | 21.830s | 4169.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/983_sqlite3.smt2 | 21.849s | 4484.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/898_sqlite3.smt2 | 21.854s | 3109.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/996_sqlite3.smt2 | 21.871s | 4138.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/090_gcc.smt2 | 21.910s | 3411.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/925_sqlite3.smt2 | 21.969s | 4006.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/038_bzip2.smt2 | 21.976s | 4516.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/082_gcc.smt2 | 21.978s | 3383.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/843_sqlite3.smt2 | 21.989s | 4051.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/178_gcc.smt2 | 22.000s | 3535.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/806_sqlite3.smt2 | 22.040s | 4768.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/041_gcc.smt2 | 22.067s | 4660.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/bzip2/009_bzip2.smt2 | 22.068s | 5443.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/299_gcc.smt2 | 22.070s | 3654.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/216_gcc.smt2 | 22.119s | 3687.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/932_sqlite3.smt2 | 22.193s | 5131.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/900_sqlite3.smt2 | 22.251s | 3899.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/854_sqlite3.smt2 | 22.269s | 3891.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/339_oggenc.smt2 | 22.296s | 4693.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/927_sqlite3.smt2 | 22.300s | 4109.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/995_sqlite3.smt2 | 22.302s | 4201.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/393_oggenc.smt2 | 22.312s | 4598.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/170_gcc.smt2 | 22.314s | 4095.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/978_sqlite3.smt2 | 22.334s | 4449.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/866_sqlite3.smt2 | 22.346s | 4127.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/952_sqlite3.smt2 | 22.388s | 4056.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/907_sqlite3.smt2 | 22.421s | 4241.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/359_oggenc.smt2 | 22.466s | 4348.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/oggenc/340_oggenc.smt2 | 22.513s | 4701.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/gcc/267_gcc.smt2 | 22.533s | 5242.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/795_sqlite3.smt2 | 22.547s | 4497.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/759_sqlite3.smt2 | 22.604s | 4845.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/812_sqlite3.smt2 | 22.685s | 4982.0MiB| timeout | 0 | | | |non-incremental/AUFBV/20210301-Alive2-partial-undef/sqlite3/904_sqlite3.smt2 | 22.712s | 6983.0MiB| timeout | 0 | | |