# . * SAT 189 * UNSAT 312 * TIMEOUT 127 * UNKNOWN 0 * ERRORS 0 # Meta data 
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/QF_UFIDL.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-QF_UFIDL.tar.zst-d
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 4a90d3105054796562079406e125b9480ac3472b
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/QF_UFIDL.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/QF_UFIDL/TwoSquares/smtlib.877439.smt2 | 0.033s | 19.388MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600173.smt2 | 0.034s | 19.884MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693740.smt2 | 0.034s | 19.452MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883188.smt2 | 0.034s | 19.424MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard3.smt2 | 0.034s | 20.336MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600181.smt2 | 0.035s | 19.748MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded0.smt2 | 0.036s | 20.108MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b_s.smt2 | 0.036s | 20.512MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9_s.smt2 | 0.036s | 20.176MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b_s.smt2 | 0.037s | 20.356MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7_s.smt2 | 0.037s | 20.26MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883203.smt2 | 0.037s | 19.628MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.877456.smt2 | 0.037s | 19.632MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard2.smt2 | 0.037s | 20.08MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic0.smt2 | 0.038s | 20.008MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery0.smt2 | 0.038s | 20.064MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n_s.smt2 | 0.038s | 20.28MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b_s.smt2 | 0.038s | 20.28MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6_s.smt2 | 0.039s | 20.18MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883173.smt2 | 0.039s | 19.432MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union0.smt2 | 0.040s | 20.304MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv0.smt2 | 0.040s | 20.192MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b_s.smt2 | 0.040s | 20.324MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8_s.smt2 | 0.040s | 20.24MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n_s.smt2 | 0.040s | 20.264MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc0.smt2 | 0.041s | 20.276MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/5s.smt2 | 0.041s | 20.396MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n_s.smt2 | 0.041s | 20.34MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n_s.smt2 | 0.042s | 20.452MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full2.smt2 | 0.044s | 20.736MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic2.smt2 | 0.045s | 20.668MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b_s.smt2 | 0.045s | 20.268MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600189.smt2 | 0.046s | 19.852MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO0.smt2 | 0.048s | 20.108MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i_s.smt2 | 0.048s | 21.168MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.877473.smt2 | 0.048s | 19.604MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic3.smt2 | 0.049s | 20.86MiB| sat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard4.smt2 | 0.049s | 20.312MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic0.smt2 | 0.051s | 20.14MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic1.smt2 | 0.051s | 20.688MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO1.smt2 | 0.053s | 20.88MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883218.smt2 | 0.053s | 19.744MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic4.smt2 | 0.054s | 20.708MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded1.smt2 | 0.054s | 21.22MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded2.smt2 | 0.054s | 21.176MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n_s.smt2 | 0.054s | 20.432MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full3.smt2 | 0.055s | 20.992MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded3.smt2 | 0.055s | 21.236MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693723.smt2 | 0.055s | 19.632MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf7.smt2 | 0.056s | 21.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full1.smt2 | 0.056s | 20.824MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv1.smt2 | 0.057s | 20.992MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union1.smt2 | 0.058s | 21.028MiB| sat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard5.smt2 | 0.058s | 20.468MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery1.smt2 | 0.059s | 21.392MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C0.smt2 | 0.059s | 20.352MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6.smt2 | 0.059s | 21.056MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id_s.smt2 | 0.059s | 21.76MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10_s.smt2 | 0.059s | 20.2MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv3.smt2 | 0.060s | 21.388MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693706.smt2 | 0.060s | 19.628MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv2.smt2 | 0.061s | 20.844MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP1.smt2 | 0.061s | 21.46MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi_s.smt2 | 0.061s | 21.632MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic6.smt2 | 0.062s | 21.416MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic1.smt2 | 0.062s | 21.164MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/6stage-flush.smt2 | 0.062s | 21.72MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic5.smt2 | 0.063s | 21.48MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni_s.smt2 | 0.063s | 21.924MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard7.smt2 | 0.065s | 20.568MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6n.smt2 | 0.066s | 21.252MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP4.smt2 | 0.067s | 21.224MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full0.smt2 | 0.067s | 20.224MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP3.smt2 | 0.068s | 21.252MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP2.smt2 | 0.069s | 21.252MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP6.smt2 | 0.069s | 21.504MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full4.smt2 | 0.069s | 21.492MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6i.smt2 | 0.069s | 21.04MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic2.smt2 | 0.070s | 21.304MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP5.smt2 | 0.071s | 21.388MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union2.smt2 | 0.072s | 21.64MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw_s.smt2 | 0.072s | 22.296MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6b.smt2 | 0.073s | 21.12MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic4.smt2 | 0.074s | 21.556MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery2.smt2 | 0.074s | 21.932MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file6.smt2 | 0.075s | 22.056MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full6.smt2 | 0.075s | 22.124MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bi.smt2 | 0.076s | 21.46MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard6.smt2 | 0.076s | 20.496MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic3.smt2 | 0.077s | 21.42MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP7.smt2 | 0.078s | 21.408MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw_s.smt2 | 0.078s | 22.276MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-safety.smt2 | 0.079s | 21.44MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP8.smt2 | 0.079s | 21.484MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded4.smt2 | 0.080s | 21.884MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP9.smt2 | 0.081s | 21.444MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw_s.smt2 | 0.082s | 23.036MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union5.smt2 | 0.083s | 22.276MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf6.smt2 | 0.088s | 20.372MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union4.smt2 | 0.088s | 22.244MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery3.smt2 | 0.088s | 22.208MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded5.smt2 | 0.088s | 22.516MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6ni.smt2 | 0.089s | 21.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw_s.smt2 | 0.089s | 21.796MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6b.smt2 | 0.090s | 22.04MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C2.smt2 | 0.091s | 21.88MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw_s.smt2 | 0.091s | 22.464MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7.smt2 | 0.092s | 21.332MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw_s.smt2 | 0.093s | 23.256MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/49s.smt2 | 0.094s | 20.336MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7n.smt2 | 0.094s | 21.904MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6nidw.smt2 | 0.094s | 22.184MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union3.smt2 | 0.096s | 21.996MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO2.smt2 | 0.096s | 21.384MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw_s.smt2 | 0.096s | 22.832MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full5.smt2 | 0.097s | 22.268MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid_s.smt2 | 0.097s | 21.98MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RTCL/b13_tf_100/b13_tf_100.smt2 | 0.098s | 23.812MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc1.smt2 | 0.100s | 22.808MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full7.smt2 | 0.100s | 22.82MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6idw.smt2 | 0.100s | 22.024MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6i.smt2 | 0.100s | 21.672MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id_s.smt2 | 0.104s | 24.16MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw_s.smt2 | 0.104s | 23.912MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C1.smt2 | 0.105s | 22.104MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv4.smt2 | 0.105s | 22.668MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i_s.smt2 | 0.106s | 23.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bid.smt2 | 0.106s | 22.016MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/32s.smt2 | 0.108s | 20.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw_s.smt2 | 0.110s | 23.168MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/46s.smt2 | 0.111s | 21.416MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni_s.smt2 | 0.111s | 24.46MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid_s.smt2 | 0.111s | 22.896MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-safety.smt2 | 0.114s | 22.26MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6id.smt2 | 0.115s | 21.868MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/bug2.smt2 | 0.115s | 21.848MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7_i.smt2 | 0.116s | 21.432MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/44s.smt2 | 0.118s | 20.932MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7b.smt2 | 0.119s | 21.728MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6ni.smt2 | 0.119s | 22.32MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw_s.smt2 | 0.119s | 24.62MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid_s.smt2 | 0.120s | 24.416MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bi.smt2 | 0.121s | 22.396MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full8.smt2 | 0.122s | 22.636MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file3.smt2 | 0.123s | 27.232MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/37s.smt2 | 0.125s | 22.668MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw_s.smt2 | 0.125s | 24.304MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard11.smt2 | 0.126s | 21.084MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid_s.smt2 | 0.127s | 25.44MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp.smt2 | 0.128s | 21.956MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi_s.smt2 | 0.128s | 24.212MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.smt2 | 0.129s | 21.612MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded7.smt2 | 0.129s | 24.548MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag8.smt2 | 0.130s | 21.248MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf7.smt2 | 0.132s | 20.916MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8.smt2 | 0.132s | 21.82MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file1.smt2 | 0.133s | 25.384MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery7.smt2 | 0.133s | 23.528MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C3.smt2 | 0.134s | 23.716MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw_s.smt2 | 0.134s | 23.588MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard8.smt2 | 0.134s | 20.756MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery8.smt2 | 0.135s | 23.856MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv8.smt2 | 0.136s | 21.192MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf8.smt2 | 0.137s | 22.16MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6.smt2 | 0.138s | 21.3MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO6.smt2 | 0.139s | 26.136MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded6.smt2 | 0.139s | 24.372MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6n.smt2 | 0.139s | 22.072MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard9.smt2 | 0.139s | 20.832MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery5.smt2 | 0.140s | 23.288MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery6.smt2 | 0.141s | 23.58MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery4.smt2 | 0.143s | 22.856MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-safety.smt2 | 0.145s | 21.132MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard10.smt2 | 0.151s | 20.992MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv5.smt2 | 0.153s | 23.54MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6id.smt2 | 0.153s | 23.324MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6_i.smt2 | 0.154s | 21.136MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/25s.smt2 | 0.155s | 22.84MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bidw.smt2 | 0.155s | 22.444MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO4.smt2 | 0.156s | 24.808MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-inp-safety.smt2 | 0.157s | 23.424MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw_s.smt2 | 0.157s | 24.22MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO5.smt2 | 0.158s | 25.744MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery11.smt2 | 0.159s | 24.736MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-safety.smt2 | 0.160s | 21.844MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file2.smt2 | 0.160s | 26.408MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery9.smt2 | 0.160s | 23.852MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv6.smt2 | 0.162s | 23.54MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw_s.smt2 | 0.162s | 25.152MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C5.smt2 | 0.164s | 24.716MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7idw.smt2 | 0.165s | 22.856MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery15.smt2 | 0.167s | 24.744MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.rwmem.smt2 | 0.168s | 21.42MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.rwmem1.smt2 | 0.168s | 21.396MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf6.smt2 | 0.171s | 20.428MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw_s.smt2 | 0.171s | 26.12MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-safety.smt2 | 0.172s | 22.832MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/IC-flush.smt2 | 0.174s | 32.704MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/27s.smt2 | 0.175s | 20.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery12.smt2 | 0.177s | 24.972MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C4.smt2 | 0.179s | 24.296MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full9.smt2 | 0.180s | 23.124MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8b.smt2 | 0.180s | 22.564MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard15.smt2 | 0.181s | 21.476MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8n.smt2 | 0.182s | 22.62MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8_i.smt2 | 0.182s | 21.472MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs.smt2 | 0.183s | 22.408MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g6nid.smt2 | 0.184s | 22.08MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO3.smt2 | 0.187s | 23.672MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery10.smt2 | 0.188s | 24.472MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery13.smt2 | 0.192s | 24.964MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded13.smt2 | 0.193s | 27.1MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag10.smt2 | 0.194s | 22.328MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10.smt2 | 0.196s | 22.14MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l22.smt2 | 0.197s | 28.06MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9.smt2 | 0.199s | 21.892MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-safety.smt2 | 0.200s | 22.204MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp.smt2 | 0.201s | 23.156MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded10.smt2 | 0.204s | 38.004MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded11.smt2 | 0.206s | 26.452MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6.smt2 | 0.206s | 21.356MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/bug1.smt2 | 0.207s | 23.012MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7.smt2 | 0.208s | 22.48MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf8.smt2 | 0.209s | 21.644MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9_i.smt2 | 0.209s | 21.58MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex.smt2 | 0.210s | 24.128MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b_i.smt2 | 0.211s | 21.816MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-inp-safety.smt2 | 0.214s | 22.216MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded9.smt2 | 0.218s | 26.532MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO7.smt2 | 0.219s | 26.42MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/10stage-flush.smt2 | 0.220s | 29.776MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery14.smt2 | 0.220s | 25.32MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10_i.smt2 | 0.220s | 21.74MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6nid.smt2 | 0.221s | 23.856MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard12.smt2 | 0.222s | 21.44MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n_i.smt2 | 0.223s | 21.776MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8.smt2 | 0.224s | 21.684MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery16.smt2 | 0.225s | 39.932MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex.smt2 | 0.226s | 22.168MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7bidw.smt2 | 0.228s | 23.428MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs.smt2 | 0.232s | 21.384MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag12.smt2 | 0.233s | 23.924MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file4.smt2 | 0.237s | 30.432MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g7nidw.smt2 | 0.239s | 23.476MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc2.smt2 | 0.240s | 26.804MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b_i.smt2 | 0.240s | 21.952MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded14.smt2 | 0.241s | 37.944MiB| sat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard13.smt2 | 0.247s | 21.372MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7b.smt2 | 0.251s | 23.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9.smt2 | 0.253s | 22.792MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7.smt2 | 0.255s | 21.64MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-inp.smt2 | 0.267s | 22.408MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO8.smt2 | 0.269s | 26.932MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8idw.smt2 | 0.274s | 23.9MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bid.smt2 | 0.275s | 24.024MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l94.smt2 | 0.277s | 34.352MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded8.smt2 | 0.277s | 37.94MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b_i.smt2 | 0.277s | 22.404MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded12.smt2 | 0.281s | 38.152MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7n.smt2 | 0.292s | 23.424MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b_i.smt2 | 0.294s | 22.524MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b.smt2 | 0.295s | 22.544MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n_i.smt2 | 0.296s | 22.136MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-inp.smt2 | 0.297s | 24.444MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc4.smt2 | 0.299s | 29.348MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10.smt2 | 0.303s | 23.296MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n_i.smt2 | 0.304s | 23.036MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l12.smt2 | 0.310s | 36.936MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded15.smt2 | 0.310s | 27.264MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10b.smt2 | 0.310s | 24.34MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc6.smt2 | 0.315s | 29.028MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b.smt2 | 0.315s | 23.168MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc3.smt2 | 0.316s | 29.472MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n_i.smt2 | 0.316s | 22.456MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b.smt2 | 0.320s | 22.24MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded16.smt2 | 0.322s | 37.948MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n.smt2 | 0.324s | 22.632MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc8.smt2 | 0.328s | 29.02MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l75.smt2 | 0.328s | 30.444MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file5.smt2 | 0.330s | 27.74MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/43s.smt2 | 0.331s | 23.928MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf9.smt2 | 0.333s | 24.016MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv10.smt2 | 0.333s | 22.256MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery18.smt2 | 0.338s | 38.756MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n_i.smt2 | 0.340s | 22.784MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9n.smt2 | 0.344s | 23.5MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n.smt2 | 0.344s | 23.316MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6idw.smt2 | 0.345s | 24.624MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b.smt2 | 0.348s | 21.992MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc5.smt2 | 0.355s | 29.2MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO9.smt2 | 0.361s | 26.732MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n.smt2 | 0.382s | 22.556MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc7.smt2 | 0.383s | 29.304MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery17.smt2 | 0.385s | 25.404MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l97.smt2 | 0.386s | 31.66MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete/8stage-flush.smt2 | 0.390s | 23.72MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc9.smt2 | 0.395s | 29.412MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l32.smt2 | 0.397s | 32.092MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n.smt2 | 0.397s | 23.848MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag14.smt2 | 0.399s | 27.048MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n.smt2 | 0.408s | 23.64MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6nidw.smt2 | 0.409s | 25.172MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/22s.smt2 | 0.427s | 24.216MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bidw.smt2 | 0.427s | 25.368MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b_i.smt2 | 0.429s | 23.052MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8nidw.smt2 | 0.431s | 24.66MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g8bidw.smt2 | 0.433s | 24.78MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b.smt2 | 0.453s | 23.104MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10i.smt2 | 0.454s | 24.132MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard17.smt2 | 0.454s | 22.016MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l02.smt2 | 0.455s | 55.116MiB| sat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard19.smt2 | 0.466s | 21.952MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9b.smt2 | 0.467s | 23.852MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard16.smt2 | 0.469s | 21.936MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard14.smt2 | 0.473s | 21.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i.smt2 | 0.474s | 22.844MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard18.smt2 | 0.483s | 22.268MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l25.smt2 | 0.485s | 52.64MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l44.smt2 | 0.486s | 34.712MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9idw.smt2 | 0.504s | 25.556MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l09.smt2 | 0.515s | 60.076MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bi.smt2 | 0.515s | 25.34MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l76.smt2 | 0.532s | 33.484MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.10.smt2 | 0.539s | 21.896MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l08.smt2 | 0.552s | 37.036MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8.smt2 | 0.556s | 23.616MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10idw.smt2 | 0.559s | 26.496MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag15.smt2 | 0.561s | 28.592MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded17.smt2 | 0.568s | 28.088MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l10.smt2 | 0.583s | 38.212MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l91.smt2 | 0.589s | 44.036MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l29.smt2 | 0.593s | 39.928MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id.smt2 | 0.595s | 23.192MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw_i.smt2 | 0.613s | 23.152MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i_i.smt2 | 0.613s | 22.672MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9bidw.smt2 | 0.616s | 26.104MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag17.smt2 | 0.630s | 31.272MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bid.smt2 | 0.638s | 26.988MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id_i.smt2 | 0.665s | 23.016MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l04.smt2 | 0.666s | 58.12MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw.smt2 | 0.695s | 23.284MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf9.smt2 | 0.697s | 22.86MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l50.smt2 | 0.714s | 62.652MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g9nidw.smt2 | 0.750s | 26.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv12.smt2 | 0.761s | 23.78MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw_i.smt2 | 0.764s | 24.188MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid_i.smt2 | 0.768s | 23.88MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l03.smt2 | 0.777s | 56.4MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10n.smt2 | 0.788s | 24.648MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l05.smt2 | 0.822s | 58.408MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l00.smt2 | 0.843s | 54.164MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi_i.smt2 | 0.850s | 23.496MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bidw.smt2 | 0.859s | 28.092MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l01.smt2 | 0.872s | 54.14MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l06.smt2 | 0.882s | 60.072MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw.smt2 | 0.885s | 24.264MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi.smt2 | 0.891s | 23.536MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard20.smt2 | 0.896s | 22.712MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8b.smt2 | 0.916s | 25.376MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid_i.smt2 | 0.927s | 24.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l38.smt2 | 0.928s | 59.156MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid.smt2 | 0.946s | 25.172MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10ni.smt2 | 0.959s | 25.736MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni_i.smt2 | 0.964s | 23.86MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8n.smt2 | 0.965s | 25.448MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete/9stage-flush.smt2 | 0.988s | 25.488MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10nid.smt2 | 1.031s | 27.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10id.smt2 | 1.061s | 26.164MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7bidw.smt2 | 1.128s | 28.072MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l27.smt2 | 1.132s | 65.256MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7nidw.smt2 | 1.135s | 27.972MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw.smt2 | 1.145s | 25.5MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid.smt2 | 1.153s | 24.172MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw_i.smt2 | 1.189s | 24.416MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f7idw.smt2 | 1.189s | 26.98MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l59.smt2 | 1.219s | 66.288MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni.smt2 | 1.277s | 24.896MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw.smt2 | 1.282s | 25.792MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l17.smt2 | 1.297s | 85.936MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw.smt2 | 1.318s | 25.388MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw.smt2 | 1.318s | 24.532MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l35.smt2 | 1.327s | 97.492MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l54.smt2 | 1.340s | 65.296MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l20.smt2 | 1.350s | 74.356MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l18.smt2 | 1.350s | 76.572MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw_i.smt2 | 1.353s | 25.204MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l21.smt2 | 1.360s | 76.832MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw_i.smt2 | 1.383s | 24.412MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw_i.smt2 | 1.419s | 25.484MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9.smt2 | 1.431s | 25.216MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l11.smt2 | 1.436s | 86.284MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l33.smt2 | 1.494s | 96.252MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw.smt2 | 1.515s | 25.388MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l15.smt2 | 1.518s | 90.912MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw.smt2 | 1.539s | 26.356MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l51.smt2 | 1.573s | 105.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l19.smt2 | 1.597s | 91.128MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l34.smt2 | 1.681s | 97.076MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l30.smt2 | 1.690s | 96.192MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw_i.smt2 | 1.740s | 26.256MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw_i.smt2 | 1.744s | 26.004MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag19.smt2 | 1.756s | 35.592MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/g10nidw.smt2 | 1.763s | 28.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l45.smt2 | 1.764s | 105.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l63.smt2 | 1.798s | 97.376MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l40.smt2 | 1.813s | 107.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l56.smt2 | 1.821s | 109.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l64.smt2 | 1.884s | 99.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw_i.smt2 | 1.983s | 27.576MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw_i.smt2 | 2.001s | 25.316MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw.smt2 | 2.049s | 28.08MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9n.smt2 | 2.081s | 27.74MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw_i.smt2 | 2.128s | 26.636MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l80.smt2 | 2.135s | 123.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l42.smt2 | 2.191s | 114.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l41.smt2 | 2.348s | 108.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l37.smt2 | 2.354s | 108.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l88.smt2 | 2.508s | 132.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l77.smt2 | 2.516s | 122.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l67.smt2 | 2.586s | 122.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw.smt2 | 2.639s | 27.956MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw.smt2 | 2.649s | 26.408MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9b.smt2 | 2.717s | 27.752MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8idw.smt2 | 2.771s | 29.424MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni_i.smt2 | 2.802s | 28.0MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw.smt2 | 2.805s | 30.084MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l86.smt2 | 2.818s | 132.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw.smt2 | 2.860s | 28.964MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l60.smt2 | 2.883s | 133.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid_i.smt2 | 2.946s | 28.992MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid_i.smt2 | 2.949s | 28.64MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw_i.smt2 | 2.950s | 27.704MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l95.smt2 | 2.951s | 180.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8nidw.smt2 | 3.015s | 31.352MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l74.smt2 | 3.017s | 156.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l84.smt2 | 3.068s | 173.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l36.smt2 | 3.072s | 130.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.12.smt2 | 3.073s | 23.18MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l85.smt2 | 3.076s | 175.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l81.smt2 | 3.091s | 136.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id.smt2 | 3.194s | 27.504MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l55.smt2 | 3.299s | 195.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw.smt2 | 3.320s | 30.92MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l90.smt2 | 3.325s | 178.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l70.smt2 | 3.414s | 171.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l69.smt2 | 3.415s | 172.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f8bidw.smt2 | 3.426s | 31.668MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf10.smt2 | 3.432s | 25.172MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi_i.smt2 | 3.439s | 28.492MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l99.smt2 | 3.519s | 192.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw.smt2 | 3.519s | 28.184MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l78.smt2 | 3.560s | 178.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l89.smt2 | 3.570s | 197.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l83.smt2 | 3.665s | 178.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l61.smt2 | 3.715s | 183.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf10.smt2 | 3.771s | 27.636MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv14.smt2 | 3.789s | 25.96MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i_i.smt2 | 3.797s | 26.984MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw_i.smt2 | 3.902s | 29.592MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l57.smt2 | 3.915s | 206.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw_i.smt2 | 3.922s | 29.028MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l66.smt2 | 3.932s | 169.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l92.smt2 | 3.935s | 198.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid.smt2 | 3.971s | 31.02MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l43.smt2 | 3.979s | 205.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi.smt2 | 4.028s | 28.732MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i.smt2 | 4.029s | 27.164MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw_i.smt2 | 4.032s | 27.452MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid.smt2 | 4.085s | 28.804MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni.smt2 | 4.122s | 30.016MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l72.smt2 | 4.132s | 206.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10i.smt2 | 4.676s | 28.696MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id_i.smt2 | 5.022s | 27.784MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9bidw.smt2 | 5.228s | 35.224MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10n.smt2 | 5.246s | 31.2MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l46.smt2 | 5.627s | 42.012MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.14.smt2 | 5.680s | 24.404MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10.smt2 | 5.858s | 28.184MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l47.smt2 | 6.199s | 257.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bi.smt2 | 6.435s | 32.056MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv15.smt2 | 6.838s | 27.3MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10ni.smt2 | 7.102s | 32.344MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l96.smt2 | 7.194s | 414.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l28.smt2 | 7.248s | 35.192MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l53.smt2 | 7.326s | 424.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l65.smt2 | 7.636s | 425.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l07.smt2 | 7.815s | 55.92MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l79.smt2 | 8.129s | 359.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9idw.smt2 | 8.449s | 33.396MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10b.smt2 | 9.027s | 30.908MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l93.smt2 | 9.272s | 493.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10id.smt2 | 10.552s | 34.192MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f9nidw.smt2 | 11.217s | 36.096MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10nid.smt2 | 12.246s | 38.044MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l87.smt2 | 12.568s | 667.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bid.smt2 | 13.012s | 37.668MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l98.smt2 | 13.563s | 738.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bidw.smt2 | 14.986s | 40.892MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/pete2/f10idw.smt2 | 15.983s | 37.34MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf11.smt2 | 17.126s | 28.3MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv16.smt2 | 17.748s | 29.248MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f04.smt2 | 20.013s | 35.448MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f61.smt2 | 20.013s | 38.668MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f69.smt2 | 20.014s | 37.512MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f18.smt2 | 20.015s | 33.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f29.smt2 | 20.015s | 38.872MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f89.smt2 | 20.015s | 36.652MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f70.smt2 | 20.016s | 35.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l24.smt2 | 20.016s | 55.488MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f21.smt2 | 20.017s | 35.952MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f77.smt2 | 20.017s | 40.292MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f95.smt2 | 20.018s | 65.756MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10nidw.smt2 | 20.018s | 40.888MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f90.smt2 | 20.020s | 36.58MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l49.smt2 | 20.020s | 106.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l48.smt2 | 20.022s | 80.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv18.smt2 | 20.023s | 32.42MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l39.smt2 | 20.025s | 67.772MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f35.smt2 | 20.026s | 33.768MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f86.smt2 | 20.028s | 187.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f16.smt2 | 20.028s | 33.86MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f98.smt2 | 20.031s | 52.968MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l68.smt2 | 20.031s | 55.808MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f38.smt2 | 20.033s | 53.712MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f83.smt2 | 20.034s | 84.812MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f97.smt2 | 20.035s | 89.74MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f58.smt2 | 20.039s | 34.26MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf13.smt2 | 20.039s | 32.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.40.smt2 | 20.040s | 44.972MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f49.smt2 | 20.068s | 34.228MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f73.smt2 | 20.069s | 39.308MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/elf.rf12.smt2 | 20.073s | 39.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f64.smt2 | 20.074s | 38.084MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f40.smt2 | 20.075s | 38.216MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f51.smt2 | 20.076s | 36.976MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f79.smt2 | 20.077s | 33.98MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv17.smt2 | 20.078s | 31.22MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f12.smt2 | 20.080s | 34.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f23.smt2 | 20.080s | 37.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f41.smt2 | 20.080s | 39.576MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f62.smt2 | 20.082s | 40.352MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f00.smt2 | 20.082s | 35.964MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f30.smt2 | 20.083s | 38.744MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f14.smt2 | 20.083s | 37.124MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f99.smt2 | 20.083s | 52.9MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l23.smt2 | 20.085s | 75.036MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.18.smt2 | 20.086s | 29.472MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f74.smt2 | 20.086s | 42.384MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f94.smt2 | 20.086s | 56.796MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f05.smt2 | 20.086s | 35.52MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f02.smt2 | 20.086s | 45.44MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f08.smt2 | 20.086s | 36.9MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f78.smt2 | 20.087s | 39.124MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l52.smt2 | 20.087s | 66.796MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f19.smt2 | 20.087s | 37.836MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f84.smt2 | 20.087s | 36.108MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f63.smt2 | 20.087s | 34.66MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f60.smt2 | 20.087s | 38.8MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f91.smt2 | 20.088s | 38.02MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l71.smt2 | 20.088s | 75.608MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f24.smt2 | 20.088s | 38.448MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f81.smt2 | 20.088s | 34.52MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f15.smt2 | 20.088s | 33.54MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f25.smt2 | 20.088s | 34.416MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f52.smt2 | 20.089s | 34.52MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f34.smt2 | 20.089s | 35.308MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f53.smt2 | 20.089s | 33.428MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f26.smt2 | 20.090s | 40.084MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f56.smt2 | 20.090s | 57.176MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f45.smt2 | 20.091s | 35.212MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f32.smt2 | 20.091s | 50.4MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f85.smt2 | 20.092s | 61.516MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f07.smt2 | 20.092s | 34.116MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f88.smt2 | 20.092s | 34.356MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f57.smt2 | 20.092s | 34.612MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f42.smt2 | 20.093s | 34.94MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l26.smt2 | 20.093s | 68.592MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f47.smt2 | 20.094s | 40.244MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f66.smt2 | 20.094s | 35.852MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f36.smt2 | 20.094s | 38.408MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f03.smt2 | 20.094s | 35.372MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f22.smt2 | 20.095s | 35.18MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l16.smt2 | 20.096s | 76.892MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f82.smt2 | 20.096s | 84.352MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f48.smt2 | 20.096s | 33.256MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f09.smt2 | 20.096s | 36.592MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f59.smt2 | 20.096s | 34.624MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l31.smt2 | 20.097s | 108.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f39.smt2 | 20.097s | 33.148MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f92.smt2 | 20.097s | 61.784MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l58.smt2 | 20.099s | 57.472MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f71.smt2 | 20.100s | 43.5MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f01.smt2 | 20.100s | 38.56MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f65.smt2 | 20.100s | 41.856MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f17.smt2 | 20.100s | 53.716MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f54.smt2 | 20.101s | 35.004MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f68.smt2 | 20.102s | 39.728MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f44.smt2 | 20.106s | 33.164MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l73.smt2 | 20.106s | 72.264MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l14.smt2 | 20.106s | 68.376MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f11.smt2 | 20.107s | 39.088MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f80.smt2 | 20.109s | 39.256MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f55.smt2 | 20.109s | 35.168MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f50.smt2 | 20.109s | 35.416MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f06.smt2 | 20.110s | 36.944MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.30.smt2 | 20.113s | 35.932MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f33.smt2 | 20.115s | 34.764MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f72.smt2 | 20.119s | 35.804MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.20.smt2 | 20.120s | 31.696MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f43.smt2 | 20.122s | 33.664MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l82.smt2 | 20.122s | 251.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f20.smt2 | 20.126s | 39.404MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f93.smt2 | 20.133s | 59.468MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f13.smt2 | 20.139s | 36.364MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f10.smt2 | 20.140s | 36.124MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f96.smt2 | 20.143s | 62.968MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f46.smt2 | 20.146s | 34.644MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l13.smt2 | 20.149s | 64.896MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f27.smt2 | 20.154s | 36.78MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f87.smt2 | 20.155s | 90.056MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f67.smt2 | 20.156s | 31.32MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf12.smt2 | 20.159s | 30.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f28.smt2 | 20.160s | 37.432MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l62.smt2 | 20.162s | 82.408MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f31.smt2 | 20.164s | 36.516MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f75.smt2 | 20.165s | 34.256MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f37.smt2 | 20.165s | 32.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f76.smt2 | 20.166s | 34.552MiB| timeout | 0 | | |