# .

* SAT 50
* UNSAT 105
* TIMEOUT 1148
* UNKNOWN 0

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/QF_AUFLIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-QF_AUFLIA.tar.zst-
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 459629c662eb7abf25a010b7383431a9f729d234
Z3 branch: master
Z3 options: "-T:20 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/QF_AUFLIA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4955949051970003181.smt2 |    0.023s | 19.688MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1269517447706381031.smt2 |    0.025s | 19.724MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1286129643722180277.smt2 |    0.025s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3587125020666388275.smt2 |    0.025s | 19.612MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2621433222940787538.smt2 |    0.026s | 19.696MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2638042934975705528.smt2 |    0.027s | 19.616MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1048206973303286471.smt2 |    0.027s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8908367221374111203.smt2 |    0.030s | 19.608MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1272323520518114421.smt2 |    0.031s | 19.484MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3905221720212478447.smt2 |    0.031s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8654111885011073106.smt2 |    0.032s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4238401262965072047.smt2 |    0.032s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt9106017864656048635.smt2 |    0.032s | 19.532MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6876078461802558953.smt2 |    0.032s | 19.512MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4572245676070776514.smt2 |    0.032s | 19.528MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_003.cvc.smt2 |    0.033s | 19.472MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8247715440196289156.smt2 |    0.033s | 19.528MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6608232286625221829.smt2 |    0.034s | 19.608MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4625083610563501181.smt2 |    0.034s | 19.564MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3439443866029601711.smt2 |    0.034s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2367064203144307817.smt2 |    0.034s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8706308851182253950.smt2 |    0.034s | 19.632MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4296070423334654308.smt2 |    0.034s | 19.516MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7809753410478836385.smt2 |    0.034s | 19.756MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1042633846661310290.smt2 |    0.034s | 19.66MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1803124073673899816.smt2 |    0.034s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6985556550088020826.smt2 |    0.034s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_001.cvc.smt2 |    0.035s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1676069739265740399.smt2 |    0.035s | 19.716MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3275743009640726251.smt2 |    0.035s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2438845199361275753.smt2 |    0.035s | 19.852MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1171825036458049994.smt2 |    0.035s | 19.62MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2782844312644070087.smt2 |    0.035s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8814225796421462573.smt2 |    0.035s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6931994702471017916.smt2 |    0.035s | 19.776MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1880986003611271595.smt2 |    0.035s | 19.604MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8875471975092501873.smt2 |    0.035s | 19.7MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt971450140125177067.smt2 |    0.036s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4537035296062250448.smt2 |    0.036s | 19.728MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt393108595912720571.smt2 |    0.036s | 19.72MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt9014840936023401544.smt2 |    0.036s | 19.564MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1076382332286802622.smt2 |    0.036s | 19.688MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2445729392550066586.smt2 |    0.036s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8855116929086333489.smt2 |    0.037s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3444773566975549937.smt2 |    0.037s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3204289262029909600.smt2 |    0.037s | 19.488MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt182987599385075282.smt2 |    0.037s | 19.612MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt101358492275879472.smt2 |    0.037s | 19.476MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4596042264305301650.smt2 |    0.037s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7092553497391582906.smt2 |    0.037s | 19.492MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8701917448127671974.smt2 |    0.037s | 19.556MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4134543687752878794.smt2 |    0.037s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3150137541310906277.smt2 |    0.038s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7034109130135749243.smt2 |    0.038s | 19.696MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt893324914284709225.smt2 |    0.038s | 19.584MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00005_001.cvc.smt2 |    0.039s | 19.572MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4132343230757244602.smt2 |    0.039s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3620633566921225648.smt2 |    0.039s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2931782982977550988.smt2 |    0.039s | 19.596MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5657856502894956631.smt2 |    0.039s | 19.588MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8833779138211845249.smt2 |    0.039s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8228927933959930295.smt2 |    0.039s | 19.672MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5192927862320386454.smt2 |    0.039s | 19.536MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00002_001.cvc.smt2 |    0.040s | 19.568MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/pp-pc-s2i.smt2                 |    0.040s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1524375163231819094.smt2 |    0.040s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4300906401518735495.smt2 |    0.040s | 19.732MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5369852344916049416.smt2 |    0.040s | 19.524MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5905287966985476080.smt2 |    0.040s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2093842384271029720.smt2 |    0.040s | 19.724MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6683355899000363898.smt2 |    0.041s | 19.66MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8422912073068378811.smt2 |    0.041s | 19.56MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8618877835758306362.smt2 |    0.041s | 19.48MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3899959149727363456.smt2 |    0.041s | 19.544MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3809310795425240370.smt2 |    0.041s | 19.492MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt672151100080778092.smt2 |    0.041s | 19.684MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00002_001.cvc.smt2 |    0.042s | 19.496MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1329906230419089873.smt2 |    0.042s | 19.536MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6614798558121277247.smt2 |    0.042s | 19.516MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1656968675425225632.smt2 |    0.042s | 19.62MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6071472468091070475.smt2 |    0.042s | 19.664MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt436905341138176170.smt2 |    0.043s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1162898569824201421.smt2 |    0.043s | 19.584MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2468388263826893998.smt2 |    0.043s | 19.744MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt676738985188385144.smt2 |    0.043s | 19.728MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2946635118515808081.smt2 |    0.043s | 19.66MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2922685147464036249.smt2 |    0.043s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6493885507856928851.smt2 |    0.043s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3523843011010396885.smt2 |    0.043s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7534652473557877715.smt2 |    0.043s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1495354633285877311.smt2 |    0.043s | 19.636MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3499861634082508558.smt2 |    0.043s | 19.736MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1525565934219293349.smt2 |    0.044s | 19.5MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8078846980698793773.smt2 |    0.044s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3093696166632615469.smt2 |    0.044s | 19.596MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4053218693677797575.smt2 |    0.044s | 19.672MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt615792926171406937.smt2 |    0.044s | 19.536MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2106860836086514151.smt2 |    0.044s | 19.532MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1523369924372993649.smt2 |    0.044s | 19.62MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3440074116434092548.smt2 |    0.044s | 19.66MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8135394236603703050.smt2 |    0.045s | 19.672MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5563843641339295592.smt2 |    0.045s | 19.492MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2843347168814075751.smt2 |    0.045s | 19.484MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3411894737991763499.smt2 |    0.045s | 19.668MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7811725335601850819.smt2 |    0.045s | 19.736MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2190929513395224328.smt2 |    0.045s | 19.672MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7523130558871236757.smt2 |    0.045s | 19.528MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5361404349484649674.smt2 |    0.045s | 19.588MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5695631438254231329.smt2 |    0.045s | 19.484MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7740554476252106281.smt2 |    0.046s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8579077759948482627.smt2 |    0.046s | 19.672MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7359050099439661129.smt2 |    0.046s | 19.712MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4507590573018277494.smt2 |    0.047s | 19.56MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4697298586713226690.smt2 |    0.047s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2033088614343642251.smt2 |    0.047s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4507059480007023557.smt2 |    0.047s | 19.74MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1355996306873782731.smt2 |    0.048s | 19.572MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6416286979991758948.smt2 |    0.048s | 19.508MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4037084432145914526.smt2 |    0.048s | 19.652MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5385891397487700209.smt2 |    0.048s | 19.64MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5491752019313122314.smt2 |    0.048s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4885496405062058007.smt2 |    0.049s | 19.7MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt793638039879708422.smt2 |    0.050s | 19.628MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7178509395836479705.smt2 |    0.050s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8644563128435345329.smt2 |    0.051s | 19.58MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1611612768507250801.smt2 |    0.051s | 19.6MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6642385862663943481.smt2 |    0.052s | 19.608MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4215517483378047775.smt2 |    0.052s | 19.588MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4953135282161464900.smt2 |    0.052s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6281226815274613658.smt2 |    0.052s | 19.544MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5732050528631778495.smt2 |    0.053s | 19.628MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4503191635050547935.smt2 |    0.054s | 19.5MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3758766264560852005.smt2 |    0.054s | 19.508MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5901762799217475108.smt2 |    0.054s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1491157424836014881.smt2 |    0.055s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt770795137149803982.smt2 |    0.055s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt9111281160760624293.smt2 |    0.055s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7092645672798492791.smt2 |    0.056s | 19.604MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4181015227210656643.smt2 |    0.056s | 19.628MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1026703085055728276.smt2 |    0.058s | 20.096MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1656603882241727713.smt2 |    0.059s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt342752384921269204.smt2 |    0.059s | 19.608MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00003_003.cvc.smt2 |    0.062s | 19.604MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6721808556525809116.smt2 |    0.062s | 19.7MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3160966959479480483.smt2 |    0.064s | 19.612MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2180380275580545420.smt2 |    0.064s | 19.648MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4909910871814089418.smt2 |    0.068s | 19.72MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3764635514138113797.smt2 |    0.068s | 19.556MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt593896481169620861.smt2 |    0.068s | 19.604MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1284056365933344272.smt2 |    0.068s | 19.584MiB| sat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5047342450357881159.smt2 |    0.068s | 19.44MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00008_003.cvc.smt2 |    0.069s | 19.444MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00003_003.cvc.smt2 |    0.070s | 19.544MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8755060589107111188.smt2 |    0.072s | 19.572MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4160855460817203141.smt2 |    0.081s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5029315679561572039.smt2 |   20.011s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00003_005.cvc.smt2 |   20.012s | 19.852MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt957085527369554317.smt2 |   20.012s | 19.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_007.cvc.smt2 |   20.013s | 19.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_003.cvc.smt2 |   20.013s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00008_004.cvc.smt2 |   20.013s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00010_002.cvc.smt2 |   20.013s | 19.988MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00005_004.cvc.smt2 |   20.013s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00002_002.cvc.smt2 |   20.013s | 19.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_004.cvc.smt2 |   20.013s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00009_004.cvc.smt2 |   20.013s | 20.056MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_002.cvc.smt2 |   20.013s | 20.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00007_001.cvc.smt2 |   20.013s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00030_007.cvc.smt2 |   20.013s | 20.132MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00010_002.cvc.smt2 |   20.013s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1946805393457691034.smt2 |   20.013s | 19.76MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1630796854449618649.smt2 |   20.013s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2010137000504826137.smt2 |   20.013s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3227222663221958379.smt2 |   20.013s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3502153459994386289.smt2 |   20.013s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00004_007.cvc.smt2 |   20.014s | 19.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00005_007.cvc.smt2 |   20.014s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_001.cvc.smt2 |   20.014s | 19.868MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00004_001.cvc.smt2 |   20.014s | 19.972MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00010_005.cvc.smt2 |   20.014s | 20.204MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00010_009.cvc.smt2 |   20.014s | 20.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_006.cvc.smt2 |   20.014s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00002_009.cvc.smt2 |   20.014s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00004_008.cvc.smt2 |   20.014s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_001.cvc.smt2 |   20.014s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_001.cvc.smt2 |   20.014s | 20.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_002.cvc.smt2 |   20.014s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00030_002.cvc.smt2 |   20.014s | 21.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5103224205058501184.smt2 |   20.014s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6900099572485246069.smt2 |   20.014s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1816060575230669721.smt2 |   20.014s | 19.74MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4514744799427321218.smt2 |   20.014s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7565714320681306474.smt2 |   20.014s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6231400525874152157.smt2 |   20.014s | 19.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6513374120730325283.smt2 |   20.014s | 19.76MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt275238204253440021.smt2 |   20.014s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8974883641230246788.smt2 |   20.014s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt407122468318533822.smt2 |   20.014s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_001.cvc.smt2 |   20.015s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00003_002.cvc.smt2 |   20.015s | 20.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_004.cvc.smt2 |   20.015s | 20.028MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00004_008.cvc.smt2 |   20.015s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00010_008.cvc.smt2 |   20.015s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00010_006.cvc.smt2 |   20.015s | 20.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_002.cvc.smt2 |   20.015s | 20.2MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_004.cvc.smt2 |   20.015s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00009_005.cvc.smt2 |   20.015s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00004_001.cvc.smt2 |   20.015s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00007_007.cvc.smt2 |   20.015s | 20.044MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00004_005.cvc.smt2 |   20.015s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00005_008.cvc.smt2 |   20.015s | 19.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_007.cvc.smt2 |   20.015s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00008_008.cvc.smt2 |   20.015s | 20.168MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00010_008.cvc.smt2 |   20.015s | 19.996MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00002_006.cvc.smt2 |   20.015s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00010_003.cvc.smt2 |   20.015s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_002.cvc.smt2 |   20.015s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_006.cvc.smt2 |   20.015s | 20.156MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/check/array_incompleteness1.smt2   |   20.015s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00030_002.cvc.smt2 |   20.015s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_009.cvc.smt2 |   20.015s | 20.212MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_008.cvc.smt2 |   20.015s | 20.24MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00040_002.cvc.smt2 |   20.015s | 23.32MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_007.cvc.smt2 |   20.015s | 20.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00030_004.cvc.smt2 |   20.015s | 20.364MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00060_004.cvc.smt2 |   20.015s | 20.38MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00060_002.cvc.smt2 |   20.015s | 20.472MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00010_001.cvc.smt2 |   20.015s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_002.cvc.smt2 |   20.015s | 24.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_003.cvc.smt2 |   20.015s | 20.516MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00020_007.cvc.smt2 |   20.015s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt377028722021915405.smt2 |   20.015s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6818634933433425749.smt2 |   20.015s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt52509716184046872.smt2 |   20.015s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8139752062040253806.smt2 |   20.015s | 19.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2905633022829326820.smt2 |   20.015s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5743509124567723052.smt2 |   20.015s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7960645538533115809.smt2 |   20.015s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5776021850984479403.smt2 |   20.015s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2897810692389626239.smt2 |   20.015s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2360244902319652454.smt2 |   20.015s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt215465074793711162.smt2 |   20.015s | 20.024MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7725713132450845498.smt2 |   20.015s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4735237723456590332.smt2 |   20.015s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00009_002.cvc.smt2 |   20.016s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00008_005.cvc.smt2 |   20.016s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00005_005.cvc.smt2 |   20.016s | 19.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00002_006.cvc.smt2 |   20.016s | 19.928MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00008_004.cvc.smt2 |   20.016s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00006_004.cvc.smt2 |   20.016s | 20.056MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00004_004.cvc.smt2 |   20.016s | 19.876MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00010_001.cvc.smt2 |   20.016s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00005_009.cvc.smt2 |   20.016s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00008_006.cvc.smt2 |   20.016s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00003_004.cvc.smt2 |   20.016s | 19.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00009_007.cvc.smt2 |   20.016s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00006_002.cvc.smt2 |   20.016s | 19.908MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00006_005.cvc.smt2 |   20.016s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_003.cvc.smt2 |   20.016s | 19.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00003_007.cvc.smt2 |   20.016s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00004_009.cvc.smt2 |   20.016s | 19.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00010_009.cvc.smt2 |   20.016s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00009_008.cvc.smt2 |   20.016s | 20.132MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_009.cvc.smt2 |   20.016s | 20.476MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00040_003.cvc.smt2 |   20.016s | 23.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_009.cvc.smt2 |   20.016s | 20.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_001.cvc.smt2 |   20.016s | 23.14MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00030_009.cvc.smt2 |   20.016s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_006.cvc.smt2 |   20.016s | 22.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00030_002.cvc.smt2 |   20.016s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_006.cvc.smt2 |   20.016s | 26.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00040_003.cvc.smt2 |   20.016s | 20.392MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_005.cvc.smt2 |   20.016s | 20.08MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_008.cvc.smt2 |   20.016s | 24.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00030_003.cvc.smt2 |   20.016s | 20.14MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_009.cvc.smt2 |   20.016s | 20.544MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt570363212685114932.smt2 |   20.016s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3580158146100843999.smt2 |   20.016s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6534511334474546878.smt2 |   20.016s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6736572510318727716.smt2 |   20.016s | 20.024MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt166278749308099823.smt2 |   20.016s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5438568486190973361.smt2 |   20.016s | 19.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4417655513178192608.smt2 |   20.016s | 19.788MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3489543249285628273.smt2 |   20.016s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5469619136922200125.smt2 |   20.016s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_002.cvc.smt2 |   20.017s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00005_003.cvc.smt2 |   20.017s | 19.852MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_007.cvc.smt2 |   20.017s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_007.cvc.smt2 |   20.017s | 20.16MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_005.cvc.smt2 |   20.017s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00003_001.cvc.smt2 |   20.017s | 19.792MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00002_002.cvc.smt2 |   20.017s | 19.776MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00009_006.cvc.smt2 |   20.017s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00004_004.cvc.smt2 |   20.017s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00004_006.cvc.smt2 |   20.017s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00010_004.cvc.smt2 |   20.017s | 19.972MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00003_005.cvc.smt2 |   20.017s | 19.792MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00006_008.cvc.smt2 |   20.017s | 19.968MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00009_006.cvc.smt2 |   20.017s | 20.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_005.cvc.smt2 |   20.017s | 20.172MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00002_006.cvc.smt2 |   20.017s | 19.752MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00004_003.cvc.smt2 |   20.017s | 19.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00009_007.cvc.smt2 |   20.017s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_009.cvc.smt2 |   20.017s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/array_benchmarks/misc/pipeline-invalid.smt2 |   20.017s | 20.416MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_006.cvc.smt2 |   20.017s | 20.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_003.cvc.smt2 |   20.017s | 20.352MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00030_005.cvc.smt2 |   20.017s | 21.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_004.cvc.smt2 |   20.017s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00030_003.cvc.smt2 |   20.017s | 21.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00050_006.cvc.smt2 |   20.017s | 25.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00040_006.cvc.smt2 |   20.017s | 23.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00030_007.cvc.smt2 |   20.017s | 20.144MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00040_004.cvc.smt2 |   20.017s | 23.092MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_001.cvc.smt2 |   20.017s | 20.496MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_003.cvc.smt2 |   20.017s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00010_008.cvc.smt2 |   20.017s | 19.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_001.cvc.smt2 |   20.017s | 24.988MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_006.cvc.smt2 |   20.017s | 20.616MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_008.cvc.smt2 |   20.017s | 20.156MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_001.cvc.smt2 |   20.017s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_003.cvc.smt2 |   20.017s | 20.024MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_009.cvc.smt2 |   20.017s | 21.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00050_009.cvc.smt2 |   20.017s | 24.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7006792903852855302.smt2 |   20.017s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7788503754068870422.smt2 |   20.017s | 19.788MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4601349962451502646.smt2 |   20.017s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7147939896033940408.smt2 |   20.017s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6879946163714078134.smt2 |   20.017s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8077224534801305670.smt2 |   20.017s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_005.cvc.smt2 |   20.018s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00003_004.cvc.smt2 |   20.018s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00004_009.cvc.smt2 |   20.018s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00003_005.cvc.smt2 |   20.018s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00005_006.cvc.smt2 |   20.018s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00004_007.cvc.smt2 |   20.018s | 19.868MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_002.cvc.smt2 |   20.018s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00010_005.cvc.smt2 |   20.018s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00060_001.cvc.smt2 |   20.018s | 26.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_008.cvc.smt2 |   20.018s | 21.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_006.cvc.smt2 |   20.018s | 20.336MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00050_005.cvc.smt2 |   20.018s | 24.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00030_009.cvc.smt2 |   20.018s | 20.144MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00030_001.cvc.smt2 |   20.018s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_006.cvc.smt2 |   20.018s | 20.828MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00020_006.cvc.smt2 |   20.018s | 20.268MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00010_007.cvc.smt2 |   20.018s | 20.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00010_004.cvc.smt2 |   20.018s | 20.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_002.cvc.smt2 |   20.018s | 20.796MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8504464876204807071.smt2 |   20.018s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4504006725135742977.smt2 |   20.018s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2677767669072326293.smt2 |   20.018s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1989795988797382439.smt2 |   20.018s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5641415969807714253.smt2 |   20.018s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3341546682240303433.smt2 |   20.018s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2427263037432339916.smt2 |   20.018s | 19.82MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_009.cvc.smt2 |   20.019s | 20.128MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00010_007.cvc.smt2 |   20.019s | 20.208MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00006_006.cvc.smt2 |   20.019s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00009_008.cvc.smt2 |   20.019s | 20.128MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00004_004.cvc.smt2 |   20.019s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_009.cvc.smt2 |   20.019s | 19.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00004_002.cvc.smt2 |   20.019s | 19.852MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00006_008.cvc.smt2 |   20.019s | 19.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00003_007.cvc.smt2 |   20.019s | 19.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_006.cvc.smt2 |   20.019s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00030_007.cvc.smt2 |   20.019s | 21.868MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00010_007.cvc.smt2 |   20.019s | 19.896MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00020_001.cvc.smt2 |   20.019s | 20.032MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00060_005.cvc.smt2 |   20.019s | 26.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_006.cvc.smt2 |   20.019s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_001.cvc.smt2 |   20.019s | 24.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00030_005.cvc.smt2 |   20.019s | 22.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_002.cvc.smt2 |   20.019s | 20.612MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00060_003.cvc.smt2 |   20.019s | 26.828MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00060_007.cvc.smt2 |   20.019s | 20.392MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00020_005.cvc.smt2 |   20.019s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2960554548505310231.smt2 |   20.019s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3372199210070462891.smt2 |   20.019s | 19.74MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6150185324016898914.smt2 |   20.019s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8108887928342549384.smt2 |   20.019s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2748958072806976140.smt2 |   20.019s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1364854746565558653.smt2 |   20.019s | 19.752MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7585830350792253192.smt2 |   20.019s | 19.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8987693239582237306.smt2 |   20.019s | 19.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5410124224885464815.smt2 |   20.019s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00008_001.cvc.smt2 |   20.020s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_005.cvc.smt2 |   20.020s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00003_001.cvc.smt2 |   20.020s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00003_006.cvc.smt2 |   20.020s | 19.836MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00004_002.cvc.smt2 |   20.020s | 19.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00007_001.cvc.smt2 |   20.020s | 20.232MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00008_007.cvc.smt2 |   20.020s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00004_008.cvc.smt2 |   20.020s | 20.044MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_009.cvc.smt2 |   20.020s | 19.828MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00008_003.cvc.smt2 |   20.020s | 19.844MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00007_006.cvc.smt2 |   20.020s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_006.cvc.smt2 |   20.020s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00002_005.cvc.smt2 |   20.020s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00030_005.cvc.smt2 |   20.020s | 21.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_003.cvc.smt2 |   20.020s | 20.336MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00040_004.cvc.smt2 |   20.020s | 20.208MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00060_008.cvc.smt2 |   20.020s | 26.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_005.cvc.smt2 |   20.020s | 20.504MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00030_001.cvc.smt2 |   20.020s | 20.192MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00020_006.cvc.smt2 |   20.020s | 20.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00030_009.cvc.smt2 |   20.020s | 21.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_003.cvc.smt2 |   20.020s | 20.216MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00020_008.cvc.smt2 |   20.020s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7782311372861729448.smt2 |   20.020s | 20.128MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt65467803538243106.smt2 |   20.020s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7916933981353194815.smt2 |   20.020s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2016035095367711249.smt2 |   20.020s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8106154715414218129.smt2 |   20.020s | 19.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5863666924611184171.smt2 |   20.020s | 19.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8591958557635707797.smt2 |   20.020s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4266255760697615431.smt2 |   20.020s | 19.732MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt373337730591991193.smt2 |   20.020s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7175394277113951989.smt2 |   20.020s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00006_007.cvc.smt2 |   20.021s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00006_006.cvc.smt2 |   20.021s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_007.cvc.smt2 |   20.021s | 19.852MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00009_001.cvc.smt2 |   20.021s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_009.cvc.smt2 |   20.021s | 19.896MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_004.cvc.smt2 |   20.021s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00009_001.cvc.smt2 |   20.021s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_008.cvc.smt2 |   20.021s | 20.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00005_001.cvc.smt2 |   20.021s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00002_003.cvc.smt2 |   20.021s | 20.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_001.cvc.smt2 |   20.021s | 20.468MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00020_006.cvc.smt2 |   20.021s | 20.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00060_001.cvc.smt2 |   20.021s | 20.7MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_008.cvc.smt2 |   20.021s | 20.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00020_004.cvc.smt2 |   20.021s | 20.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_007.cvc.smt2 |   20.021s | 20.624MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00060_009.cvc.smt2 |   20.021s | 20.608MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_002.cvc.smt2 |   20.021s | 21.82MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00006_001.cvc.smt2 |   20.021s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8011955704126474321.smt2 |   20.021s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3405277169006856699.smt2 |   20.021s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt616279233519394183.smt2 |   20.021s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8233570541221801360.smt2 |   20.021s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt498171090311845791.smt2 |   20.021s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4552940212595976610.smt2 |   20.021s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1782466548403316802.smt2 |   20.021s | 20.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00008_009.cvc.smt2 |   20.022s | 20.18MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00002_002.cvc.smt2 |   20.022s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_003.cvc.smt2 |   20.022s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00009_009.cvc.smt2 |   20.022s | 20.172MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_001.cvc.smt2 |   20.022s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/add5.smt2                      |   20.022s | 20.244MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00030_001.cvc.smt2 |   20.022s | 20.356MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_003.cvc.smt2 |   20.022s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_005.cvc.smt2 |   20.022s | 25.032MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00040_005.cvc.smt2 |   20.022s | 23.216MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00050_003.cvc.smt2 |   20.022s | 20.34MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_001.cvc.smt2 |   20.022s | 20.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00040_007.cvc.smt2 |   20.022s | 20.196MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00040_003.cvc.smt2 |   20.022s | 23.172MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_007.cvc.smt2 |   20.022s | 22.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00030_006.cvc.smt2 |   20.022s | 22.076MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00030_009.cvc.smt2 |   20.022s | 20.352MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00010_008.cvc.smt2 |   20.022s | 20.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00040_009.cvc.smt2 |   20.022s | 23.044MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00030_008.cvc.smt2 |   20.022s | 22.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00040_001.cvc.smt2 |   20.022s | 23.04MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt362130990708396776.smt2 |   20.022s | 19.82MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7033469606705066791.smt2 |   20.022s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4277905976004114414.smt2 |   20.022s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00009_008.cvc.smt2 |   20.023s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_004.cvc.smt2 |   20.023s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00010_003.cvc.smt2 |   20.023s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00004_006.cvc.smt2 |   20.023s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00004_004.cvc.smt2 |   20.023s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00003_008.cvc.smt2 |   20.023s | 19.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00010_005.cvc.smt2 |   20.023s | 19.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00008_005.cvc.smt2 |   20.023s | 19.92MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00003_004.cvc.smt2 |   20.023s | 19.792MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00009_003.cvc.smt2 |   20.023s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_008.cvc.smt2 |   20.023s | 19.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00007_002.cvc.smt2 |   20.023s | 20.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00009_002.cvc.smt2 |   20.023s | 19.996MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/pp-regfile.smt2                |   20.023s | 23.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00040_008.cvc.smt2 |   20.023s | 20.196MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00030_008.cvc.smt2 |   20.023s | 20.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_001.cvc.smt2 |   20.023s | 21.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_009.cvc.smt2 |   20.023s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_007.cvc.smt2 |   20.023s | 20.136MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00060_003.cvc.smt2 |   20.023s | 20.396MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_001.cvc.smt2 |   20.023s | 20.412MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_005.cvc.smt2 |   20.023s | 20.4MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00040_007.cvc.smt2 |   20.023s | 23.036MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00010_005.cvc.smt2 |   20.023s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00002_001.cvc.smt2 |   20.023s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8513434858697749825.smt2 |   20.023s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6456719111248078638.smt2 |   20.023s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7271452269704952934.smt2 |   20.023s | 19.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1829682051084319908.smt2 |   20.023s | 19.74MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt599099718845180000.smt2 |   20.023s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1823835542615668089.smt2 |   20.023s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6161395833903900850.smt2 |   20.023s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3038087770311212541.smt2 |   20.023s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_004.cvc.smt2 |   20.024s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00003_006.cvc.smt2 |   20.024s | 19.784MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00008_009.cvc.smt2 |   20.024s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_002.cvc.smt2 |   20.024s | 20.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00004_005.cvc.smt2 |   20.024s | 19.876MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_004.cvc.smt2 |   20.024s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_001.cvc.smt2 |   20.024s | 20.12MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00007_004.cvc.smt2 |   20.024s | 20.188MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00009_009.cvc.smt2 |   20.024s | 20.104MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00030_007.cvc.smt2 |   20.024s | 21.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00040_004.cvc.smt2 |   20.024s | 23.068MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00020_003.cvc.smt2 |   20.024s | 20.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00010_002.cvc.smt2 |   20.024s | 19.92MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00020_003.cvc.smt2 |   20.024s | 20.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_007.cvc.smt2 |   20.024s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00010_008.cvc.smt2 |   20.024s | 19.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_001.cvc.smt2 |   20.024s | 24.972MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_001.cvc.smt2 |   20.024s | 24.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3698555390396458023.smt2 |   20.024s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2264998853780541334.smt2 |   20.024s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2282925904598514077.smt2 |   20.024s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_002.cvc.smt2 |   20.025s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_001.cvc.smt2 |   20.025s | 20.056MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_005.cvc.smt2 |   20.025s | 19.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00008_002.cvc.smt2 |   20.025s | 19.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_007.cvc.smt2 |   20.025s | 19.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00004_001.cvc.smt2 |   20.025s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_007.cvc.smt2 |   20.025s | 20.036MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00009_003.cvc.smt2 |   20.025s | 20.044MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_006.cvc.smt2 |   20.025s | 19.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_005.cvc.smt2 |   20.025s | 20.188MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00006_003.cvc.smt2 |   20.025s | 20.156MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/pp-invariant.smt2              |   20.025s | 20.656MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/dlx-pc.smt2                    |   20.025s | 21.836MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/pp-TakenBranch-s2e.smt2        |   20.025s | 23.14MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/dlx-regfile.smt2               |   20.025s | 21.58MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/add6.smt2                      |   20.025s | 20.26MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00060_005.cvc.smt2 |   20.025s | 20.452MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00020_004.cvc.smt2 |   20.025s | 20.032MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_007.cvc.smt2 |   20.025s | 20.468MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00010_007.cvc.smt2 |   20.025s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00030_004.cvc.smt2 |   20.025s | 21.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_003.cvc.smt2 |   20.025s | 20.452MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00020_007.cvc.smt2 |   20.025s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00030_002.cvc.smt2 |   20.025s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00030_006.cvc.smt2 |   20.025s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_002.cvc.smt2 |   20.025s | 20.624MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7273354942600505220.smt2 |   20.025s | 19.784MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2187227346843288353.smt2 |   20.025s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6111014224437564259.smt2 |   20.025s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3796329264322518882.smt2 |   20.025s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00010_004.cvc.smt2 |   20.026s | 20.032MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00009_004.cvc.smt2 |   20.026s | 20.18MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_003.cvc.smt2 |   20.026s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00002_005.cvc.smt2 |   20.026s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00004_003.cvc.smt2 |   20.026s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00020_006.cvc.smt2 |   20.026s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_001.cvc.smt2 |   20.026s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00010_009.cvc.smt2 |   20.026s | 19.904MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_003.cvc.smt2 |   20.026s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00030_007.cvc.smt2 |   20.026s | 20.176MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_006.cvc.smt2 |   20.026s | 19.996MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5994810375074922742.smt2 |   20.026s | 19.76MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4697568481354341164.smt2 |   20.026s | 20.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5283357161187483598.smt2 |   20.026s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00004_009.cvc.smt2 |   20.027s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00007_009.cvc.smt2 |   20.027s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_007.cvc.smt2 |   20.027s | 19.844MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00008_003.cvc.smt2 |   20.027s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00008_009.cvc.smt2 |   20.027s | 19.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_009.cvc.smt2 |   20.027s | 19.932MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_006.cvc.smt2 |   20.027s | 20.212MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00006_001.cvc.smt2 |   20.027s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/read8.smt2                     |   20.027s | 20.308MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00050_004.cvc.smt2 |   20.027s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00060_001.cvc.smt2 |   20.027s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_006.cvc.smt2 |   20.027s | 20.296MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_004.cvc.smt2 |   20.027s | 24.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00060_003.cvc.smt2 |   20.027s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00010_003.cvc.smt2 |   20.027s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00010_006.cvc.smt2 |   20.027s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00060_006.cvc.smt2 |   20.027s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3136064081515784448.smt2 |   20.027s | 19.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00009_006.cvc.smt2 |   20.028s | 19.996MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_009.cvc.smt2 |   20.028s | 20.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00003_007.cvc.smt2 |   20.028s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00010_006.cvc.smt2 |   20.028s | 19.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_007.cvc.smt2 |   20.028s | 20.188MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_009.cvc.smt2 |   20.028s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_009.cvc.smt2 |   20.028s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00006_002.cvc.smt2 |   20.028s | 19.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_004.cvc.smt2 |   20.028s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00008_006.cvc.smt2 |   20.028s | 19.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00004_008.cvc.smt2 |   20.028s | 19.828MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00008_002.cvc.smt2 |   20.028s | 20.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_002.cvc.smt2 |   20.028s | 19.836MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00060_007.cvc.smt2 |   20.028s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00040_003.cvc.smt2 |   20.028s | 23.324MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00020_002.cvc.smt2 |   20.028s | 20.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00060_007.cvc.smt2 |   20.028s | 26.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00060_006.cvc.smt2 |   20.028s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00050_003.cvc.smt2 |   20.028s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00040_005.cvc.smt2 |   20.028s | 20.216MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_006.cvc.smt2 |   20.028s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00030_004.cvc.smt2 |   20.028s | 21.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_005.cvc.smt2 |   20.028s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00040_005.cvc.smt2 |   20.028s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00030_006.cvc.smt2 |   20.028s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00009_001.cvc.smt2 |   20.028s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt862348610184470396.smt2 |   20.028s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6481616554623030076.smt2 |   20.028s | 19.84MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5562411513078936721.smt2 |   20.028s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt194092121051256533.smt2 |   20.028s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5759472278662243112.smt2 |   20.028s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2561940327326492283.smt2 |   20.028s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8289280324694207722.smt2 |   20.028s | 19.76MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_003.cvc.smt2 |   20.029s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_002.cvc.smt2 |   20.029s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00010_006.cvc.smt2 |   20.029s | 19.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00008_004.cvc.smt2 |   20.029s | 20.136MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00007_005.cvc.smt2 |   20.029s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_008.cvc.smt2 |   20.029s | 19.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00008_001.cvc.smt2 |   20.029s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00002_002.cvc.smt2 |   20.029s | 19.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00008_005.cvc.smt2 |   20.029s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00002_005.cvc.smt2 |   20.029s | 20.088MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00010_001.cvc.smt2 |   20.029s | 19.896MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_002.cvc.smt2 |   20.029s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_009.cvc.smt2 |   20.029s | 20.22MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_003.cvc.smt2 |   20.029s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00010_007.cvc.smt2 |   20.029s | 19.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00030_004.cvc.smt2 |   20.029s | 20.12MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_005.cvc.smt2 |   20.029s | 20.44MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00010_002.cvc.smt2 |   20.029s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_002.cvc.smt2 |   20.029s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00060_008.cvc.smt2 |   20.029s | 26.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1232146482622696854.smt2 |   20.029s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5963100064704668089.smt2 |   20.029s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3708937932107853478.smt2 |   20.029s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1789157312273459318.smt2 |   20.029s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00005_002.cvc.smt2 |   20.030s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00004_005.cvc.smt2 |   20.030s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_006.cvc.smt2 |   20.030s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_001.cvc.smt2 |   20.030s | 19.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_007.cvc.smt2 |   20.030s | 19.784MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00005_008.cvc.smt2 |   20.030s | 19.776MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00008_007.cvc.smt2 |   20.030s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00003_006.cvc.smt2 |   20.030s | 19.776MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00007_001.cvc.smt2 |   20.030s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00010_003.cvc.smt2 |   20.030s | 20.024MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_008.cvc.smt2 |   20.030s | 19.776MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00004_002.cvc.smt2 |   20.030s | 19.876MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00007_003.cvc.smt2 |   20.030s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00008_008.cvc.smt2 |   20.030s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_005.cvc.smt2 |   20.030s | 20.248MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/fb_var_5_12.smt2               |   20.030s | 20.268MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_001.cvc.smt2 |   20.030s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00020_005.cvc.smt2 |   20.030s | 20.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00030_005.cvc.smt2 |   20.030s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00060_006.cvc.smt2 |   20.030s | 26.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00010_009.cvc.smt2 |   20.030s | 20.284MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00030_006.cvc.smt2 |   20.030s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_007.cvc.smt2 |   20.030s | 20.22MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_006.cvc.smt2 |   20.030s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4069305995038800906.smt2 |   20.030s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4574461499410346282.smt2 |   20.030s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6433635961432197699.smt2 |   20.030s | 19.752MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00008_006.cvc.smt2 |   20.031s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00003_001.cvc.smt2 |   20.031s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00005_003.cvc.smt2 |   20.031s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00008_008.cvc.smt2 |   20.031s | 19.92MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00006_006.cvc.smt2 |   20.031s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00007_005.cvc.smt2 |   20.031s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00030_009.cvc.smt2 |   20.031s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00010_009.cvc.smt2 |   20.031s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00020_001.cvc.smt2 |   20.031s | 20.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00040_001.cvc.smt2 |   20.031s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_005.cvc.smt2 |   20.031s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00040_003.cvc.smt2 |   20.031s | 23.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00050_009.cvc.smt2 |   20.031s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00020_001.cvc.smt2 |   20.031s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00010_006.cvc.smt2 |   20.031s | 20.288MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00040_003.cvc.smt2 |   20.031s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_001.cvc.smt2 |   20.031s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00050_007.cvc.smt2 |   20.031s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00020_006.cvc.smt2 |   20.031s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_004.cvc.smt2 |   20.031s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00040_001.cvc.smt2 |   20.031s | 20.22MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8778954223442726272.smt2 |   20.031s | 19.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5584401144276258491.smt2 |   20.031s | 19.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4315728387069939040.smt2 |   20.031s | 19.752MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00007_003.cvc.smt2 |   20.032s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00009_001.cvc.smt2 |   20.032s | 20.132MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_006.cvc.smt2 |   20.032s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00009_006.cvc.smt2 |   20.032s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/add4.smt2                      |   20.032s | 20.144MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00060_002.cvc.smt2 |   20.032s | 26.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00030_003.cvc.smt2 |   20.032s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_007.cvc.smt2 |   20.032s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00050_004.cvc.smt2 |   20.032s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00020_008.cvc.smt2 |   20.032s | 20.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00060_009.cvc.smt2 |   20.032s | 26.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_002.cvc.smt2 |   20.032s | 20.124MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00010_002.cvc.smt2 |   20.032s | 20.168MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2256856461941224445.smt2 |   20.032s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1766380371263919774.smt2 |   20.032s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7618872707393860004.smt2 |   20.032s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_002.cvc.smt2 |   20.033s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_009.cvc.smt2 |   20.033s | 19.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_008.cvc.smt2 |   20.033s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00002_009.cvc.smt2 |   20.033s | 19.784MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00002_003.cvc.smt2 |   20.033s | 20.028MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00006_005.cvc.smt2 |   20.033s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00002_008.cvc.smt2 |   20.033s | 19.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00010_003.cvc.smt2 |   20.033s | 19.92MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00010_008.cvc.smt2 |   20.033s | 20.3MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00020_004.cvc.smt2 |   20.033s | 20.928MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00050_003.cvc.smt2 |   20.033s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00050_004.cvc.smt2 |   20.033s | 20.356MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_008.cvc.smt2 |   20.033s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00010_004.cvc.smt2 |   20.033s | 19.908MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00020_009.cvc.smt2 |   20.033s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00040_006.cvc.smt2 |   20.033s | 20.216MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_009.cvc.smt2 |   20.033s | 20.324MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00020_003.cvc.smt2 |   20.033s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_005.cvc.smt2 |   20.033s | 20.228MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00050_002.cvc.smt2 |   20.033s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00003_008.cvc.smt2 |   20.034s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_007.cvc.smt2 |   20.034s | 19.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00009_004.cvc.smt2 |   20.034s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_003.cvc.smt2 |   20.034s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00007_005.cvc.smt2 |   20.034s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00006_009.cvc.smt2 |   20.034s | 19.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00009_008.cvc.smt2 |   20.034s | 19.932MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00008_007.cvc.smt2 |   20.034s | 19.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00003_006.cvc.smt2 |   20.034s | 19.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00010_002.cvc.smt2 |   20.034s | 20.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/dlx-dmem.smt2                  |   20.034s | 21.512MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/fb_var_27_8.smt2               |   20.034s | 20.34MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00040_008.cvc.smt2 |   20.034s | 23.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00050_009.cvc.smt2 |   20.034s | 25.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_004.cvc.smt2 |   20.034s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00020_007.cvc.smt2 |   20.034s | 20.84MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00030_008.cvc.smt2 |   20.034s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_004.cvc.smt2 |   20.034s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00060_005.cvc.smt2 |   20.034s | 26.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00050_004.cvc.smt2 |   20.034s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00030_005.cvc.smt2 |   20.034s | 22.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00010_001.cvc.smt2 |   20.034s | 20.332MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00060_003.cvc.smt2 |   20.034s | 26.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6334367605951226396.smt2 |   20.034s | 19.72MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6557511902038258587.smt2 |   20.034s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt4754789943944392049.smt2 |   20.034s | 19.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6977760194528203096.smt2 |   20.034s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2384827473142460326.smt2 |   20.034s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_002.cvc.smt2 |   20.035s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_002.cvc.smt2 |   20.035s | 19.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00010_007.cvc.smt2 |   20.035s | 20.068MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00010_008.cvc.smt2 |   20.035s | 20.104MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00004_003.cvc.smt2 |   20.035s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00020_005.cvc.smt2 |   20.035s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_005.cvc.smt2 |   20.035s | 20.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_006.cvc.smt2 |   20.035s | 23.268MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00060_006.cvc.smt2 |   20.035s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00060_006.cvc.smt2 |   20.035s | 26.712MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00020_009.cvc.smt2 |   20.035s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00020_007.cvc.smt2 |   20.035s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00010_005.cvc.smt2 |   20.035s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5066516013081219368.smt2 |   20.035s | 19.744MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3010346108910513369.smt2 |   20.035s | 19.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt9065296178149417744.smt2 |   20.035s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1441273869767862168.smt2 |   20.035s | 19.812MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00002_006.cvc.smt2 |   20.036s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00009_002.cvc.smt2 |   20.036s | 19.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00010_008.cvc.smt2 |   20.036s | 20.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00005_002.cvc.smt2 |   20.036s | 19.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00050_003.cvc.smt2 |   20.036s | 25.572MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_006.cvc.smt2 |   20.036s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00040_004.cvc.smt2 |   20.036s | 23.204MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_007.cvc.smt2 |   20.036s | 23.132MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00010_001.cvc.smt2 |   20.036s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_004.cvc.smt2 |   20.036s | 20.572MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00040_008.cvc.smt2 |   20.036s | 23.18MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00050_004.cvc.smt2 |   20.036s | 24.972MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00020_008.cvc.smt2 |   20.036s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00020_002.cvc.smt2 |   20.036s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00007_008.cvc.smt2 |   20.037s | 19.932MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00008_006.cvc.smt2 |   20.037s | 20.176MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00006_009.cvc.smt2 |   20.037s | 19.904MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00009_007.cvc.smt2 |   20.037s | 20.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00040_008.cvc.smt2 |   20.037s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_003.cvc.smt2 |   20.037s | 25.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_001.cvc.smt2 |   20.037s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00050_006.cvc.smt2 |   20.037s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_007.cvc.smt2 |   20.037s | 20.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3728766622780732153.smt2 |   20.037s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7405460456682932921.smt2 |   20.037s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt424770915908526889.smt2 |   20.037s | 19.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2349554521575265533.smt2 |   20.037s | 19.716MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00010_001.cvc.smt2 |   20.038s | 20.124MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00004_006.cvc.smt2 |   20.038s | 20.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00008_002.cvc.smt2 |   20.038s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00040_006.cvc.smt2 |   20.038s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00010_004.cvc.smt2 |   20.038s | 19.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00050_003.cvc.smt2 |   20.038s | 24.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00030_009.cvc.smt2 |   20.038s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00060_001.cvc.smt2 |   20.038s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00050_005.cvc.smt2 |   20.038s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_007.cvc.smt2 |   20.038s | 20.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00060_009.cvc.smt2 |   20.038s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00030_007.cvc.smt2 |   20.038s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7218190703470801014.smt2 |   20.038s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00005_006.cvc.smt2 |   20.039s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_sf_ai_00008_007.cvc.smt2 |   20.039s | 20.192MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_001.cvc.smt2 |   20.039s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00010_008.cvc.smt2 |   20.039s | 19.904MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00060_009.cvc.smt2 |   20.039s | 26.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00040_007.cvc.smt2 |   20.039s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_005.cvc.smt2 |   20.039s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_005.cvc.smt2 |   20.039s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00060_002.cvc.smt2 |   20.039s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00020_005.cvc.smt2 |   20.039s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00020_002.cvc.smt2 |   20.039s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2561449432101481323.smt2 |   20.039s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7358386960044497066.smt2 |   20.039s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_008.cvc.smt2 |   20.040s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00050_007.cvc.smt2 |   20.040s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00060_001.cvc.smt2 |   20.040s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00040_001.cvc.smt2 |   20.040s | 23.344MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00010_008.cvc.smt2 |   20.040s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_005.cvc.smt2 |   20.040s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00010_002.cvc.smt2 |   20.040s | 20.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00004_005.cvc.smt2 |   20.041s | 19.992MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00009_009.cvc.smt2 |   20.041s | 20.224MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_003.cvc.smt2 |   20.041s | 19.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00008_004.cvc.smt2 |   20.041s | 19.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00006_008.cvc.smt2 |   20.041s | 19.896MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00050_003.cvc.smt2 |   20.041s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00010_005.cvc.smt2 |   20.041s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00020_008.cvc.smt2 |   20.041s | 20.756MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00060_004.cvc.smt2 |   20.041s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_003.cvc.smt2 |   20.041s | 19.996MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00030_009.cvc.smt2 |   20.041s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00060_005.cvc.smt2 |   20.041s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt5720223571793459860.smt2 |   20.041s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8792219215910766754.smt2 |   20.041s | 19.804MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_004.cvc.smt2 |   20.042s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00006_007.cvc.smt2 |   20.042s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00020_009.cvc.smt2 |   20.042s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_002.cvc.smt2 |   20.042s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00060_001.cvc.smt2 |   20.042s | 26.672MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00030_008.cvc.smt2 |   20.042s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00010_005.cvc.smt2 |   20.042s | 20.156MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00010_009.cvc.smt2 |   20.043s | 20.124MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00007_009.cvc.smt2 |   20.043s | 19.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00009_003.cvc.smt2 |   20.043s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00010_001.cvc.smt2 |   20.043s | 20.276MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00006_007.cvc.smt2 |   20.043s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_003.cvc.smt2 |   20.043s | 19.908MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00004_007.cvc.smt2 |   20.043s | 19.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00050_004.cvc.smt2 |   20.043s | 20.332MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_002.cvc.smt2 |   20.043s | 21.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_006.cvc.smt2 |   20.043s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00010_001.cvc.smt2 |   20.043s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00003_002.cvc.smt2 |   20.044s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00010_007.cvc.smt2 |   20.044s | 20.236MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00005_004.cvc.smt2 |   20.044s | 19.908MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00008_002.cvc.smt2 |   20.044s | 19.94MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00040_009.cvc.smt2 |   20.044s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_001.cvc.smt2 |   20.044s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00030_004.cvc.smt2 |   20.044s | 21.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00060_003.cvc.smt2 |   20.044s | 26.872MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00010_001.cvc.smt2 |   20.044s | 20.092MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00006_003.cvc.smt2 |   20.045s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00004_001.cvc.smt2 |   20.045s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00009_005.cvc.smt2 |   20.045s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00030_008.cvc.smt2 |   20.045s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_007.cvc.smt2 |   20.045s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00030_004.cvc.smt2 |   20.045s | 20.12MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00030_001.cvc.smt2 |   20.045s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00006_004.cvc.smt2 |   20.046s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_003.cvc.smt2 |   20.046s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00050_002.cvc.smt2 |   20.046s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_003.cvc.smt2 |   20.046s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00010_004.cvc.smt2 |   20.046s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00010_003.cvc.smt2 |   20.046s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00040_009.cvc.smt2 |   20.046s | 23.308MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_sf_ai_00007_001.cvc.smt2 |   20.046s | 19.916MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00003_002.cvc.smt2 |   20.047s | 19.792MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_sf_ai_00007_005.cvc.smt2 |   20.047s | 19.932MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00050_007.cvc.smt2 |   20.047s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00040_002.cvc.smt2 |   20.047s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00040_006.cvc.smt2 |   20.047s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00040_004.cvc.smt2 |   20.047s | 20.332MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00030_003.cvc.smt2 |   20.047s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt1529145317830911829.smt2 |   20.047s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_007.cvc.smt2 |   20.048s | 20.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_008.cvc.smt2 |   20.048s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00040_001.cvc.smt2 |   20.048s | 23.268MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_004.cvc.smt2 |   20.048s | 20.308MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_001.cvc.smt2 |   20.048s | 21.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00030_002.cvc.smt2 |   20.048s | 20.2MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00020_001.cvc.smt2 |   20.048s | 20.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00020_009.cvc.smt2 |   20.048s | 20.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00030_007.cvc.smt2 |   20.048s | 22.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00060_006.cvc.smt2 |   20.048s | 20.408MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00007_001.cvc.smt2 |   20.048s | 19.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt2524590214650541314.smt2 |   20.048s | 19.932MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00006_004.cvc.smt2 |   20.049s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_004.cvc.smt2 |   20.049s | 20.372MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00060_005.cvc.smt2 |   20.049s | 26.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_004.cvc.smt2 |   20.049s | 20.372MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00010_005.cvc.smt2 |   20.049s | 20.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00020_002.cvc.smt2 |   20.049s | 20.156MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_006.cvc.smt2 |   20.049s | 20.484MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00030_001.cvc.smt2 |   20.049s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00005_001.cvc.smt2 |   20.049s | 20.072MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00060_004.cvc.smt2 |   20.050s | 26.904MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_009.cvc.smt2 |   20.050s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00020_008.cvc.smt2 |   20.050s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_009.cvc.smt2 |   20.050s | 27.036MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_009.cvc.smt2 |   20.050s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00030_005.cvc.smt2 |   20.050s | 20.16MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_005.cvc.smt2 |   20.050s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00040_002.cvc.smt2 |   20.050s | 20.2MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00060_002.cvc.smt2 |   20.051s | 20.38MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00020_001.cvc.smt2 |   20.051s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00020_003.cvc.smt2 |   20.051s | 20.844MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_002.cvc.smt2 |   20.051s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00007_001.cvc.smt2 |   20.051s | 19.92MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00009_005.cvc.smt2 |   20.052s | 20.064MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00003_008.cvc.smt2 |   20.052s | 19.816MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00006_001.cvc.smt2 |   20.052s | 19.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00002_008.cvc.smt2 |   20.052s | 19.788MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00030_006.cvc.smt2 |   20.052s | 21.82MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00050_009.cvc.smt2 |   20.052s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_008.cvc.smt2 |   20.052s | 27.028MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_001.cvc.smt2 |   20.052s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_003.cvc.smt2 |   20.052s | 22.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3487051362416095263.smt2 |   20.052s | 19.752MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t1_pp_nf_ai_00009_004.cvc.smt2 |   20.053s | 20.268MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00009_001.cvc.smt2 |   20.053s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00002_005.cvc.smt2 |   20.053s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00003_008.cvc.smt2 |   20.053s | 19.772MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00006_009.cvc.smt2 |   20.053s | 19.936MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00050_008.cvc.smt2 |   20.053s | 20.352MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_007.cvc.smt2 |   20.053s | 20.344MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00040_004.cvc.smt2 |   20.053s | 23.088MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00060_004.cvc.smt2 |   20.053s | 26.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_007.cvc.smt2 |   20.053s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t3_pp_nf_ai_00005_005.cvc.smt2 |   20.054s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00020_009.cvc.smt2 |   20.054s | 20.256MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_001.cvc.smt2 |   20.054s | 20.344MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_001.cvc.smt2 |   20.054s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_009.cvc.smt2 |   20.054s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_008.cvc.smt2 |   20.054s | 20.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00060_008.cvc.smt2 |   20.054s | 20.46MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00030_003.cvc.smt2 |   20.054s | 20.08MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00010_004.cvc.smt2 |   20.054s | 20.096MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_sf_ai_00008_001.cvc.smt2 |   20.055s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_invalid_t3_pp_nf_ai_00007_003.cvc.smt2 |   20.055s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_nf_ai_00006_005.cvc.smt2 |   20.055s | 19.864MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00060_007.cvc.smt2 |   20.055s | 26.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_003.cvc.smt2 |   20.055s | 25.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00040_007.cvc.smt2 |   20.055s | 20.368MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00020_004.cvc.smt2 |   20.055s | 20.252MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00030_002.cvc.smt2 |   20.055s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00060_007.cvc.smt2 |   20.055s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00050_004.cvc.smt2 |   20.055s | 20.612MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00020_009.cvc.smt2 |   20.055s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_sf_ai_00006_001.cvc.smt2 |   20.055s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/swap/swap_t1_pp_sf_ai_00007_008.cvc.smt2 |   20.056s | 20.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/read6.smt2                     |   20.056s | 20.336MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00010_009.cvc.smt2 |   20.056s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00020_002.cvc.smt2 |   20.056s | 20.068MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00020_006.cvc.smt2 |   20.056s | 20.852MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_004.cvc.smt2 |   20.056s | 20.612MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_004.cvc.smt2 |   20.056s | 20.736MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00030_005.cvc.smt2 |   20.056s | 20.148MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00010_001.cvc.smt2 |   20.056s | 20.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_008.cvc.smt2 |   20.057s | 25.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_007.cvc.smt2 |   20.057s | 25.036MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00020_001.cvc.smt2 |   20.057s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_004.cvc.smt2 |   20.057s | 20.636MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00050_009.cvc.smt2 |   20.057s | 20.34MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00040_007.cvc.smt2 |   20.057s | 23.056MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_006.cvc.smt2 |   20.057s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00060_001.cvc.smt2 |   20.057s | 20.364MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_008.cvc.smt2 |   20.057s | 20.06MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00006_001.cvc.smt2 |   20.057s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00003_001.cvc.smt2 |   20.057s | 19.836MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00010_007.cvc.smt2 |   20.058s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_002.cvc.smt2 |   20.058s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00010_008.cvc.smt2 |   20.058s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6395525940490892471.smt2 |   20.058s | 19.764MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7726411424237190229.smt2 |   20.058s | 19.924MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00060_005.cvc.smt2 |   20.059s | 27.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_006.cvc.smt2 |   20.059s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_009.cvc.smt2 |   20.059s | 20.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00050_004.cvc.smt2 |   20.059s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00040_005.cvc.smt2 |   20.059s | 20.2MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00060_002.cvc.smt2 |   20.059s | 107.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_002.cvc.smt2 |   20.059s | 20.612MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00020_002.cvc.smt2 |   20.059s | 125.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_005.cvc.smt2 |   20.059s | 20.332MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00060_008.cvc.smt2 |   20.059s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_nf_ai_00008_001.cvc.smt2 |   20.059s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_005.cvc.smt2 |   20.060s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00040_006.cvc.smt2 |   20.060s | 23.056MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00030_002.cvc.smt2 |   20.060s | 22.292MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00060_001.cvc.smt2 |   20.060s | 27.188MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00040_008.cvc.smt2 |   20.060s | 23.124MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt9116345646566616227.smt2 |   20.060s | 19.748MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_006.cvc.smt2 |   20.061s | 20.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00010_007.cvc.smt2 |   20.061s | 19.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00030_005.cvc.smt2 |   20.061s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00020_004.cvc.smt2 |   20.061s | 20.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00010_006.cvc.smt2 |   20.061s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_008.cvc.smt2 |   20.061s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00060_007.cvc.smt2 |   20.061s | 20.448MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_sf_ai_00003_001.cvc.smt2 |   20.061s | 19.824MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00001_001.cvc.smt2 |   20.061s | 19.768MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00008_001.cvc.smt2 |   20.061s | 20.124MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00002_001.cvc.smt2 |   20.061s | 19.86MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt3004264733300706548.smt2 |   20.061s | 19.728MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt7909578851601176589.smt2 |   20.061s | 19.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00060_009.cvc.smt2 |   20.062s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00030_001.cvc.smt2 |   20.062s | 22.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00060_003.cvc.smt2 |   20.062s | 26.956MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/pp-dmem.smt2                   |   20.063s | 23.364MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00040_009.cvc.smt2 |   20.063s | 20.2MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_004.cvc.smt2 |   20.063s | 107.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00040_002.cvc.smt2 |   20.063s | 23.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00010_006.cvc.smt2 |   20.063s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00060_001.cvc.smt2 |   20.063s | 105.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00010_001.cvc.smt2 |   20.063s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00040_004.cvc.smt2 |   20.063s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00040_003.cvc.smt2 |   20.063s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00050_001.cvc.smt2 |   20.063s | 20.308MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00060_002.cvc.smt2 |   20.063s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00030_002.cvc.smt2 |   20.063s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt6946123632041025678.smt2 |   20.063s | 19.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00030_005.cvc.smt2 |   20.064s | 20.408MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_007.cvc.smt2 |   20.064s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_002.cvc.smt2 |   20.064s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_005.cvc.smt2 |   20.064s | 20.372MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00060_003.cvc.smt2 |   20.064s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00020_002.cvc.smt2 |   20.064s | 21.088MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00003_001.cvc.smt2 |   20.064s | 19.868MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00010_001.cvc.smt2 |   20.064s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/20170829-Rodin/smt8129085571079473607.smt2 |   20.064s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00010_008.cvc.smt2 |   20.065s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00040_002.cvc.smt2 |   20.065s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00010_007.cvc.smt2 |   20.065s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00050_005.cvc.smt2 |   20.066s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00040_007.cvc.smt2 |   20.066s | 23.224MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_008.cvc.smt2 |   20.066s | 23.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_sf_ai_00001_001.cvc.smt2 |   20.066s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_sf_ai_00004_001.cvc.smt2 |   20.066s | 19.88MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/fb_var_33_6.smt2               |   20.067s | 20.544MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00040_002.cvc.smt2 |   20.067s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_007.cvc.smt2 |   20.067s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00030_006.cvc.smt2 |   20.067s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00040_004.cvc.smt2 |   20.067s | 20.472MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00050_009.cvc.smt2 |   20.067s | 24.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00060_004.cvc.smt2 |   20.068s | 20.396MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00050_009.cvc.smt2 |   20.068s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00010_007.cvc.smt2 |   20.068s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00040_001.cvc.smt2 |   20.068s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00020_006.cvc.smt2 |   20.068s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_007.cvc.smt2 |   20.069s | 24.704MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_002.cvc.smt2 |   20.069s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00050_002.cvc.smt2 |   20.069s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00050_008.cvc.smt2 |   20.069s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00030_008.cvc.smt2 |   20.069s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/read7.smt2                     |   20.070s | 20.44MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00010_005.cvc.smt2 |   20.070s | 20.356MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00060_005.cvc.smt2 |   20.070s | 20.568MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_002.cvc.smt2 |   20.070s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00010_002.cvc.smt2 |   20.070s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/fb_var_6_12.smt2               |   20.071s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00010_001.cvc.smt2 |   20.071s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_004.cvc.smt2 |   20.071s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00060_008.cvc.smt2 |   20.071s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00030_005.cvc.smt2 |   20.071s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00040_009.cvc.smt2 |   20.071s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_007.cvc.smt2 |   20.071s | 27.004MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_005.cvc.smt2 |   20.071s | 21.024MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00060_002.cvc.smt2 |   20.071s | 26.832MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00040_005.cvc.smt2 |   20.071s | 23.128MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00020_007.cvc.smt2 |   20.072s | 20.264MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00050_008.cvc.smt2 |   20.072s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_008.cvc.smt2 |   20.072s | 20.104MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_006.cvc.smt2 |   20.072s | 22.02MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00020_007.cvc.smt2 |   20.072s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00040_008.cvc.smt2 |   20.073s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00020_002.cvc.smt2 |   20.073s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00010_006.cvc.smt2 |   20.073s | 20.324MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00030_004.cvc.smt2 |   20.073s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00020_009.cvc.smt2 |   20.073s | 20.724MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00009_001.cvc.smt2 |   20.073s | 20.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_nf_ai_00008_001.cvc.smt2 |   20.073s | 20.088MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_009.cvc.smt2 |   20.074s | 20.048MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00030_001.cvc.smt2 |   20.074s | 20.132MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00030_008.cvc.smt2 |   20.074s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00040_002.cvc.smt2 |   20.075s | 20.648MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_009.cvc.smt2 |   20.075s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00020_001.cvc.smt2 |   20.075s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00020_007.cvc.smt2 |   20.075s | 20.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00060_006.cvc.smt2 |   20.075s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00060_001.cvc.smt2 |   20.075s | 20.604MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_nf_ai_00007_001.cvc.smt2 |   20.075s | 19.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00002_001.cvc.smt2 |   20.075s | 19.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00040_006.cvc.smt2 |   20.076s | 20.188MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00040_003.cvc.smt2 |   20.076s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_008.cvc.smt2 |   20.076s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_008.cvc.smt2 |   20.076s | 20.248MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00010_003.cvc.smt2 |   20.076s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_002.cvc.smt2 |   20.076s | 27.016MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00020_005.cvc.smt2 |   20.077s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00030_006.cvc.smt2 |   20.077s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00050_006.cvc.smt2 |   20.077s | 24.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00050_004.cvc.smt2 |   20.077s | 24.96MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_004.cvc.smt2 |   20.077s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_006.cvc.smt2 |   20.077s | 24.98MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00020_007.cvc.smt2 |   20.077s | 21.036MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_sf_ai_00004_001.cvc.smt2 |   20.077s | 19.868MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00060_005.cvc.smt2 |   20.078s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_008.cvc.smt2 |   20.078s | 20.312MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_001.cvc.smt2 |   20.078s | 20.364MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00050_001.cvc.smt2 |   20.078s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00020_002.cvc.smt2 |   20.078s | 20.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00020_003.cvc.smt2 |   20.078s | 20.74MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00060_002.cvc.smt2 |   20.078s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00010_002.cvc.smt2 |   20.078s | 20.312MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00020_008.cvc.smt2 |   20.079s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_006.cvc.smt2 |   20.079s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00010_004.cvc.smt2 |   20.079s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00030_005.cvc.smt2 |   20.079s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_sf_ai_00005_001.cvc.smt2 |   20.079s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00060_007.cvc.smt2 |   20.080s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00040_006.cvc.smt2 |   20.080s | 23.276MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00060_002.cvc.smt2 |   20.080s | 26.908MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00020_008.cvc.smt2 |   20.080s | 21.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_nf_ai_00009_001.cvc.smt2 |   20.080s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00004_001.cvc.smt2 |   20.080s | 19.844MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_005.cvc.smt2 |   20.081s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00010_009.cvc.smt2 |   20.081s | 20.164MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00030_004.cvc.smt2 |   20.081s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00010_001.cvc.smt2 |   20.081s | 20.112MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00020_006.cvc.smt2 |   20.081s | 21.008MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t3_pp_nf_ai_00004_001.cvc.smt2 |   20.081s | 19.944MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_008.cvc.smt2 |   20.082s | 20.352MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00040_007.cvc.smt2 |   20.082s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_007.cvc.smt2 |   20.082s | 24.952MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00050_006.cvc.smt2 |   20.082s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00020_006.cvc.smt2 |   20.082s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00020_002.cvc.smt2 |   20.082s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00030_009.cvc.smt2 |   20.083s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00005_001.cvc.smt2 |   20.083s | 19.904MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_002.cvc.smt2 |   20.084s | 20.224MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_005.cvc.smt2 |   20.084s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00060_003.cvc.smt2 |   20.084s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00060_009.cvc.smt2 |   20.085s | 20.46MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00030_009.cvc.smt2 |   20.085s | 22.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00010_002.cvc.smt2 |   20.085s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00060_007.cvc.smt2 |   20.085s | 26.912MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00040_005.cvc.smt2 |   20.086s | 23.288MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00010_003.cvc.smt2 |   20.086s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00060_004.cvc.smt2 |   20.086s | 109.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00060_008.cvc.smt2 |   20.086s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_008.cvc.smt2 |   20.086s | 25.136MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00050_005.cvc.smt2 |   20.087s | 24.964MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00040_002.cvc.smt2 |   20.087s | 23.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00008_001.cvc.smt2 |   20.087s | 20.136MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_009.cvc.smt2 |   20.088s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00020_004.cvc.smt2 |   20.088s | 20.856MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_003.cvc.smt2 |   20.088s | 20.232MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00050_005.cvc.smt2 |   20.088s | 24.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_003.cvc.smt2 |   20.088s | 20.068MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_002.cvc.smt2 |   20.089s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00010_009.cvc.smt2 |   20.089s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00060_008.cvc.smt2 |   20.089s | 20.408MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00020_005.cvc.smt2 |   20.089s | 20.78MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_005.cvc.smt2 |   20.089s | 20.356MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00040_003.cvc.smt2 |   20.090s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00020_004.cvc.smt2 |   20.090s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00030_009.cvc.smt2 |   20.090s | 21.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_nf_ai_00005_001.cvc.smt2 |   20.090s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_008.cvc.smt2 |   20.091s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_005.cvc.smt2 |   20.091s | 20.36MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_004.cvc.smt2 |   20.091s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_003.cvc.smt2 |   20.091s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00030_003.cvc.smt2 |   20.091s | 20.136MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_002.cvc.smt2 |   20.091s | 23.304MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00010_009.cvc.smt2 |   20.091s | 20.152MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00040_004.cvc.smt2 |   20.092s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00030_008.cvc.smt2 |   20.092s | 20.38MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_005.cvc.smt2 |   20.092s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_004.cvc.smt2 |   20.092s | 21.976MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_001.cvc.smt2 |   20.092s | 20.364MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00060_006.cvc.smt2 |   20.092s | 20.38MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_008.cvc.smt2 |   20.092s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00050_008.cvc.smt2 |   20.093s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00050_007.cvc.smt2 |   20.094s | 20.328MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00020_006.cvc.smt2 |   20.094s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00050_005.cvc.smt2 |   20.094s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_009.cvc.smt2 |   20.094s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00040_009.cvc.smt2 |   20.094s | 23.292MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00010_004.cvc.smt2 |   20.095s | 112.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00050_009.cvc.smt2 |   20.095s | 24.988MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ni_00010_004.cvc.smt2 |   20.095s | 20.116MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_008.cvc.smt2 |   20.096s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00020_003.cvc.smt2 |   20.096s | 20.76MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00010_007.cvc.smt2 |   20.096s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00060_005.cvc.smt2 |   20.096s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00030_006.cvc.smt2 |   20.096s | 20.352MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00030_003.cvc.smt2 |   20.096s | 20.336MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00040_001.cvc.smt2 |   20.097s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ai_00030_008.cvc.smt2 |   20.097s | 22.028MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00040_008.cvc.smt2 |   20.098s | 20.44MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00060_006.cvc.smt2 |   20.099s | 26.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00060_009.cvc.smt2 |   20.099s | 27.12MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_004.cvc.smt2 |   20.099s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00060_008.cvc.smt2 |   20.099s | 20.62MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_006.cvc.smt2 |   20.099s | 20.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00050_001.cvc.smt2 |   20.100s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00020_008.cvc.smt2 |   20.100s | 20.252MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00060_003.cvc.smt2 |   20.100s | 20.408MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ai_00030_003.cvc.smt2 |   20.101s | 21.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00020_001.cvc.smt2 |   20.101s | 20.704MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_nf_ai_00003_001.cvc.smt2 |   20.101s | 19.848MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00010_006.cvc.smt2 |   20.102s | 20.08MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00010_009.cvc.smt2 |   20.102s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00060_008.cvc.smt2 |   20.102s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ai_00060_008.cvc.smt2 |   20.102s | 26.84MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00060_005.cvc.smt2 |   20.102s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00040_009.cvc.smt2 |   20.103s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00010_002.cvc.smt2 |   20.103s | 19.892MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00010_005.cvc.smt2 |   20.103s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00030_001.cvc.smt2 |   20.103s | 21.948MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00030_003.cvc.smt2 |   20.103s | 22.1MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_004.cvc.smt2 |   20.104s | 26.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00010_003.cvc.smt2 |   20.104s | 19.884MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00060_009.cvc.smt2 |   20.105s | 106.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_006.cvc.smt2 |   20.105s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_nf_ni_00020_009.cvc.smt2 |   20.105s | 20.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00060_003.cvc.smt2 |   20.105s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ni_00050_009.cvc.smt2 |   20.106s | 20.372MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00050_008.cvc.smt2 |   20.106s | 117.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00020_003.cvc.smt2 |   20.106s | 20.012MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00020_003.cvc.smt2 |   20.108s | 123.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_007.cvc.smt2 |   20.108s | 20.248MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00006_001.cvc.smt2 |   20.108s | 20.076MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00040_007.cvc.smt2 |   20.109s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00020_005.cvc.smt2 |   20.109s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00030_007.cvc.smt2 |   20.109s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_002.cvc.smt2 |   20.109s | 20.232MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00040_006.cvc.smt2 |   20.109s | 20.224MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00060_001.cvc.smt2 |   20.110s | 26.984MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00060_007.cvc.smt2 |   20.110s | 110.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_t1_pp_nf_ai_00009_001.cvc.smt2 |   20.110s | 20.108MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/cvc/fb_var_12_11.smt2              |   20.111s | 20.34MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00010_003.cvc.smt2 |   20.111s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00010_006.cvc.smt2 |   20.111s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00050_007.cvc.smt2 |   20.112s | 108.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00010_006.cvc.smt2 |   20.113s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_sf_ni_00040_005.cvc.smt2 |   20.113s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_nf_ni_00060_004.cvc.smt2 |   20.113s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00030_003.cvc.smt2 |   20.114s | 118.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_002.cvc.smt2 |   20.114s | 119.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00060_004.cvc.smt2 |   20.115s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t1_pp_sf_ai_00010_001.cvc.smt2 |   20.115s | 20.164MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00040_009.cvc.smt2 |   20.118s | 23.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00030_007.cvc.smt2 |   20.119s | 120.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00010_001.cvc.smt2 |   20.119s | 114.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ni_00050_003.cvc.smt2 |   20.119s | 20.34MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_sf_ni_00010_009.cvc.smt2 |   20.120s | 115.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storeinv/storeinv_invalid_t3_pp_sf_ai_00002_001.cvc.smt2 |   20.120s | 19.9MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t2_np_nf_ni_00040_005.cvc.smt2 |   20.122s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_sf_ni_00040_001.cvc.smt2 |   20.122s | 20.212MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_nf_ai_00030_008.cvc.smt2 |   20.122s | 21.988MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00010_004.cvc.smt2 |   20.122s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_007.cvc.smt2 |   20.123s | 25.04MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ai_00040_005.cvc.smt2 |   20.124s | 23.084MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00010_006.cvc.smt2 |   20.124s | 20.052MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_np_sf_ni_00020_007.cvc.smt2 |   20.125s | 122.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t3_pp_nf_ai_00030_009.cvc.smt2 |   20.126s | 21.808MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ni_00010_006.cvc.smt2 |   20.126s | 19.888MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00050_008.cvc.smt2 |   20.127s | 24.968MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_003.cvc.smt2 |   20.129s | 116.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_nf_ni_00050_002.cvc.smt2 |   20.130s | 20.348MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_pp_sf_ai_00020_009.cvc.smt2 |   20.133s | 20.8MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_pp_sf_ai_00060_004.cvc.smt2 |   20.134s | 26.74MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_pp_sf_ni_00050_002.cvc.smt2 |   20.135s | 20.324MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00040_001.cvc.smt2 |   20.136s | 121.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_nf_ni_00020_003.cvc.smt2 |   20.137s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_t1_np_nf_ni_00020_004.cvc.smt2 |   20.137s | 124.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_nf_ni_00050_008.cvc.smt2 |   20.142s | 111.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t3_np_sf_ni_00010_004.cvc.smt2 |   20.142s | 113.0MiB| timeout | 0 |  |  |
|non-incremental/QF_AUFLIA/storecomm/storecomm_invalid_t1_np_sf_ni_00060_009.cvc.smt2 |   20.150s | 112.0MiB| timeout | 0 |  |  |