# . * SAT 33 * UNSAT 12 * TIMEOUT 583 * 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: 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_UFIDL.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv0.smt2 | 0.040s | 19.856MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO0.smt2 | 0.041s | 19.912MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery0.smt2 | 0.046s | 19.996MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.877473.smt2 | 0.054s | 19.932MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883203.smt2 | 0.054s | 19.588MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693740.smt2 | 0.055s | 19.68MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883218.smt2 | 0.055s | 19.604MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full0.smt2 | 0.057s | 19.844MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883173.smt2 | 0.058s | 19.728MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693706.smt2 | 0.059s | 19.62MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.883188.smt2 | 0.059s | 19.884MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded0.smt2 | 0.064s | 19.952MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic0.smt2 | 0.066s | 20.096MiB| sat | 0 | | | |non-incremental/QF_UFIDL/uclid/49s.smt2 | 0.067s | 20.136MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.877456.smt2 | 0.069s | 19.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic0.smt2 | 0.071s | 19.924MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic1.smt2 | 0.072s | 22.988MiB| sat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.877439.smt2 | 0.078s | 19.636MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RTCL/b13_tf_100/b13_tf_100.smt2 | 0.082s | 23.552MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.693723.smt2 | 0.083s | 19.876MiB| unsat | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic2.smt2 | 0.164s | 20.904MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic2.smt2 | 0.272s | 23.236MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc0.smt2 | 0.278s | 20.58MiB| sat | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union0.smt2 | 0.476s | 20.344MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C0.smt2 | 1.682s | 20.692MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l09.smt2 | 3.133s | 129.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l38.smt2 | 3.683s | 123.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l03.smt2 | 6.345s | 121.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l21.smt2 | 7.082s | 178.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l20.smt2 | 7.564s | 173.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l18.smt2 | 7.975s | 177.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l05.smt2 | 10.631s | 122.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l33.smt2 | 10.651s | 207.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l04.smt2 | 10.689s | 122.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l35.smt2 | 11.872s | 227.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l51.smt2 | 12.315s | 272.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l34.smt2 | 12.442s | 210.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l30.smt2 | 13.740s | 209.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l02.smt2 | 15.046s | 117.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l45.smt2 | 15.319s | 262.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l42.smt2 | 15.326s | 277.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l40.smt2 | 18.427s | 271.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l56.smt2 | 18.705s | 273.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l77.smt2 | 19.516s | 326.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l66.smt2 | 19.687s | 414.0MiB| sat | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery5.smt2 | 20.013s | 25.98MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b_i.smt2 | 20.013s | 23.3MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic4.smt2 | 20.014s | 21.48MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f21.smt2 | 20.014s | 25.248MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery17.smt2 | 20.014s | 30.396MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery8.smt2 | 20.014s | 28.016MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full6.smt2 | 20.014s | 24.26MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9.smt2 | 20.014s | 21.968MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw.smt2 | 20.014s | 34.168MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard5.smt2 | 20.014s | 20.736MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f63.smt2 | 20.015s | 28.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery14.smt2 | 20.015s | 30.868MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv6.smt2 | 20.015s | 26.692MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id.smt2 | 20.015s | 25.564MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7b.smt2 | 20.015s | 22.98MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid_s.smt2 | 20.015s | 25.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic5.smt2 | 20.016s | 23.728MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union4.smt2 | 20.016s | 24.956MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file1.smt2 | 20.016s | 31.916MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f24.smt2 | 20.016s | 32.024MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery15.smt2 | 20.016s | 30.156MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery11.smt2 | 20.016s | 29.224MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery12.smt2 | 20.016s | 30.232MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv5.smt2 | 20.016s | 27.448MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP4.smt2 | 20.016s | 20.336MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b.smt2 | 20.016s | 23.324MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw.smt2 | 20.016s | 28.752MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9_i.smt2 | 20.016s | 21.956MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9n.smt2 | 20.016s | 30.816MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600173.smt2 | 20.016s | 20.012MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard14.smt2 | 20.016s | 22.104MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard2.smt2 | 20.016s | 20.08MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard17.smt2 | 20.016s | 22.832MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union1.smt2 | 20.017s | 22.352MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f75.smt2 | 20.017s | 31.184MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery16.smt2 | 20.017s | 30.848MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery18.smt2 | 20.017s | 39.212MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO1.smt2 | 20.017s | 21.456MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv4.smt2 | 20.017s | 25.74MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP1.smt2 | 20.017s | 20.528MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP9.smt2 | 20.017s | 20.508MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw_s.smt2 | 20.017s | 26.58MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6n.smt2 | 20.017s | 22.028MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw.smt2 | 20.017s | 26.032MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid_s.smt2 | 20.017s | 24.944MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard10.smt2 | 20.017s | 21.384MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc6.smt2 | 20.018s | 33.692MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file3.smt2 | 20.018s | 37.208MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file6.smt2 | 20.018s | 24.176MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f89.smt2 | 20.018s | 25.464MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery6.smt2 | 20.018s | 27.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP6.smt2 | 20.018s | 20.648MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP7.smt2 | 20.018s | 20.648MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded6.smt2 | 20.018s | 28.704MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full9.smt2 | 20.018s | 25.12MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded12.smt2 | 20.018s | 45.06MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6b.smt2 | 20.018s | 22.04MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw.smt2 | 20.018s | 35.512MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8.smt2 | 20.018s | 21.824MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8.smt2 | 20.018s | 26.372MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic3.smt2 | 20.019s | 21.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l32.smt2 | 20.019s | 63.86MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery10.smt2 | 20.019s | 29.268MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery3.smt2 | 20.019s | 24.236MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C3.smt2 | 20.019s | 27.848MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO9.smt2 | 20.019s | 34.032MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv3.smt2 | 20.019s | 22.456MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded9.smt2 | 20.019s | 32.852MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded5.smt2 | 20.019s | 24.728MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded7.smt2 | 20.019s | 29.732MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full8.smt2 | 20.019s | 24.976MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id_s.smt2 | 20.019s | 24.5MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw.smt2 | 20.019s | 26.692MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid.smt2 | 20.019s | 35.48MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n.smt2 | 20.019s | 22.96MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9_s.smt2 | 20.019s | 20.612MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union3.smt2 | 20.020s | 24.58MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f66.smt2 | 20.020s | 23.272MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f49.smt2 | 20.020s | 32.268MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery2.smt2 | 20.020s | 23.244MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery4.smt2 | 20.020s | 25.476MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7idw.smt2 | 20.020s | 26.3MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard8.smt2 | 20.020s | 21.168MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file2.smt2 | 20.021s | 34.744MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f12.smt2 | 20.021s | 48.764MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f55.smt2 | 20.021s | 27.72MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery7.smt2 | 20.021s | 27.164MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO2.smt2 | 20.021s | 22.236MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO5.smt2 | 20.021s | 32.556MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP5.smt2 | 20.021s | 20.616MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw_i.smt2 | 20.021s | 30.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bidw.smt2 | 20.021s | 59.868MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n_i.smt2 | 20.021s | 23.66MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8.smt2 | 20.021s | 23.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union5.smt2 | 20.022s | 24.988MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc7.smt2 | 20.022s | 33.872MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc2.smt2 | 20.022s | 35.868MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l22.smt2 | 20.022s | 47.376MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f05.smt2 | 20.022s | 50.756MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f25.smt2 | 20.022s | 32.984MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO6.smt2 | 20.022s | 33.612MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO3.smt2 | 20.022s | 27.44MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded10.smt2 | 20.022s | 43.82MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded17.smt2 | 20.022s | 33.832MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l28.smt2 | 20.023s | 58.492MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f36.smt2 | 20.023s | 26.14MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded14.smt2 | 20.023s | 46.032MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9.smt2 | 20.023s | 24.48MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf12.smt2 | 20.023s | 30.784MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-inp.smt2 | 20.024s | 22.56MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file4.smt2 | 20.024s | 47.06MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f62.smt2 | 20.024s | 66.736MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery13.smt2 | 20.024s | 29.756MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery9.smt2 | 20.024s | 28.188MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO7.smt2 | 20.024s | 33.996MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP2.smt2 | 20.024s | 20.292MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw.smt2 | 20.024s | 29.344MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.40.smt2 | 20.025s | 46.188MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-safety.smt2 | 20.025s | 23.044MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/8stage-flush.smt2 | 20.025s | 26.384MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO4.smt2 | 20.025s | 29.992MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded2.smt2 | 20.025s | 21.208MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7.smt2 | 20.025s | 24.432MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6id_i.smt2 | 20.025s | 25.516MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b_i.smt2 | 20.025s | 23.508MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i.smt2 | 20.025s | 31.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf8.smt2 | 20.026s | 23.176MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/44s.smt2 | 20.026s | 20.896MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-inp-safety.smt2 | 20.026s | 22.424MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp.smt2 | 20.026s | 22.104MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l52.smt2 | 20.026s | 111.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f10.smt2 | 20.026s | 44.812MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full3.smt2 | 20.026s | 21.624MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full2.smt2 | 20.026s | 20.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw_s.smt2 | 20.026s | 26.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw_i.smt2 | 20.026s | 34.976MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc3.smt2 | 20.027s | 41.776MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l16.smt2 | 20.027s | 121.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l76.smt2 | 20.027s | 72.084MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f92.smt2 | 20.027s | 132.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6id.smt2 | 20.027s | 27.572MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard13.smt2 | 20.027s | 21.816MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex.smt2 | 20.028s | 26.752MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f99.smt2 | 20.028s | 114.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l46.smt2 | 20.028s | 86.112MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/OOO/OOO8.smt2 | 20.028s | 34.016MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded15.smt2 | 20.028s | 34.3MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9idw.smt2 | 20.028s | 48.368MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw_s.smt2 | 20.028s | 25.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7idw.smt2 | 20.028s | 35.644MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8nidw.smt2 | 20.028s | 29.864MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard11.smt2 | 20.028s | 21.392MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf6.smt2 | 20.029s | 20.372MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc4.smt2 | 20.029s | 34.644MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-safety.smt2 | 20.029s | 23.608MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete3/bug_file5.smt2 | 20.029s | 35.972MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded4.smt2 | 20.029s | 22.58MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7.smt2 | 20.029s | 22.448MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.rwmem.smt2 | 20.030s | 22.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l71.smt2 | 20.030s | 128.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f17.smt2 | 20.030s | 114.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded11.smt2 | 20.030s | 33.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi.smt2 | 20.030s | 34.268MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv16.smt2 | 20.030s | 33.588MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-inp-safety.smt2 | 20.031s | 25.144MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f95.smt2 | 20.031s | 157.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full5.smt2 | 20.031s | 23.912MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n.smt2 | 20.031s | 23.984MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/5s.smt2 | 20.032s | 20.62MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/IC-flush.smt2 | 20.032s | 51.24MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/bakery/LamportBakery1.smt2 | 20.032s | 22.26MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full1.smt2 | 20.032s | 20.624MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8n.smt2 | 20.032s | 24.5MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10nid.smt2 | 20.032s | 51.96MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid.smt2 | 20.032s | 26.328MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n.smt2 | 20.032s | 23.752MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf7.smt2 | 20.033s | 21.412MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-safety.smt2 | 20.033s | 22.036MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l13.smt2 | 20.033s | 118.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv2.smt2 | 20.033s | 21.16MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9b.smt2 | 20.033s | 25.904MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw.smt2 | 20.033s | 32.876MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7.smt2 | 20.033s | 21.832MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9b_s.smt2 | 20.033s | 20.676MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni_i.smt2 | 20.033s | 34.364MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600189.smt2 | 20.033s | 19.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-safety.smt2 | 20.034s | 24.62MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f68.smt2 | 20.034s | 70.96MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/aodv/aodv1.smt2 | 20.034s | 21.052MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded1.smt2 | 20.034s | 21.18MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded13.smt2 | 20.034s | 35.432MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6ni.smt2 | 20.034s | 24.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8_i.smt2 | 20.034s | 21.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag19.smt2 | 20.034s | 49.476MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/6stage-flush.smt2 | 20.035s | 23.252MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex-safety.smt2 | 20.035s | 22.304MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f22.smt2 | 20.035s | 26.22MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l25.smt2 | 20.035s | 117.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l14.smt2 | 20.035s | 120.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs.smt2 | 20.036s | 21.552MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l27.smt2 | 20.036s | 170.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP3.smt2 | 20.036s | 20.58MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full7.smt2 | 20.036s | 25.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded16.smt2 | 20.036s | 46.052MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw.smt2 | 20.036s | 27.5MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic6.smt2 | 20.037s | 23.704MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6_i.smt2 | 20.037s | 21.276MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc1.smt2 | 20.038s | 24.896MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc5.smt2 | 20.038s | 41.256MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f30.smt2 | 20.038s | 22.548MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw.smt2 | 20.038s | 33.492MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10nidw.smt2 | 20.038s | 37.74MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f06.smt2 | 20.039s | 25.98MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l19.smt2 | 20.039s | 228.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/BRP/BRP8.smt2 | 20.039s | 20.664MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full4.smt2 | 20.039s | 22.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded3.smt2 | 20.039s | 21.74MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/ibm_cache/ibm_cache_full_q_unbounded8.smt2 | 20.039s | 42.156MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10idw.smt2 | 20.039s | 35.628MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f04.smt2 | 20.040s | 45.12MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f48.smt2 | 20.040s | 25.44MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C5.smt2 | 20.040s | 30.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6id.smt2 | 20.040s | 23.308MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/TwoSquares/smtlib.600181.smt2 | 20.040s | 19.996MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f91.smt2 | 20.041s | 58.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f20.smt2 | 20.041s | 64.436MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f11.smt2 | 20.041s | 64.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bi.smt2 | 20.041s | 24.344MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/set_union2.smt2 | 20.042s | 24.016MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C2.smt2 | 20.042s | 24.24MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9n.smt2 | 20.042s | 25.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f42.smt2 | 20.043s | 22.84MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f31.smt2 | 20.043s | 26.32MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l64.smt2 | 20.043s | 274.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b.smt2 | 20.043s | 23.648MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b_i.smt2 | 20.043s | 22.308MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10n.smt2 | 20.043s | 27.44MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw_i.smt2 | 20.043s | 33.912MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf6.smt2 | 20.044s | 20.932MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f57.smt2 | 20.044s | 23.472MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C4.smt2 | 20.044s | 30.504MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard16.smt2 | 20.044s | 22.376MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic3.smt2 | 20.045s | 23.824MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6nid.smt2 | 20.045s | 23.816MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf10.smt2 | 20.046s | 29.98MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.12.smt2 | 20.046s | 22.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc8.smt2 | 20.046s | 34.192MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f00.smt2 | 20.046s | 26.124MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/UCLID-pred/DLX/DLX1C1.smt2 | 20.046s | 24.116MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bidw_i.smt2 | 20.046s | 26.664MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10idw_s.smt2 | 20.046s | 31.672MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw_s.smt2 | 20.046s | 30.476MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8n.smt2 | 20.046s | 27.86MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-safety.smt2 | 20.047s | 21.416MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid.smt2 | 20.047s | 27.268MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni_s.smt2 | 20.047s | 32.008MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8idw.smt2 | 20.047s | 41.8MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8b.smt2 | 20.047s | 27.952MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bidw.smt2 | 20.047s | 24.804MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f72.smt2 | 20.048s | 47.164MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7bidw.smt2 | 20.048s | 36.972MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10_i.smt2 | 20.048s | 22.016MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7bidw.smt2 | 20.048s | 27.088MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv8.smt2 | 20.049s | 21.936MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag12.smt2 | 20.049s | 28.308MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs.smt2 | 20.049s | 24.272MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9idw.smt2 | 20.049s | 32.1MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n_s.smt2 | 20.049s | 20.628MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw.smt2 | 20.049s | 31.636MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/10stage-flush.smt2 | 20.050s | 43.004MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l07.smt2 | 20.050s | 113.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f82.smt2 | 20.050s | 187.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f41.smt2 | 20.050s | 78.004MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9bidw_i.smt2 | 20.050s | 33.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv12.smt2 | 20.051s | 26.192MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f45.smt2 | 20.051s | 24.364MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l68.smt2 | 20.051s | 59.148MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f69.smt2 | 20.051s | 26.82MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f26.smt2 | 20.051s | 79.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw_i.smt2 | 20.051s | 30.812MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6i.smt2 | 20.051s | 22.204MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw_s.smt2 | 20.051s | 24.848MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n_i.smt2 | 20.051s | 23.2MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6nidw.smt2 | 20.051s | 24.832MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard9.smt2 | 20.051s | 21.068MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard18.smt2 | 20.051s | 22.756MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/reverse_acyclic4.smt2 | 20.052s | 23.636MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f93.smt2 | 20.052s | 129.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7nidw.smt2 | 20.052s | 37.096MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi_i.smt2 | 20.052s | 24.908MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/37s.smt2 | 20.053s | 22.776MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6.smt2 | 20.053s | 22.716MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10id.smt2 | 20.053s | 48.636MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7_s.smt2 | 20.053s | 20.572MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l49.smt2 | 20.054s | 226.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f29.smt2 | 20.054s | 65.576MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f70.smt2 | 20.054s | 31.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw_i.smt2 | 20.054s | 26.68MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b_s.smt2 | 20.054s | 20.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi_i.smt2 | 20.054s | 33.9MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6i.smt2 | 20.054s | 23.548MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8n_i.smt2 | 20.054s | 22.9MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw.smt2 | 20.054s | 35.172MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l31.smt2 | 20.055s | 227.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f65.smt2 | 20.055s | 76.78MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw.smt2 | 20.055s | 37.14MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n.smt2 | 20.055s | 24.372MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b.smt2 | 20.055s | 22.536MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f94.smt2 | 20.056s | 128.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f15.smt2 | 20.056s | 25.372MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id_s.smt2 | 20.056s | 31.808MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bi.smt2 | 20.056s | 30.208MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10b.smt2 | 20.057s | 34.464MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi.smt2 | 20.057s | 25.08MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f37.smt2 | 20.058s | 26.368MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7n.smt2 | 20.058s | 25.416MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw_s.smt2 | 20.058s | 31.976MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard4.smt2 | 20.058s | 20.328MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bidw.smt2 | 20.059s | 37.668MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9bidw.smt2 | 20.059s | 50.52MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard20.smt2 | 20.059s | 23.48MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l83.smt2 | 20.060s | 426.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9nidw_i.smt2 | 20.060s | 33.54MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b.smt2 | 20.060s | 22.22MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n_i.smt2 | 20.060s | 22.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag17.smt2 | 20.060s | 42.608MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f58.smt2 | 20.061s | 29.832MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10ni.smt2 | 20.061s | 30.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bi_s.smt2 | 20.061s | 23.704MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10.smt2 | 20.061s | 31.536MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.20.smt2 | 20.062s | 25.456MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l43.smt2 | 20.062s | 460.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f35.smt2 | 20.062s | 38.04MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f77.smt2 | 20.062s | 63.156MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7_i.smt2 | 20.062s | 21.648MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10.smt2 | 20.062s | 22.324MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i_s.smt2 | 20.062s | 23.204MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf8.smt2 | 20.063s | 22.928MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.30.smt2 | 20.063s | 33.056MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp-ex-inp.smt2 | 20.063s | 27.368MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f33.smt2 | 20.063s | 22.808MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f73.smt2 | 20.063s | 64.728MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l08.smt2 | 20.063s | 83.952MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l75.smt2 | 20.063s | 56.2MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6idw.smt2 | 20.063s | 30.704MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7idw_i.smt2 | 20.063s | 27.544MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6idw_i.smt2 | 20.063s | 25.704MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8bidw.smt2 | 20.063s | 30.16MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bi.smt2 | 20.063s | 22.688MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n_i.smt2 | 20.063s | 22.404MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6bid.smt2 | 20.063s | 23.936MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid_i.smt2 | 20.063s | 35.7MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f23.smt2 | 20.064s | 55.172MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw.smt2 | 20.064s | 27.504MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni.smt2 | 20.064s | 26.136MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/bug2.smt2 | 20.064s | 22.284MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f71.smt2 | 20.065s | 77.8MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f43.smt2 | 20.065s | 28.16MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f16.smt2 | 20.065s | 39.42MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l48.smt2 | 20.065s | 162.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10bid.smt2 | 20.065s | 35.604MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6.smt2 | 20.065s | 21.42MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9bidw.smt2 | 20.065s | 33.26MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw_s.smt2 | 20.065s | 27.332MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid_s.smt2 | 20.065s | 33.828MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10n_s.smt2 | 20.065s | 20.964MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/bug1.smt2 | 20.065s | 25.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag10.smt2 | 20.066s | 24.408MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l44.smt2 | 20.066s | 74.044MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f81.smt2 | 20.066s | 23.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6.smt2 | 20.066s | 21.744MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10.smt2 | 20.066s | 25.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bi.smt2 | 20.066s | 37.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9b.smt2 | 20.066s | 31.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10b_s.smt2 | 20.066s | 20.996MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw_i.smt2 | 20.066s | 29.896MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10idw.smt2 | 20.066s | 57.18MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw_s.smt2 | 20.066s | 34.452MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6n.smt2 | 20.066s | 23.444MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f51.smt2 | 20.067s | 25.772MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l37.smt2 | 20.067s | 293.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f39.smt2 | 20.068s | 25.6MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f87.smt2 | 20.068s | 212.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f59.smt2 | 20.068s | 30.296MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6bid_i.smt2 | 20.068s | 26.1MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8bidw.smt2 | 20.068s | 43.656MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8_s.smt2 | 20.068s | 20.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7nidw.smt2 | 20.068s | 26.976MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7bidw_i.smt2 | 20.068s | 29.288MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag8.smt2 | 20.069s | 22.024MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f19.smt2 | 20.069s | 50.768MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l24.smt2 | 20.069s | 83.808MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni_s.smt2 | 20.069s | 24.52MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8b.smt2 | 20.069s | 24.352MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10ni.smt2 | 20.069s | 37.256MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9.smt2 | 20.069s | 28.568MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6nidw.smt2 | 20.069s | 31.716MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bi_s.smt2 | 20.069s | 30.496MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id_i.smt2 | 20.069s | 33.552MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bidw_s.smt2 | 20.069s | 32.64MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9n_s.smt2 | 20.069s | 20.66MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b_s.smt2 | 20.069s | 20.828MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10nid.smt2 | 20.069s | 35.504MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/simple_cyclic1.smt2 | 20.070s | 21.108MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f86.smt2 | 20.070s | 445.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f88.smt2 | 20.070s | 25.208MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bid.smt2 | 20.070s | 28.128MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10id.smt2 | 20.070s | 33.844MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid_s.smt2 | 20.070s | 32.248MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf9.smt2 | 20.071s | 24.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6ni.smt2 | 20.071s | 22.616MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10bid.smt2 | 20.071s | 52.04MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv15.smt2 | 20.071s | 31.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv14.smt2 | 20.072s | 29.676MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f67.smt2 | 20.072s | 28.112MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l80.smt2 | 20.072s | 310.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f18.smt2 | 20.072s | 27.2MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7nidw_i.smt2 | 20.072s | 28.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nid.smt2 | 20.072s | 37.024MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i_i.smt2 | 20.072s | 24.236MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g9nidw.smt2 | 20.072s | 33.368MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f07.smt2 | 20.073s | 31.084MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f9nidw.smt2 | 20.073s | 50.052MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6i.smt2 | 20.073s | 24.396MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f7b.smt2 | 20.073s | 25.488MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard15.smt2 | 20.073s | 22.224MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard6.smt2 | 20.073s | 20.636MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/RDS/sorted_list_insert_noalloc9.smt2 | 20.074s | 34.252MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l94.smt2 | 20.074s | 75.076MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10b.smt2 | 20.074s | 27.304MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n_s.smt2 | 20.074s | 20.564MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.rwmem1.smt2 | 20.075s | 22.024MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f34.smt2 | 20.075s | 23.428MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l47.smt2 | 20.075s | 589.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw_s.smt2 | 20.075s | 28.376MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b.smt2 | 20.075s | 22.948MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6b_i.smt2 | 20.075s | 21.94MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6n_s.smt2 | 20.075s | 20.432MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f44.smt2 | 20.076s | 29.144MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw_s.smt2 | 20.076s | 28.764MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10_s.smt2 | 20.076s | 20.472MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard12.smt2 | 20.076s | 21.592MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f83.smt2 | 20.077s | 189.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10bid_i.smt2 | 20.077s | 35.216MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6bidw.smt2 | 20.077s | 31.812MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8b_i.smt2 | 20.077s | 22.784MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8idw.smt2 | 20.077s | 29.852MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw_s.smt2 | 20.077s | 30.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6_s.smt2 | 20.077s | 20.252MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f47.smt2 | 20.078s | 77.2MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nidw_s.smt2 | 20.078s | 26.088MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6nid_i.smt2 | 20.078s | 26.468MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7n.smt2 | 20.078s | 22.912MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l86.smt2 | 20.079s | 341.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l97.smt2 | 20.079s | 62.776MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g8idw.smt2 | 20.079s | 28.708MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f8nidw.smt2 | 20.079s | 42.7MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/22s.smt2 | 20.080s | 23.16MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f13.smt2 | 20.080s | 47.412MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f27.smt2 | 20.080s | 40.836MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l11.smt2 | 20.080s | 210.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f46.smt2 | 20.080s | 29.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l59.smt2 | 20.080s | 170.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l15.smt2 | 20.080s | 224.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10i.smt2 | 20.080s | 34.32MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8bidw.smt2 | 20.080s | 30.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i_i.smt2 | 20.080s | 31.56MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.18.smt2 | 20.081s | 24.392MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l29.smt2 | 20.081s | 93.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10n.smt2 | 20.081s | 34.412MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c7b_s.smt2 | 20.081s | 20.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.tag15.smt2 | 20.081s | 35.408MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.14.smt2 | 20.082s | 22.636MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf7.smt2 | 20.082s | 21.84MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/32s.smt2 | 20.082s | 20.72MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l60.smt2 | 20.082s | 350.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l10.smt2 | 20.082s | 86.82MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f61.smt2 | 20.082s | 29.576MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f56.smt2 | 20.082s | 110.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10ni.smt2 | 20.082s | 36.036MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10nidw_i.smt2 | 20.082s | 35.856MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard7.smt2 | 20.082s | 20.788MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/9stage-flush.smt2 | 20.083s | 28.604MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l36.smt2 | 20.083s | 339.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6nid.smt2 | 20.083s | 28.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/27s.smt2 | 20.084s | 21.116MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f52.smt2 | 20.084s | 25.592MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l62.smt2 | 20.084s | 165.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f80.smt2 | 20.084s | 51.94MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f6b.smt2 | 20.084s | 23.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/elf.rf9.smt2 | 20.085s | 26.4MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f78.smt2 | 20.085s | 25.512MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l54.smt2 | 20.085s | 171.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f54.smt2 | 20.085s | 21.796MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c8nidw_s.smt2 | 20.085s | 29.944MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10id.smt2 | 20.085s | 33.216MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf11.smt2 | 20.085s | 28.628MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard3.smt2 | 20.085s | 20.204MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.rf10.smt2 | 20.086s | 26.324MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/25s.smt2 | 20.086s | 23.42MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l67.smt2 | 20.086s | 304.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f32.smt2 | 20.086s | 106.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g6idw.smt2 | 20.086s | 24.264MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c6ni_i.smt2 | 20.086s | 25.28MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/f10nidw.smt2 | 20.086s | 59.784MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l01.smt2 | 20.087s | 118.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c9idw_i.smt2 | 20.087s | 31.36MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/c10i_s.smt2 | 20.088s | 29.908MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/mathsat/EufLaArithmetic/vhard/vhard19.smt2 | 20.088s | 22.964MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/dlx1c.smt2 | 20.089s | 22.076MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f60.smt2 | 20.089s | 25.024MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/q2.10.smt2 | 20.090s | 21.556MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f90.smt2 | 20.090s | 56.76MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f64.smt2 | 20.090s | 32.352MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f14.smt2 | 20.090s | 53.424MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l58.smt2 | 20.090s | 92.18MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f76.smt2 | 20.090s | 39.66MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f40.smt2 | 20.090s | 27.344MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/ooo.tag14.smt2 | 20.091s | 33.124MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/cxs-bp-ex.smt2 | 20.091s | 22.22MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l63.smt2 | 20.091s | 246.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete/fxs-bp.smt2 | 20.093s | 25.464MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f03.smt2 | 20.093s | 31.828MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l73.smt2 | 20.093s | 120.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/43s.smt2 | 20.095s | 23.644MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l92.smt2 | 20.097s | 446.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f09.smt2 | 20.097s | 26.248MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l74.smt2 | 20.097s | 400.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l89.smt2 | 20.099s | 441.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l39.smt2 | 20.099s | 118.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv17.smt2 | 20.099s | 35.572MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/cache.inv10.smt2 | 20.101s | 23.66MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l95.smt2 | 20.102s | 414.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l96.smt2 | 20.102s | 630.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f97.smt2 | 20.103s | 223.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f53.smt2 | 20.103s | 26.596MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f74.smt2 | 20.104s | 81.744MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f50.smt2 | 20.104s | 47.38MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g10i.smt2 | 20.104s | 28.22MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l91.smt2 | 20.105s | 97.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f08.smt2 | 20.105s | 40.576MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/ooo.rf13.smt2 | 20.105s | 34.584MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/pete2/g7n.smt2 | 20.106s | 22.948MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f96.smt2 | 20.108s | 157.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/elf.rf12.smt2 | 20.108s | 40.908MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l41.smt2 | 20.110s | 294.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid/46s.smt2 | 20.111s | 21.492MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f79.smt2 | 20.111s | 25.56MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l78.smt2 | 20.112s | 414.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l72.smt2 | 20.112s | 472.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l57.smt2 | 20.113s | 486.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f98.smt2 | 20.114s | 105.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l50.smt2 | 20.115s | 150.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/uclid2/cache.inv18.smt2 | 20.116s | 37.78MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f01.smt2 | 20.118s | 64.064MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l06.smt2 | 20.118s | 124.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l12.smt2 | 20.118s | 79.964MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l26.smt2 | 20.119s | 120.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f85.smt2 | 20.120s | 147.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f02.smt2 | 20.123s | 88.14MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l17.smt2 | 20.123s | 216.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f84.smt2 | 20.124s | 53.748MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f28.smt2 | 20.124s | 58.02MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l00.smt2 | 20.126s | 118.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l23.smt2 | 20.128s | 159.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l70.smt2 | 20.130s | 445.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_f38.smt2 | 20.135s | 110.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l81.smt2 | 20.145s | 363.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l99.smt2 | 20.150s | 442.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l90.smt2 | 20.159s | 451.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l88.smt2 | 20.172s | 354.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l84.smt2 | 20.173s | 407.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l55.smt2 | 20.173s | 433.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l61.smt2 | 20.175s | 430.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l87.smt2 | 20.175s | 1021.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l69.smt2 | 20.184s | 447.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l85.smt2 | 20.187s | 441.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l79.smt2 | 20.188s | 547.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l65.smt2 | 20.191s | 663.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l98.smt2 | 20.195s | 1123.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l53.smt2 | 20.196s | 663.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l82.smt2 | 20.202s | 582.0MiB| timeout | 0 | | | |non-incremental/QF_UFIDL/20210312-Bouvier/vlsat3_l93.smt2 | 20.204s | 798.0MiB| timeout | 0 | | |