# .

* SAT 0
* UNSAT 897
* TIMEOUT 0
* UNKNOWN 583

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/AUFNIRA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-AUFNIRA.tar.zst-do
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/AUFNIRA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

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

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0362.fof.smt2 |    0.022s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0012.fof.smt2 |    0.022s | 20.248MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1327.fof.smt2 |    0.022s | 20.02MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0282.fof.smt2 |    0.023s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0117.fof.smt2 |    0.023s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0384.fof.smt2 |    0.023s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0298.fof.smt2 |    0.023s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1199.fof.smt2 |    0.023s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1000.fof.smt2 |    0.023s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0924.fof.smt2 |    0.023s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.667943.smt2                   |    0.024s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.622079.smt2               |    0.024s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0233.fof.smt2 |    0.024s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0103.fof.smt2 |    0.024s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0033.fof.smt2 |    0.024s | 20.052MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0785.fof.smt2 |    0.024s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0852.fof.smt2 |    0.024s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0809.fof.smt2 |    0.024s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0023.fof.smt2 |    0.024s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1765.fof.smt2 |    0.024s | 20.568MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0325.fof.smt2 |    0.025s | 19.64MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0109.fof.smt2 |    0.025s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0963.fof.smt2 |    0.025s | 19.72MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0281.fof.smt2 |    0.025s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0019.fof.smt2 |    0.025s | 19.928MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1102.fof.smt2 |    0.026s | 19.928MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1325.fof.smt2 |    0.026s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1658.fof.smt2 |    0.026s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0176.fof.smt2 |    0.027s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0184.fof.smt2 |    0.027s | 19.82MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.780480.smt2                   |    0.028s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0272.fof.smt2 |    0.028s | 20.568MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.821986.smt2                   |    0.029s | 19.972MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.636226.smt2                   |    0.029s | 20.048MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.759499.smt2                   |    0.030s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.659996.smt2                   |    0.030s | 20.328MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibdff996.smt2                |    0.030s | 19.956MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0304.fof.smt2 |    0.030s | 19.684MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.663953.smt2                   |    0.031s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.687448.smt2                   |    0.031s | 19.736MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0050.fof.smt2 |    0.031s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.647696.smt2               |    0.032s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.645857.smt2               |    0.032s | 19.816MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1704.fof.smt2 |    0.032s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.638004.smt2                   |    0.033s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.940318.smt2               |    0.033s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0261.fof.smt2 |    0.033s | 20.352MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0262.fof.smt2 |    0.033s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.634265.smt2                   |    0.034s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1041.fof.smt2 |    0.035s | 19.684MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.796143.smt2                   |    0.036s | 20.22MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0339.fof.smt2 |    0.036s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0155.fof.smt2 |    0.036s | 19.78MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.754911.smt2               |    0.037s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.692368.smt2                   |    0.037s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.838140.smt2                   |    0.037s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.783662.smt2                   |    0.037s | 20.24MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0115.fof.smt2 |    0.037s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0276.fof.smt2 |    0.037s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0304.fof.smt2 |    0.037s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.861632.smt2                   |    0.038s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0555.fof.smt2 |    0.038s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0147.fof.smt2 |    0.038s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.859684.smt2                   |    0.039s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.659732.smt2                   |    0.039s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.740747.smt2                   |    0.039s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.755420.smt2                   |    0.039s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.637413.smt2               |    0.039s | 19.696MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0523.fof.smt2 |    0.039s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0022.fof.smt2 |    0.039s | 20.044MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts6453_why.smt2            |    0.040s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.881352.smt2                   |    0.040s | 19.928MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.787622.smt2                   |    0.040s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0224.fof.smt2 |    0.040s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.955132.smt2               |    0.041s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.758499.smt2                   |    0.041s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1028.fof.smt2 |    0.041s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.711639.smt2                   |    0.042s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.664248.smt2               |    0.042s | 20.232MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.775888.smt2                   |    0.042s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.830659.smt2               |    0.042s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.832874.smt2                   |    0.042s | 20.588MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.706995.smt2                   |    0.042s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.792511.smt2                   |    0.043s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.609741.smt2                   |    0.043s | 19.928MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.909956.smt2                   |    0.043s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.561997.smt2                   |    0.043s | 19.96MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.659604.smt2               |    0.043s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.678148.smt2                   |    0.043s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0333.fof.smt2 |    0.043s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0347.fof.smt2 |    0.043s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0097.fof.smt2 |    0.043s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0034.fof.smt2 |    0.043s | 20.024MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0991.fof.smt2 |    0.043s | 20.336MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.853412.smt2                   |    0.044s | 20.172MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.695009.smt2                   |    0.044s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.857109.smt2                   |    0.044s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0011.fof.smt2 |    0.044s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1303.fof.smt2 |    0.044s | 20.196MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0033.fof.smt2 |    0.044s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.825598.smt2                   |    0.045s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.921143.smt2               |    0.045s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.714299.smt2                   |    0.045s | 19.792MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.623344.smt2               |    0.045s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0064.fof.smt2 |    0.045s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0192.fof.smt2 |    0.045s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0088.fof.smt2 |    0.045s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.744873.smt2                   |    0.046s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0322.fof.smt2 |    0.046s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0006.fof.smt2 |    0.046s | 19.832MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0788.fof.smt2 |    0.046s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0286.fof.smt2 |    0.046s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629057.smt2               |    0.047s | 19.676MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.667166.smt2                   |    0.047s | 20.056MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.637378.smt2               |    0.047s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0242.fof.smt2 |    0.047s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0140.fof.smt2 |    0.047s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0336.fof.smt2 |    0.047s | 19.628MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0808.fof.smt2 |    0.047s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.838638.smt2               |    0.048s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.694291.smt2                   |    0.048s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.659078.smt2               |    0.048s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.873672.smt2                   |    0.048s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.811946.smt2                   |    0.048s | 20.0MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.797178.smt2               |    0.048s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0287.fof.smt2 |    0.048s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0185.fof.smt2 |    0.048s | 19.832MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1192.fof.smt2 |    0.048s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0036.fof.smt2 |    0.048s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.845939.smt2                   |    0.049s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.561423.smt2                   |    0.049s | 20.16MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.633492.smt2                   |    0.049s | 20.204MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.640330.smt2                   |    0.049s | 20.324MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.659235.smt2                   |    0.049s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.877834.smt2               |    0.049s | 20.152MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.617112.smt2                   |    0.049s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0007.fof.smt2 |    0.049s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0101.fof.smt2 |    0.049s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0794.fof.smt2 |    0.049s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1280.fof.smt2 |    0.049s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.908122.smt2                   |    0.050s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.837129.smt2                   |    0.050s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.817734.smt2               |    0.050s | 20.64MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.661781.smt2               |    0.050s | 20.628MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.670862.smt2               |    0.050s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.880728.smt2               |    0.050s | 20.844MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1058.fof.smt2 |    0.050s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1314.fof.smt2 |    0.050s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.800411.smt2                   |    0.051s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.849188.smt2                   |    0.051s | 20.18MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.908174.smt2               |    0.051s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0080.fof.smt2 |    0.051s | 19.768MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0003.fof.smt2 |    0.051s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0783.fof.smt2 |    0.051s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0903.fof.smt2 |    0.051s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.618374.smt2                   |    0.052s | 20.272MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.860981.smt2               |    0.052s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.685296.smt2                   |    0.052s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629149.smt2               |    0.052s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.674628.smt2                   |    0.052s | 20.396MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0152.fof.smt2 |    0.052s | 19.824MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0045.fof.smt2 |    0.052s | 19.78MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0129.fof.smt2 |    0.052s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0147.fof.smt2 |    0.052s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1081.fof.smt2 |    0.052s | 19.7MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1614.fof.smt2 |    0.052s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0287.fof.smt2 |    0.052s | 19.952MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0279.fof.smt2 |    0.052s | 19.916MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1039.fof.smt2 |    0.052s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0547.fof.smt2 |    0.052s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.710024.smt2               |    0.053s | 20.192MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.641708.smt2                   |    0.053s | 19.984MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.647018.smt2               |    0.053s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0266.fof.smt2 |    0.053s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1537.fof.smt2 |    0.053s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.796779.smt2                   |    0.054s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.761507.smt2                   |    0.054s | 20.304MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.746010.smt2                   |    0.054s | 20.304MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0141.fof.smt2 |    0.054s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0016.fof.smt2 |    0.054s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0342.fof.smt2 |    0.054s | 19.776MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0020.fof.smt2 |    0.054s | 19.796MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0011.fof.smt2 |    0.054s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.700083.smt2               |    0.055s | 19.8MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.749181.smt2                   |    0.055s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.638333.smt2                   |    0.055s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.933524.smt2               |    0.055s | 20.536MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.621866.smt2                   |    0.055s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/thruster_symm_0187.fof.smt2 |    0.055s | 19.8MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0017.fof.smt2 |    0.055s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1074.fof.smt2 |    0.055s | 19.792MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.944272.smt2               |    0.056s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.649061.smt2                   |    0.056s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.645715.smt2               |    0.056s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.774116.smt2                   |    0.056s | 20.4MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.655748.smt2                   |    0.056s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.954058.smt2               |    0.056s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.635849.smt2               |    0.056s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0278.fof.smt2 |    0.056s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0124.fof.smt2 |    0.056s | 19.684MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0291.fof.smt2 |    0.056s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0305.fof.smt2 |    0.056s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0268.fof.smt2 |    0.056s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0095.fof.smt2 |    0.056s | 19.796MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0059.fof.smt2 |    0.056s | 19.704MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1347.fof.smt2 |    0.056s | 19.94MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0810.fof.smt2 |    0.056s | 19.936MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1067.fof.smt2 |    0.056s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.946559.smt2                   |    0.057s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.663869.smt2                   |    0.057s | 19.676MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.614780.smt2                   |    0.057s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.673963.smt2               |    0.057s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.777173.smt2               |    0.057s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.667685.smt2                   |    0.057s | 19.76MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.701866.smt2                   |    0.057s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.829846.smt2                   |    0.057s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0266.fof.smt2 |    0.057s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0014.fof.smt2 |    0.057s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1059.fof.smt2 |    0.057s | 19.796MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1323.fof.smt2 |    0.057s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0866.fof.smt2 |    0.057s | 19.72MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.647039.smt2                   |    0.058s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.699515.smt2                   |    0.058s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0263.fof.smt2 |    0.058s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0289.fof.smt2 |    0.058s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0779.fof.smt2 |    0.058s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0540.fof.smt2 |    0.058s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1069.fof.smt2 |    0.058s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0017.fof.smt2 |    0.058s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.759141.smt2                   |    0.059s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.792845.smt2                   |    0.059s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.951967.smt2                   |    0.059s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.940390.smt2                   |    0.059s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.821053.smt2                   |    0.059s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0104.fof.smt2 |    0.059s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0289.fof.smt2 |    0.059s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.784716.smt2                   |    0.060s | 20.052MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.858887.smt2               |    0.060s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.818028.smt2                   |    0.060s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.712193.smt2               |    0.060s | 20.208MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0024.fof.smt2 |    0.060s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0040.fof.smt2 |    0.060s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1169.fof.smt2 |    0.060s | 19.916MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0520.fof.smt2 |    0.060s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.805315.smt2                   |    0.061s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.621785.smt2               |    0.061s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0200.fof.smt2 |    0.061s | 20.324MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0010.fof.smt2 |    0.061s | 20.384MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0140.fof.smt2 |    0.061s | 19.94MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0658.fof.smt2 |    0.061s | 19.832MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1053.fof.smt2 |    0.061s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0415.fof.smt2 |    0.061s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts0063_why.smt2            |    0.062s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.669565.smt2                   |    0.062s | 20.176MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.677614.smt2                   |    0.062s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.877339.smt2                   |    0.062s | 20.044MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.686904.smt2                   |    0.062s | 19.94MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0323.fof.smt2 |    0.062s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0186.fof.smt2 |    0.062s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0021.fof.smt2 |    0.062s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1243.fof.smt2 |    0.062s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1689.fof.smt2 |    0.062s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.659901.smt2               |    0.063s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.860677.smt2                   |    0.063s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.672054.smt2               |    0.063s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.869906.smt2               |    0.063s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.561727.smt2               |    0.063s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0134.fof.smt2 |    0.063s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0371.fof.smt2 |    0.063s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0106.fof.smt2 |    0.063s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0702.fof.smt2 |    0.063s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.764451.smt2               |    0.064s | 20.036MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.818913.smt2               |    0.064s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.829528.smt2                   |    0.064s | 20.04MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.691631.smt2                   |    0.064s | 20.0MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.852276.smt2                   |    0.064s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0130.fof.smt2 |    0.064s | 19.696MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0381.fof.smt2 |    0.064s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0357.fof.smt2 |    0.064s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0792.fof.smt2 |    0.064s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0812.fof.smt2 |    0.064s | 19.992MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.807772.smt2                   |    0.065s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.784327.smt2                   |    0.065s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.627369.smt2               |    0.065s | 20.036MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.791875.smt2                   |    0.065s | 20.252MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0107.fof.smt2 |    0.065s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0355.fof.smt2 |    0.065s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.767580.smt2               |    0.066s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.609085.smt2                   |    0.066s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.682088.smt2                   |    0.066s | 20.292MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.681188.smt2               |    0.066s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.696888.smt2               |    0.066s | 20.024MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.688983.smt2               |    0.066s | 20.248MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.654657.smt2                   |    0.066s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0239.fof.smt2 |    0.066s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0060.fof.smt2 |    0.066s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0306.fof.smt2 |    0.066s | 19.724MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0005.fof.smt2 |    0.066s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1146.fof.smt2 |    0.066s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0230.fof.smt2 |    0.066s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0482.fof.smt2 |    0.066s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.635554.smt2                   |    0.067s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.822925.smt2               |    0.067s | 20.212MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.638801.smt2               |    0.067s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.645472.smt2               |    0.067s | 19.996MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.626115.smt2               |    0.067s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0084.fof.smt2 |    0.067s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0065.fof.smt2 |    0.067s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0318.fof.smt2 |    0.067s | 19.776MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0026.fof.smt2 |    0.067s | 20.352MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1183.fof.smt2 |    0.067s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0291.fof.smt2 |    0.067s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0063.fof.smt2 |    0.067s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0554.fof.smt2 |    0.067s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0027.fof.smt2 |    0.067s | 19.948MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0741.fof.smt2 |    0.067s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.711486.smt2               |    0.068s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.635015.smt2               |    0.068s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.709094.smt2                   |    0.068s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.854640.smt2               |    0.068s | 20.256MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.869313.smt2                   |    0.068s | 20.012MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0372.fof.smt2 |    0.068s | 19.664MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0343.fof.smt2 |    0.068s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.788836.smt2               |    0.069s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.958311.smt2                   |    0.069s | 20.624MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0181.fof.smt2 |    0.069s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0369.fof.smt2 |    0.069s | 19.712MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0327.fof.smt2 |    0.069s | 19.792MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0344.fof.smt2 |    0.069s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.754420.smt2                   |    0.070s | 20.068MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.656050.smt2               |    0.070s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.912508.smt2                   |    0.070s | 20.328MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0122.fof.smt2 |    0.070s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0250.fof.smt2 |    0.070s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.766657.smt2                   |    0.071s | 20.228MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.713843.smt2                   |    0.071s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.701134.smt2                   |    0.071s | 20.188MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.833494.smt2               |    0.071s | 20.24MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.652843.smt2               |    0.071s | 20.048MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.916894.smt2                   |    0.071s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/thruster_symm_0153.fof.smt2 |    0.071s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0172.fof.smt2 |    0.071s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0198.fof.smt2 |    0.071s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0221.fof.smt2 |    0.071s | 19.688MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0271.fof.smt2 |    0.071s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1361.fof.smt2 |    0.071s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.849348.smt2               |    0.072s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.809799.smt2               |    0.072s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0337.fof.smt2 |    0.072s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0123.fof.smt2 |    0.072s | 19.792MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1306.fof.smt2 |    0.072s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0134.fof.smt2 |    0.072s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1088.fof.smt2 |    0.072s | 19.992MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0549.fof.smt2 |    0.072s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.950232.smt2               |    0.073s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.613729.smt2                   |    0.073s | 20.232MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.821891.smt2               |    0.074s | 20.328MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.837770.smt2                   |    0.074s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.954082.smt2                   |    0.074s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0332.fof.smt2 |    0.074s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0180.fof.smt2 |    0.074s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0208.fof.smt2 |    0.074s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0300.fof.smt2 |    0.074s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0317.fof.smt2 |    0.074s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.634210.smt2                   |    0.075s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.823996.smt2                   |    0.075s | 20.228MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.682948.smt2                   |    0.075s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.929857.smt2                   |    0.075s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.661260.smt2               |    0.075s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0196.fof.smt2 |    0.075s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0168.fof.smt2 |    0.075s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1307.fof.smt2 |    0.075s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1319.fof.smt2 |    0.075s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0011.fof.smt2 |    0.075s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0375.fof.smt2 |    0.076s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0091.fof.smt2 |    0.076s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0290.fof.smt2 |    0.076s | 20.032MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.697561.smt2                   |    0.077s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.675244.smt2                   |    0.077s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0252.fof.smt2 |    0.077s | 19.796MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0218.fof.smt2 |    0.077s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0112.fof.smt2 |    0.077s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0003.fof.smt2 |    0.077s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.635732.smt2               |    0.078s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0011.fof.smt2 |    0.078s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0230.fof.smt2 |    0.078s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0020.fof.smt2 |    0.078s | 19.664MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0048.fof.smt2 |    0.079s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0154.fof.smt2 |    0.079s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0548.fof.smt2 |    0.079s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0038.fof.smt2 |    0.079s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.810979.smt2               |    0.080s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.790700.smt2                   |    0.080s | 20.288MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0211.fof.smt2 |    0.080s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0998.fof.smt2 |    0.080s | 20.424MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.848054.smt2                   |    0.081s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.799236.smt2                   |    0.081s | 20.264MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.827387.smt2               |    0.081s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0072.fof.smt2 |    0.081s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0324.fof.smt2 |    0.081s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0247.fof.smt2 |    0.081s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0151.fof.smt2 |    0.081s | 19.676MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0075.fof.smt2 |    0.081s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0008.fof.smt2 |    0.081s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0035.fof.smt2 |    0.081s | 19.724MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1354.fof.smt2 |    0.081s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0006.fof.smt2 |    0.081s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.687278.smt2                   |    0.082s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.805649.smt2                   |    0.082s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.622405.smt2                   |    0.082s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.831856.smt2                   |    0.082s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.695462.smt2                   |    0.082s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0073.fof.smt2 |    0.082s | 20.156MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0340.fof.smt2 |    0.082s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0248.fof.smt2 |    0.082s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0043.fof.smt2 |    0.082s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.560602.smt2               |    0.083s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0301.fof.smt2 |    0.083s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0008.fof.smt2 |    0.083s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0226.fof.smt2 |    0.083s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0113.fof.smt2 |    0.083s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0191.fof.smt2 |    0.083s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0310.fof.smt2 |    0.083s | 19.812MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1068.fof.smt2 |    0.083s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.661728.smt2                   |    0.084s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.767299.smt2                   |    0.084s | 20.152MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.661994.smt2                   |    0.084s | 19.828MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.665247.smt2               |    0.084s | 20.312MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0285.fof.smt2 |    0.084s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0364.fof.smt2 |    0.084s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0244.fof.smt2 |    0.084s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629241.smt2               |    0.085s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.858350.smt2               |    0.085s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0238.fof.smt2 |    0.085s | 19.72MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0383.fof.smt2 |    0.085s | 19.768MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1735.fof.smt2 |    0.085s | 19.712MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.788234.smt2                   |    0.086s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.637557.smt2                   |    0.086s | 20.4MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.634134.smt2                   |    0.086s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0034.fof.smt2 |    0.086s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0279.fof.smt2 |    0.086s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0022.fof.smt2 |    0.086s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/thruster_symm_0158.fof.smt2 |    0.086s | 19.604MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0297.fof.smt2 |    0.086s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0019.fof.smt2 |    0.086s | 20.34MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0026.fof.smt2 |    0.086s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0029.fof.smt2 |    0.086s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1552.fof.smt2 |    0.086s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.922450.smt2                   |    0.087s | 20.196MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0321.fof.smt2 |    0.087s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0135.fof.smt2 |    0.087s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0087.fof.smt2 |    0.087s | 19.7MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0260.fof.smt2 |    0.087s | 19.804MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0136.fof.smt2 |    0.087s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0004.fof.smt2 |    0.087s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0161.fof.smt2 |    0.087s | 19.788MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0082.fof.smt2 |    0.087s | 20.072MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0781.fof.smt2 |    0.087s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.750959.smt2                   |    0.088s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.610121.smt2                   |    0.088s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.702400.smt2                   |    0.088s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.714184.smt2                   |    0.088s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0335.fof.smt2 |    0.088s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0101.fof.smt2 |    0.088s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0078.fof.smt2 |    0.088s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0295.fof.smt2 |    0.088s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0535.fof.smt2 |    0.088s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0107.fof.smt2 |    0.088s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0341.fof.smt2 |    0.088s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0445.fof.smt2 |    0.088s | 19.932MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0038.fof.smt2 |    0.088s | 19.812MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.916820.smt2               |    0.089s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.865953.smt2               |    0.089s | 20.436MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.942602.smt2               |    0.089s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.649332.smt2                   |    0.089s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0112.fof.smt2 |    0.089s | 20.56MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0288.fof.smt2 |    0.089s | 19.96MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0326.fof.smt2 |    0.089s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0225.fof.smt2 |    0.089s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0215.fof.smt2 |    0.089s | 20.356MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0183.fof.smt2 |    0.089s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0144.fof.smt2 |    0.089s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0284.fof.smt2 |    0.089s | 19.696MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0308.fof.smt2 |    0.089s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0651.fof.smt2 |    0.089s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1045.fof.smt2 |    0.089s | 20.376MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0688.fof.smt2 |    0.089s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0267.fof.smt2 |    0.089s | 20.024MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0008.fof.smt2 |    0.089s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1063.fof.smt2 |    0.089s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0021.fof.smt2 |    0.089s | 19.916MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0800.fof.smt2 |    0.089s | 20.572MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0392.fof.smt2 |    0.089s | 19.976MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.817643.smt2                   |    0.090s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.607667.smt2               |    0.090s | 20.512MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0216.fof.smt2 |    0.090s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0108.fof.smt2 |    0.090s | 19.94MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0009.fof.smt2 |    0.090s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0164.fof.smt2 |    0.090s | 20.12MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0051.fof.smt2 |    0.090s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0220.fof.smt2 |    0.090s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0165.fof.smt2 |    0.090s | 20.052MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1038.fof.smt2 |    0.090s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0156.fof.smt2 |    0.090s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1043.fof.smt2 |    0.090s | 19.712MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0028.fof.smt2 |    0.090s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1297.fof.smt2 |    0.090s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1037.fof.smt2 |    0.090s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.956070.smt2                   |    0.091s | 20.428MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.619057.smt2                   |    0.091s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.655977.smt2                   |    0.091s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.781509.smt2               |    0.091s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0106.fof.smt2 |    0.091s | 19.82MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0046.fof.smt2 |    0.091s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0058.fof.smt2 |    0.091s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0374.fof.smt2 |    0.091s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0255.fof.smt2 |    0.091s | 19.676MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0016.fof.smt2 |    0.091s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0790.fof.smt2 |    0.091s | 19.996MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1044.fof.smt2 |    0.091s | 19.944MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0811.fof.smt2 |    0.091s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0005.fof.smt2 |    0.091s | 19.956MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1118.fof.smt2 |    0.091s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1475.fof.smt2 |    0.091s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0933.fof.smt2 |    0.091s | 19.912MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0044.fof.smt2 |    0.091s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0778.fof.smt2 |    0.091s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0005.fof.smt2 |    0.091s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.938815.smt2                   |    0.092s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0328.fof.smt2 |    0.092s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0015.fof.smt2 |    0.092s | 20.216MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0269.fof.smt2 |    0.092s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0027.fof.smt2 |    0.092s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0116.fof.smt2 |    0.092s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0332.fof.smt2 |    0.092s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1213.fof.smt2 |    0.092s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1320.fof.smt2 |    0.092s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0896.fof.smt2 |    0.092s | 20.152MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1340.fof.smt2 |    0.092s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0584.fof.smt2 |    0.092s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1305.fof.smt2 |    0.092s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0042.fof.smt2 |    0.092s | 19.824MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1332.fof.smt2 |    0.092s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0014.fof.smt2 |    0.092s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0262.fof.smt2 |    0.092s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0076.fof.smt2 |    0.092s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0799.fof.smt2 |    0.092s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0006.fof.smt2 |    0.092s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0017.fof.smt2 |    0.092s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.751341.smt2                   |    0.093s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.699383.smt2               |    0.093s | 20.424MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.940633.smt2                   |    0.093s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.958319.smt2               |    0.093s | 20.808MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.747041.smt2                   |    0.093s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.673421.smt2                   |    0.093s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.765586.smt2                   |    0.093s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0009.fof.smt2 |    0.093s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0256.fof.smt2 |    0.093s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0265.fof.smt2 |    0.093s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0366.fof.smt2 |    0.093s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0312.fof.smt2 |    0.093s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0037.fof.smt2 |    0.093s | 20.324MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/quaternion_ds1_symm_0017.fof.smt2 |    0.093s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.635953.smt2                   |    0.094s | 20.256MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.835930.smt2                   |    0.094s | 20.224MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.673324.smt2               |    0.094s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.672518.smt2                   |    0.094s | 20.264MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0204.fof.smt2 |    0.094s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0169.fof.smt2 |    0.094s | 19.776MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0004.fof.smt2 |    0.094s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0241.fof.smt2 |    0.094s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0090.fof.smt2 |    0.094s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0037.fof.smt2 |    0.094s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0205.fof.smt2 |    0.094s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0296.fof.smt2 |    0.094s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0044.fof.smt2 |    0.094s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0203.fof.smt2 |    0.094s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0281.fof.smt2 |    0.094s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0049.fof.smt2 |    0.094s | 19.792MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0277.fof.smt2 |    0.094s | 20.016MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0132.fof.smt2 |    0.094s | 20.256MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0029.fof.smt2 |    0.094s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0110.fof.smt2 |    0.094s | 19.668MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0076.fof.smt2 |    0.094s | 19.688MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0353.fof.smt2 |    0.094s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0302.fof.smt2 |    0.094s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0114.fof.smt2 |    0.094s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0007.fof.smt2 |    0.094s | 20.564MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0024.fof.smt2 |    0.094s | 20.032MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0288.fof.smt2 |    0.094s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0293.fof.smt2 |    0.094s | 20.188MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0859.fof.smt2 |    0.094s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0545.fof.smt2 |    0.094s | 19.832MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0873.fof.smt2 |    0.094s | 19.984MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0806.fof.smt2 |    0.094s | 20.608MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1176.fof.smt2 |    0.094s | 19.976MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1331.fof.smt2 |    0.094s | 19.768MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.763357.smt2               |    0.095s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.760228.smt2               |    0.095s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.918728.smt2                   |    0.095s | 19.988MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.697673.smt2                   |    0.095s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0360.fof.smt2 |    0.095s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0240.fof.smt2 |    0.095s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0120.fof.smt2 |    0.095s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0389.fof.smt2 |    0.095s | 19.932MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0331.fof.smt2 |    0.095s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0137.fof.smt2 |    0.095s | 19.796MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0222.fof.smt2 |    0.095s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0348.fof.smt2 |    0.095s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0007.fof.smt2 |    0.095s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0142.fof.smt2 |    0.095s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0349.fof.smt2 |    0.095s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0207.fof.smt2 |    0.095s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0379.fof.smt2 |    0.095s | 19.98MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1257.fof.smt2 |    0.095s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0024.fof.smt2 |    0.095s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0275.fof.smt2 |    0.095s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0591.fof.smt2 |    0.095s | 20.008MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1007.fof.smt2 |    0.095s | 20.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0776.fof.smt2 |    0.095s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1324.fof.smt2 |    0.095s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0039.fof.smt2 |    0.095s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0784.fof.smt2 |    0.095s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0130.fof.smt2 |    0.095s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1315.fof.smt2 |    0.095s | 19.992MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0031.fof.smt2 |    0.095s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0522.fof.smt2 |    0.095s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0207.fof.smt2 |    0.095s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0628.fof.smt2 |    0.095s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.663700.smt2                   |    0.096s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.861289.smt2                   |    0.096s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.675941.smt2               |    0.096s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibd85203.smt2                |    0.096s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibf37c88.smt2                |    0.096s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0174.fof.smt2 |    0.096s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0092.fof.smt2 |    0.096s | 19.984MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0197.fof.smt2 |    0.096s | 20.12MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0272.fof.smt2 |    0.096s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0073.fof.smt2 |    0.096s | 20.328MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0012.fof.smt2 |    0.096s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1111.fof.smt2 |    0.096s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1318.fof.smt2 |    0.096s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1062.fof.smt2 |    0.096s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0079.fof.smt2 |    0.096s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0032.fof.smt2 |    0.096s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0525.fof.smt2 |    0.096s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.706191.smt2                   |    0.097s | 20.252MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.619415.smt2                   |    0.097s | 19.936MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.798358.smt2               |    0.097s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.647637.smt2               |    0.097s | 20.316MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.938740.smt2               |    0.097s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.654080.smt2               |    0.097s | 20.044MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.677987.smt2                   |    0.097s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibce35b2.smt2                |    0.097s | 20.148MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0053.fof.smt2 |    0.097s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0352.fof.smt2 |    0.097s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0370.fof.smt2 |    0.097s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0786.fof.smt2 |    0.097s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0068.fof.smt2 |    0.097s | 19.672MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1066.fof.smt2 |    0.097s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0099.fof.smt2 |    0.097s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0533.fof.smt2 |    0.097s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0984.fof.smt2 |    0.097s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.803504.smt2                   |    0.098s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.914342.smt2                   |    0.098s | 19.936MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.674037.smt2               |    0.098s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.869659.smt2                   |    0.098s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.844945.smt2                   |    0.098s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.772111.smt2               |    0.098s | 20.2MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.622683.smt2                   |    0.098s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.697344.smt2                   |    0.098s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.640322.smt2               |    0.098s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.710520.smt2                   |    0.098s | 20.392MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.865313.smt2                   |    0.098s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0361.fof.smt2 |    0.098s | 20.368MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0047.fof.smt2 |    0.098s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0066.fof.smt2 |    0.098s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0178.fof.smt2 |    0.098s | 19.96MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0013.fof.smt2 |    0.098s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0177.fof.smt2 |    0.098s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0526.fof.smt2 |    0.098s | 20.572MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1073.fof.smt2 |    0.098s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0531.fof.smt2 |    0.098s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0269.fof.smt2 |    0.098s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1222.fof.smt2 |    0.098s | 20.324MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0110.fof.smt2 |    0.098s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0032.fof.smt2 |    0.098s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.857642.smt2                   |    0.099s | 20.052MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.702239.smt2                   |    0.099s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0245.fof.smt2 |    0.099s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0201.fof.smt2 |    0.099s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0030.fof.smt2 |    0.099s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0003.fof.smt2 |    0.099s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0008.fof.smt2 |    0.099s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0086.fof.smt2 |    0.099s | 20.124MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0094.fof.smt2 |    0.099s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0105.fof.smt2 |    0.099s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0171.fof.smt2 |    0.099s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0264.fof.smt2 |    0.099s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0213.fof.smt2 |    0.099s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0038.fof.smt2 |    0.099s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0363.fof.smt2 |    0.099s | 19.676MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0008.fof.smt2 |    0.099s | 19.956MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0071.fof.smt2 |    0.099s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0030.fof.smt2 |    0.099s | 19.684MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0077.fof.smt2 |    0.099s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0030.fof.smt2 |    0.099s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1047.fof.smt2 |    0.099s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1313.fof.smt2 |    0.099s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0807.fof.smt2 |    0.099s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0002.fof.smt2 |    0.099s | 19.824MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.675189.smt2                   |    0.100s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.689469.smt2                   |    0.100s | 20.312MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.647252.smt2                   |    0.100s | 20.176MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.698880.smt2                   |    0.100s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0035.fof.smt2 |    0.100s | 19.664MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0258.fof.smt2 |    0.100s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0320.fof.smt2 |    0.100s | 20.064MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1132.fof.smt2 |    0.100s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1065.fof.smt2 |    0.100s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.755062.smt2                   |    0.101s | 20.152MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.919084.smt2                   |    0.101s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.649261.smt2                   |    0.101s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.873326.smt2                   |    0.101s | 20.032MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.776019.smt2               |    0.101s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0081.fof.smt2 |    0.101s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0210.fof.smt2 |    0.101s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0214.fof.smt2 |    0.101s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0577.fof.smt2 |    0.101s | 19.812MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0120.fof.smt2 |    0.101s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1048.fof.smt2 |    0.101s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0789.fof.smt2 |    0.101s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0711.fof.smt2 |    0.101s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.637239.smt2               |    0.102s | 19.804MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.825916.smt2                   |    0.102s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.699441.smt2                   |    0.102s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0056.fof.smt2 |    0.102s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0665.fof.smt2 |    0.102s | 19.924MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0016.fof.smt2 |    0.102s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0780.fof.smt2 |    0.102s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0123.fof.smt2 |    0.102s | 19.816MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0041.fof.smt2 |    0.102s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1155.fof.smt2 |    0.102s | 20.428MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0264.fof.smt2 |    0.102s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0822.fof.smt2 |    0.102s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0371.fof.smt2 |    0.102s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0016.fof.smt2 |    0.102s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.940561.smt2               |    0.103s | 20.052MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.780093.smt2                   |    0.103s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.692863.smt2                   |    0.103s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.856156.smt2                   |    0.103s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.759134.smt2               |    0.103s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.955145.smt2                   |    0.103s | 20.748MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.879676.smt2                   |    0.103s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.684910.smt2                   |    0.103s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629402.smt2               |    0.103s | 19.732MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.562301.smt2               |    0.103s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.946545.smt2               |    0.103s | 20.456MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.699496.smt2                   |    0.103s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0061.fof.smt2 |    0.103s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0217.fof.smt2 |    0.103s | 20.232MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1057.fof.smt2 |    0.103s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0258.fof.smt2 |    0.103s | 20.12MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0443.fof.smt2 |    0.103s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0034.fof.smt2 |    0.103s | 19.768MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0917.fof.smt2 |    0.103s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0075.fof.smt2 |    0.103s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1095.fof.smt2 |    0.103s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0032.fof.smt2 |    0.103s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1054.fof.smt2 |    0.103s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1064.fof.smt2 |    0.103s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0043.fof.smt2 |    0.103s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0803.fof.smt2 |    0.103s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0048.fof.smt2 |    0.103s | 19.816MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0536.fof.smt2 |    0.103s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0200.fof.smt2 |    0.103s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0850.fof.smt2 |    0.103s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0065.fof.smt2 |    0.103s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0408.fof.smt2 |    0.103s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1304.fof.smt2 |    0.103s | 19.776MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.925543.smt2               |    0.104s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.662227.smt2               |    0.104s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.801047.smt2                   |    0.104s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.857918.smt2                   |    0.104s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlib8e6000.smt2                |    0.104s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0112.fof.smt2 |    0.104s | 19.704MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0001.fof.smt2 |    0.104s | 19.604MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0704.fof.smt2 |    0.104s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0102.fof.smt2 |    0.104s | 20.284MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0006.fof.smt2 |    0.104s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1139.fof.smt2 |    0.104s | 19.724MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0069.fof.smt2 |    0.104s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0280.fof.smt2 |    0.104s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0667.fof.smt2 |    0.104s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0532.fof.smt2 |    0.104s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0530.fof.smt2 |    0.104s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0108.fof.smt2 |    0.104s | 19.696MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0131.fof.smt2 |    0.104s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1300.fof.smt2 |    0.104s | 20.32MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629331.smt2               |    0.105s | 19.948MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.665768.smt2               |    0.105s | 19.948MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.776249.smt2                   |    0.105s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.926856.smt2                   |    0.105s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0330.fof.smt2 |    0.105s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0380.fof.smt2 |    0.105s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0160.fof.smt2 |    0.105s | 20.032MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0399.fof.smt2 |    0.105s | 20.052MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0748.fof.smt2 |    0.105s | 20.328MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0081.fof.smt2 |    0.105s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0793.fof.smt2 |    0.105s | 20.012MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0020.fof.smt2 |    0.105s | 19.756MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/clash_alloc_why.smt2        |    0.106s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.549916.smt2               |    0.106s | 20.34MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.821634.smt2                   |    0.106s | 19.948MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.947491.smt2                   |    0.106s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.923470.smt2                   |    0.106s | 19.94MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.630048.smt2                   |    0.106s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.655425.smt2                   |    0.106s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0348.fof.smt2 |    0.106s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0940.fof.smt2 |    0.106s | 20.352MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.673103.smt2                   |    0.107s | 20.0MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.628941.smt2               |    0.107s | 20.028MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.829638.smt2               |    0.107s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.779430.smt2                   |    0.107s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.640466.smt2                   |    0.107s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.746656.smt2                   |    0.107s | 20.168MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0377.fof.smt2 |    0.107s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0316.fof.smt2 |    0.107s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0162.fof.smt2 |    0.107s | 20.372MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0018.fof.smt2 |    0.107s | 20.32MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0089.fof.smt2 |    0.107s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0551.fof.smt2 |    0.107s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0607.fof.smt2 |    0.107s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.943691.smt2               |    0.108s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.923114.smt2                   |    0.108s | 20.168MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.698113.smt2               |    0.108s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.640149.smt2                   |    0.108s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0228.fof.smt2 |    0.108s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0503.fof.smt2 |    0.108s | 20.028MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1072.fof.smt2 |    0.108s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0049.fof.smt2 |    0.108s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1326.fof.smt2 |    0.108s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1298.fof.smt2 |    0.108s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1302.fof.smt2 |    0.108s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0480.fof.smt2 |    0.108s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0010.fof.smt2 |    0.108s | 19.924MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.768674.smt2               |    0.109s | 20.572MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.647483.smt2               |    0.109s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0167.fof.smt2 |    0.109s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0188.fof.smt2 |    0.109s | 20.316MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0910.fof.smt2 |    0.109s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0038.fof.smt2 |    0.109s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0552.fof.smt2 |    0.109s | 20.12MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0177.fof.smt2 |    0.109s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0017.fof.smt2 |    0.109s | 20.072MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.828944.smt2                   |    0.110s | 20.692MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.861982.smt2               |    0.110s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.868686.smt2                   |    0.110s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.697961.smt2               |    0.110s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.833458.smt2                   |    0.110s | 20.328MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.685476.smt2                   |    0.110s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.682065.smt2               |    0.110s | 20.58MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.683368.smt2                   |    0.110s | 19.968MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0138.fof.smt2 |    0.110s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0630.fof.smt2 |    0.110s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0529.fof.smt2 |    0.110s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0036.fof.smt2 |    0.110s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.712540.smt2               |    0.111s | 19.68MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.753349.smt2                   |    0.111s | 20.284MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.865646.smt2                   |    0.111s | 20.416MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.647389.smt2                   |    0.111s | 19.616MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.632775.smt2               |    0.111s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0074.fof.smt2 |    0.111s | 20.168MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0128.fof.smt2 |    0.111s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0193.fof.smt2 |    0.111s | 19.72MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0129.fof.smt2 |    0.111s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1311.fof.smt2 |    0.111s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0015.fof.smt2 |    0.111s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.658206.smt2                   |    0.112s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.788577.smt2                   |    0.112s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.785903.smt2               |    0.112s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.786512.smt2                   |    0.112s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.943708.smt2                   |    0.112s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.637082.smt2               |    0.113s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.614416.smt2                   |    0.113s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.767657.smt2                   |    0.113s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.653905.smt2               |    0.113s | 20.084MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.711517.smt2                   |    0.113s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.792971.smt2               |    0.113s | 20.176MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0365.fof.smt2 |    0.113s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0234.fof.smt2 |    0.113s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0031.fof.smt2 |    0.113s | 19.724MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1322.fof.smt2 |    0.113s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0804.fof.smt2 |    0.113s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0355.fof.smt2 |    0.113s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1056.fof.smt2 |    0.113s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0769.fof.smt2 |    0.113s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0791.fof.smt2 |    0.113s | 19.924MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.695337.smt2                   |    0.114s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.620661.smt2                   |    0.114s | 20.18MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.662069.smt2               |    0.114s | 19.832MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.871650.smt2                   |    0.114s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.673310.smt2                   |    0.114s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.867637.smt2                   |    0.114s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.794968.smt2                   |    0.114s | 20.256MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.653587.smt2               |    0.114s | 20.212MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0257.fof.smt2 |    0.114s | 20.2MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/cl5_nebula_norm_0005.fof.smt2 |    0.114s | 20.668MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0022.fof.smt2 |    0.114s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1046.fof.smt2 |    0.114s | 20.012MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0362.fof.smt2 |    0.114s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0295.fof.smt2 |    0.114s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0762.fof.smt2 |    0.114s | 20.604MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0015.fof.smt2 |    0.114s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.863623.smt2                   |    0.115s | 20.3MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.780306.smt2               |    0.115s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.825014.smt2                   |    0.115s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.775261.smt2                   |    0.115s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.762578.smt2                   |    0.115s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.918064.smt2                   |    0.115s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.763578.smt2                   |    0.115s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.804679.smt2                   |    0.115s | 20.228MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.648629.smt2                   |    0.115s | 20.196MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0274.fof.smt2 |    0.115s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/cl5_nebula_norm_0003.fof.smt2 |    0.115s | 20.088MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0066.fof.smt2 |    0.115s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0496.fof.smt2 |    0.115s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.802565.smt2               |    0.116s | 20.16MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.644770.smt2               |    0.116s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.944289.smt2                   |    0.116s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.756005.smt2               |    0.116s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.805592.smt2               |    0.116s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0050.fof.smt2 |    0.116s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0157.fof.smt2 |    0.116s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0103.fof.smt2 |    0.116s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0277.fof.smt2 |    0.116s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.951208.smt2                   |    0.117s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.747589.smt2               |    0.117s | 20.184MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.929723.smt2               |    0.117s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.629976.smt2                   |    0.117s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.674024.smt2               |    0.117s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0195.fof.smt2 |    0.117s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0139.fof.smt2 |    0.117s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/quaternion_ds1_symm_0423.fof.smt2 |    0.117s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0009.fof.smt2 |    0.117s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0556.fof.smt2 |    0.117s | 19.944MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0796.fof.smt2 |    0.117s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1273.fof.smt2 |    0.117s | 19.808MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.944599.smt2                   |    0.118s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0212.fof.smt2 |    0.118s | 19.976MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0062.fof.smt2 |    0.118s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0160.fof.smt2 |    0.118s | 19.616MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0067.fof.smt2 |    0.118s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0014.fof.smt2 |    0.118s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.633611.smt2               |    0.119s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.872800.smt2               |    0.119s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.921280.smt2                   |    0.119s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0023.fof.smt2 |    0.119s | 19.792MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0887.fof.smt2 |    0.119s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0537.fof.smt2 |    0.119s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0695.fof.smt2 |    0.119s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1070.fof.smt2 |    0.119s | 19.828MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1125.fof.smt2 |    0.119s | 19.972MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts6364_why.smt2            |    0.120s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.630683.smt2               |    0.120s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.875663.smt2                   |    0.120s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.671569.smt2               |    0.120s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.880725.smt2                   |    0.120s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.845575.smt2                   |    0.120s | 20.248MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.701996.smt2               |    0.120s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0367.fof.smt2 |    0.120s | 19.708MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0131.fof.smt2 |    0.120s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/cl5_nebula_norm_0012.fof.smt2 |    0.120s | 20.044MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0004.fof.smt2 |    0.120s | 20.348MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0829.fof.smt2 |    0.120s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1308.fof.smt2 |    0.120s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0237.fof.smt2 |    0.120s | 20.072MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0033.fof.smt2 |    0.120s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.625933.smt2                   |    0.121s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.616911.smt2               |    0.121s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.661347.smt2                   |    0.121s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.746428.smt2               |    0.121s | 20.32MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.835099.smt2               |    0.121s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.633330.smt2               |    0.121s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0350.fof.smt2 |    0.121s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0278.fof.smt2 |    0.121s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0880.fof.smt2 |    0.121s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0814.fof.smt2 |    0.121s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1162.fof.smt2 |    0.121s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.713145.smt2                   |    0.122s | 20.208MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.809583.smt2                   |    0.122s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.831243.smt2               |    0.122s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.914698.smt2                   |    0.122s | 19.828MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0334.fof.smt2 |    0.122s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0055.fof.smt2 |    0.122s | 20.284MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0345.fof.smt2 |    0.122s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1109.fof.smt2 |    0.122s | 19.976MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0718.fof.smt2 |    0.122s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0284.fof.smt2 |    0.122s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0436.fof.smt2 |    0.122s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0755.fof.smt2 |    0.122s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0534.fof.smt2 |    0.122s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.707123.smt2               |    0.123s | 20.172MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.913678.smt2                   |    0.123s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0149.fof.smt2 |    0.123s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0249.fof.smt2 |    0.123s | 20.32MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0100.fof.smt2 |    0.123s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0563.fof.smt2 |    0.123s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0947.fof.smt2 |    0.123s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0184.fof.smt2 |    0.123s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0100.fof.smt2 |    0.123s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0621.fof.smt2 |    0.123s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1333.fof.smt2 |    0.123s | 19.932MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0798.fof.smt2 |    0.123s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1035.fof.smt2 |    0.123s | 20.356MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/fs252_why.smt2              |    0.124s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.743633.smt2               |    0.124s | 20.188MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.663327.smt2                   |    0.124s | 20.3MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.912497.smt2               |    0.124s | 20.28MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.881698.smt2                   |    0.124s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.864684.smt2                   |    0.124s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0674.fof.smt2 |    0.124s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0836.fof.smt2 |    0.124s | 20.016MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0787.fof.smt2 |    0.124s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0021.fof.smt2 |    0.124s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.675263.smt2                   |    0.125s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.825782.smt2               |    0.125s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0390.fof.smt2 |    0.125s | 20.356MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0153.fof.smt2 |    0.125s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0125.fof.smt2 |    0.125s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0179.fof.smt2 |    0.125s | 19.74MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0219.fof.smt2 |    0.125s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1328.fof.smt2 |    0.125s | 19.728MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0035.fof.smt2 |    0.125s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0422.fof.smt2 |    0.125s | 19.956MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1220.fof.smt2 |    0.125s | 20.372MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0013.fof.smt2 |    0.125s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1055.fof.smt2 |    0.125s | 19.928MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0010.fof.smt2 |    0.125s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0066.fof.smt2 |    0.125s | 19.804MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0550.fof.smt2 |    0.125s | 19.788MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.676882.smt2                   |    0.126s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.631366.smt2                   |    0.126s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.846296.smt2               |    0.126s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.877685.smt2                   |    0.126s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0358.fof.smt2 |    0.126s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0538.fof.smt2 |    0.126s | 20.016MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0004.fof.smt2 |    0.126s | 19.616MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0843.fof.smt2 |    0.126s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0244.fof.smt2 |    0.126s | 20.128MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0037.fof.smt2 |    0.126s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0452.fof.smt2 |    0.126s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0732.fof.smt2 |    0.126s | 19.936MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.660068.smt2               |    0.127s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.637372.smt2               |    0.127s | 19.768MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0251.fof.smt2 |    0.127s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0280.fof.smt2 |    0.127s | 19.732MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1296.fof.smt2 |    0.127s | 20.436MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1266.fof.smt2 |    0.127s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0104.fof.smt2 |    0.127s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.876764.smt2               |    0.128s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.868836.smt2               |    0.128s | 20.316MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.751753.smt2               |    0.128s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.826803.smt2               |    0.128s | 20.28MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0127.fof.smt2 |    0.128s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0378.fof.smt2 |    0.128s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0801.fof.smt2 |    0.128s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0073.fof.smt2 |    0.128s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1014.fof.smt2 |    0.128s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0014.fof.smt2 |    0.128s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.692734.smt2                   |    0.129s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0098.fof.smt2 |    0.129s | 20.128MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0016.fof.smt2 |    0.129s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.876712.smt2                   |    0.130s | 20.344MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.806772.smt2               |    0.130s | 20.5MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/quaternion_ds1_symm_0001.fof.smt2 |    0.130s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0004.fof.smt2 |    0.130s | 20.136MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0282.fof.smt2 |    0.130s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0261.fof.smt2 |    0.130s | 19.612MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.950199.smt2                   |    0.131s | 20.404MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.857393.smt2               |    0.131s | 20.276MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0052.fof.smt2 |    0.131s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0313.fof.smt2 |    0.131s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0524.fof.smt2 |    0.131s | 20.14MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0223.fof.smt2 |    0.131s | 19.64MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0036.fof.smt2 |    0.131s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.942623.smt2                   |    0.132s | 20.56MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.801385.smt2               |    0.132s | 20.16MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.624862.smt2               |    0.132s | 20.024MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0528.fof.smt2 |    0.132s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0251.fof.smt2 |    0.132s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0025.fof.smt2 |    0.132s | 19.932MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.784698.smt2               |    0.133s | 20.288MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0386.fof.smt2 |    0.133s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0297.fof.smt2 |    0.133s | 20.336MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0057.fof.smt2 |    0.133s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0164.fof.smt2 |    0.133s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0961.fof.smt2 |    0.133s | 20.212MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0263.fof.smt2 |    0.133s | 20.228MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0378.fof.smt2 |    0.134s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0068.fof.smt2 |    0.134s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0036.fof.smt2 |    0.134s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1040.fof.smt2 |    0.134s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0406.fof.smt2 |    0.134s | 19.752MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts0187_why.smt2            |    0.135s | 20.16MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.742487.smt2               |    0.135s | 20.284MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.837455.smt2               |    0.135s | 20.552MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/quaternion_ds1_symm_0418.fof.smt2 |    0.135s | 19.64MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0040.fof.smt2 |    0.135s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.881798.smt2               |    0.136s | 20.172MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.711170.smt2                   |    0.136s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.612263.smt2               |    0.136s | 20.636MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.834515.smt2               |    0.136s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0025.fof.smt2 |    0.136s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0052.fof.smt2 |    0.136s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1185.fof.smt2 |    0.136s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0052.fof.smt2 |    0.136s | 19.808MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0103.fof.smt2 |    0.136s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0359.fof.smt2 |    0.137s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0385.fof.smt2 |    0.137s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0815.fof.smt2 |    0.137s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1368.fof.smt2 |    0.137s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0274.fof.smt2 |    0.137s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0739.fof.smt2 |    0.137s | 19.956MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_forall/cl5_nebula_norm_0029.fof.smt2 |    0.137s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.797113.smt2                   |    0.138s | 19.912MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.864863.smt2               |    0.138s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.782459.smt2                   |    0.138s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibb47bdc.smt2                |    0.138s | 20.216MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.657075.smt2               |    0.139s | 20.084MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.636136.smt2                   |    0.139s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0318.fof.smt2 |    0.139s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.815818.smt2                   |    0.140s | 20.388MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.778229.smt2                   |    0.140s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0028.fof.smt2 |    0.140s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0054.fof.smt2 |    0.140s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0227.fof.smt2 |    0.140s | 19.968MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0681.fof.smt2 |    0.140s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0459.fof.smt2 |    0.140s | 19.928MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0346.fof.smt2 |    0.141s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0089.fof.smt2 |    0.141s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0325.fof.smt2 |    0.141s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.624507.smt2                   |    0.142s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0202.fof.smt2 |    0.142s | 20.164MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0015.fof.smt2 |    0.142s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0126.fof.smt2 |    0.142s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0003.fof.smt2 |    0.143s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0161.fof.smt2 |    0.143s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0926.fof.smt2 |    0.143s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0009.fof.smt2 |    0.143s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1061.fof.smt2 |    0.143s | 20.008MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0797.fof.smt2 |    0.143s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1316.fof.smt2 |    0.143s | 20.184MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1042.fof.smt2 |    0.143s | 19.92MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0782.fof.smt2 |    0.143s | 20.368MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1299.fof.smt2 |    0.143s | 20.16MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0046.fof.smt2 |    0.143s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0007.fof.smt2 |    0.143s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1050.fof.smt2 |    0.143s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0017.fof.smt2 |    0.143s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0223.fof.smt2 |    0.144s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0303.fof.smt2 |    0.144s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0045.fof.smt2 |    0.144s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0014.fof.smt2 |    0.144s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts0071_why.smt2            |    0.145s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0553.fof.smt2 |    0.145s | 20.212MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0015.fof.smt2 |    0.145s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0013.fof.smt2 |    0.145s | 19.812MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.638953.smt2               |    0.146s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.939846.smt2                   |    0.146s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0069.fof.smt2 |    0.146s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/cl5_nebula_norm_0006.fof.smt2 |    0.146s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0466.fof.smt2 |    0.146s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0110.fof.smt2 |    0.146s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0119.fof.smt2 |    0.146s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1330.fof.smt2 |    0.146s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1294.fof.smt2 |    0.146s | 19.896MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0637.fof.smt2 |    0.146s | 20.372MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.638194.smt2                   |    0.147s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.696723.smt2                   |    0.147s | 19.98MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0388.fof.smt2 |    0.147s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0265.fof.smt2 |    0.147s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1317.fof.smt2 |    0.147s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.789955.smt2               |    0.148s | 20.068MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0096.fof.smt2 |    0.148s | 19.956MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0143.fof.smt2 |    0.148s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0519.fof.smt2 |    0.148s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0126.fof.smt2 |    0.148s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.823496.smt2               |    0.149s | 20.06MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0270.fof.smt2 |    0.149s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0351.fof.smt2 |    0.149s | 20.3MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0109.fof.smt2 |    0.149s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/quaternion_ds1_symm_0005.fof.smt2 |    0.149s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/quaternion_ds1_symm_0001.fof.smt2 |    0.149s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/axiomatic_why.smt2          |    0.150s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bug390_why.smt2             |    0.150s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.951712.smt2                   |    0.150s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.809917.smt2                   |    0.150s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0292.fof.smt2 |    0.150s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0186.fof.smt2 |    0.150s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1052.fof.smt2 |    0.150s | 20.444MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0005.fof.smt2 |    0.150s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/consts_why.smt2             |    0.151s | 20.012MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.549864.smt2                   |    0.151s | 20.488MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.714922.smt2               |    0.151s | 20.244MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0162.fof.smt2 |    0.151s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0260.fof.smt2 |    0.151s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0276.fof.smt2 |    0.151s | 19.944MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0539.fof.smt2 |    0.151s | 19.984MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0802.fof.smt2 |    0.151s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/minusminus_why.smt2         |    0.152s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.671895.smt2               |    0.152s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibdba7a4.smt2                |    0.152s | 20.296MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0292.fof.smt2 |    0.152s | 20.328MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0805.fof.smt2 |    0.152s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0795.fof.smt2 |    0.152s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0163.fof.smt2 |    0.152s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0546.fof.smt2 |    0.152s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0031.fof.smt2 |    0.152s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0121.fof.smt2 |    0.152s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1206.fof.smt2 |    0.152s | 20.38MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0294.fof.smt2 |    0.153s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0149.fof.smt2 |    0.153s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.620440.smt2               |    0.154s | 20.148MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0070.fof.smt2 |    0.154s | 20.272MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0096.fof.smt2 |    0.154s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1628.fof.smt2 |    0.154s | 19.832MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0018.fof.smt2 |    0.154s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.939774.smt2               |    0.155s | 20.068MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.910312.smt2                   |    0.155s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.697550.smt2               |    0.155s | 20.084MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0231.fof.smt2 |    0.155s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0189.fof.smt2 |    0.155s | 19.944MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0527.fof.smt2 |    0.155s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1021.fof.smt2 |    0.155s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0074.fof.smt2 |    0.155s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0010.fof.smt2 |    0.155s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0004.fof.smt2 |    0.155s | 19.876MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/jeannin_why.smt2            |    0.156s | 20.312MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.801381.smt2                   |    0.156s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.843953.smt2                   |    0.156s | 20.24MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.763220.smt2                   |    0.156s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.808947.smt2                   |    0.156s | 20.236MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0119.fof.smt2 |    0.156s | 19.936MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0271.fof.smt2 |    0.156s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0011.fof.smt2 |    0.156s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.833776.smt2                   |    0.157s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0015.fof.smt2 |    0.157s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0270.fof.smt2 |    0.157s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1321.fof.smt2 |    0.157s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0614.fof.smt2 |    0.157s | 19.952MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0007.fof.smt2 |    0.157s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0010.fof.smt2 |    0.157s | 19.984MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.872699.smt2                   |    0.158s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.750595.smt2               |    0.158s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.827926.smt2                   |    0.158s | 20.256MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.955746.smt2                   |    0.158s | 20.028MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0145.fof.smt2 |    0.158s | 19.688MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_arithmetics/cl5_nebula_norm_0013.fof.smt2 |    0.158s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0369.fof.smt2 |    0.158s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1309.fof.smt2 |    0.158s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0593.fof.smt2 |    0.158s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0011.fof.smt2 |    0.158s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/quantified_pointer_why.smt2 |    0.159s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/conflict_why.smt2           |    0.159s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.629335.smt2               |    0.159s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0889.fof.smt2 |    0.159s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0072.fof.smt2 |    0.159s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/cl5_nebula_norm_0004.fof.smt2 |    0.159s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0012.fof.smt2 |    0.159s | 20.128MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0006.fof.smt2 |    0.159s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.813971.smt2               |    0.160s | 20.228MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0273.fof.smt2 |    0.160s | 20.552MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0018.fof.smt2 |    0.160s | 19.908MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0382.fof.smt2 |    0.160s | 19.96MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0018.fof.smt2 |    0.160s | 19.864MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1148.fof.smt2 |    0.160s | 20.14MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0170.fof.smt2 |    0.160s | 19.912MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0429.fof.smt2 |    0.160s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1259.fof.smt2 |    0.160s | 20.196MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0013.fof.smt2 |    0.160s | 19.676MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts0199_why.smt2            |    0.161s | 20.124MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0155.fof.smt2 |    0.161s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0510.fof.smt2 |    0.161s | 19.944MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1250.fof.smt2 |    0.161s | 19.988MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0813.fof.smt2 |    0.161s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0016.fof.smt2 |    0.161s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0037.fof.smt2 |    0.161s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.628546.smt2                   |    0.162s | 20.04MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.612465.smt2                   |    0.162s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.770035.smt2                   |    0.162s | 20.48MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.560298.smt2                   |    0.162s | 20.412MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0315.fof.smt2 |    0.162s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0151.fof.smt2 |    0.162s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1697.fof.smt2 |    0.162s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0334.fof.smt2 |    0.162s | 19.888MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1490.fof.smt2 |    0.162s | 19.948MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0039.fof.smt2 |    0.162s | 19.832MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.661907.smt2                   |    0.163s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1229.fof.smt2 |    0.163s | 19.78MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0273.fof.smt2 |    0.163s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0047.fof.smt2 |    0.163s | 19.7MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0725.fof.smt2 |    0.163s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0045.fof.smt2 |    0.163s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0031.fof.smt2 |    0.163s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.634248.smt2                   |    0.164s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.639724.smt2                   |    0.164s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.925667.smt2                   |    0.164s | 20.336MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0253.fof.smt2 |    0.164s | 20.064MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0354.fof.smt2 |    0.164s | 20.216MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0080.fof.smt2 |    0.164s | 19.916MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0541.fof.smt2 |    0.164s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0059.fof.smt2 |    0.164s | 19.788MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/cl5_nebula_norm_0013.fof.smt2 |    0.164s | 20.028MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.853506.smt2               |    0.165s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0199.fof.smt2 |    0.165s | 20.048MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0064.fof.smt2 |    0.165s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1482.fof.smt2 |    0.165s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0122.fof.smt2 |    0.165s | 19.588MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1236.fof.smt2 |    0.165s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.933657.smt2                   |    0.166s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.757428.smt2                   |    0.166s | 20.224MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0158.fof.smt2 |    0.166s | 19.964MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0954.fof.smt2 |    0.166s | 20.06MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0078.fof.smt2 |    0.166s | 20.308MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0003.fof.smt2 |    0.166s | 19.62MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1312.fof.smt2 |    0.166s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0268.fof.smt2 |    0.166s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/thruster_symm_1620.fof.smt2 |    0.166s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.635501.smt2               |    0.167s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.700096.smt2               |    0.167s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0025.fof.smt2 |    0.167s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array/cl5_nebula_norm_0027.fof.smt2 |    0.167s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0051.fof.smt2 |    0.167s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0543.fof.smt2 |    0.167s | 20.312MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1051.fof.smt2 |    0.167s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1060.fof.smt2 |    0.167s | 20.12MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0221.fof.smt2 |    0.167s | 19.74MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.627094.smt2                   |    0.168s | 19.96MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0970.fof.smt2 |    0.168s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1301.fof.smt2 |    0.168s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0977.fof.smt2 |    0.168s | 19.928MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0521.fof.smt2 |    0.168s | 19.628MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.700022.smt2               |    0.169s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0311.fof.smt2 |    0.169s | 20.076MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0286.fof.smt2 |    0.169s | 20.4MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0489.fof.smt2 |    0.169s | 19.8MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0133.fof.smt2 |    0.169s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1071.fof.smt2 |    0.169s | 20.016MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0283.fof.smt2 |    0.169s | 20.34MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1329.fof.smt2 |    0.169s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1287.fof.smt2 |    0.169s | 19.716MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0019.fof.smt2 |    0.169s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0070.fof.smt2 |    0.169s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0542.fof.smt2 |    0.169s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/quaternion_ds1_symm_0001.fof.smt2 |    0.169s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_structure_prop/thruster_symm_0031.fof.smt2 |    0.169s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0082.fof.smt2 |    0.170s | 20.324MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0473.fof.smt2 |    0.170s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0570.fof.smt2 |    0.170s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1310.fof.smt2 |    0.170s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0517.fof.smt2 |    0.170s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0600.fof.smt2 |    0.170s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts5878_why.smt2            |    0.171s | 20.032MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.666124.smt2                   |    0.171s | 20.412MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.633926.smt2                   |    0.171s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0085.fof.smt2 |    0.171s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0175.fof.smt2 |    0.171s | 20.052MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0311.fof.smt2 |    0.171s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0105.fof.smt2 |    0.171s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0544.fof.smt2 |    0.171s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0111.fof.smt2 |    0.171s | 19.996MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.607838.smt2                   |    0.172s | 20.432MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0235.fof.smt2 |    0.172s | 20.124MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0173.fof.smt2 |    0.172s | 20.108MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0170.fof.smt2 |    0.172s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0644.fof.smt2 |    0.172s | 20.208MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/extern_why.smt2             |    0.173s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0189.fof.smt2 |    0.173s | 20.144MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/bts0073_why.smt2            |    0.174s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/false2_why.smt2             |    0.174s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/aviation/return_why.smt2             |    0.174s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0005.fof.smt2 |    0.174s | 19.784MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/aviation/array_double_why.smt2       |    0.175s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.750318.smt2                   |    0.176s | 20.152MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.909292.smt2                   |    0.176s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0041.fof.smt2 |    0.176s | 20.356MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.873870.smt2               |    0.177s | 20.3MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0133.fof.smt2 |    0.177s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0307.fof.smt2 |    0.177s | 19.692MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0232.fof.smt2 |    0.177s | 19.976MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0267.fof.smt2 |    0.178s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.794151.smt2               |    0.179s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.820023.smt2                   |    0.180s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.816994.smt2                   |    0.180s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.850480.smt2               |    0.180s | 20.24MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0020.fof.smt2 |    0.180s | 20.184MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.714183.smt2               |    0.181s | 20.216MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0075.fof.smt2 |    0.181s | 20.148MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0285.fof.smt2 |    0.181s | 19.824MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_1049.fof.smt2 |    0.181s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0182.fof.smt2 |    0.182s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/cl5_nebula_norm_0128.fof.smt2 |    0.182s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify_array_only/quaternion_ds1_symm_0296.fof.smt2 |    0.182s | 20.028MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlib7a3a8e.smt2                |    0.183s | 20.06MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0102.fof.smt2 |    0.184s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/z3.646409.smt2                   |    0.185s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0118.fof.smt2 |    0.186s | 20.156MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0246.fof.smt2 |    0.187s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/FFT/smtlib.845302.smt2               |    0.188s | 20.448MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0023.fof.smt2 |    0.188s | 20.136MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/vc_normalize_subst/thruster_symm_0001.fof.smt2 |    0.188s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0294.fof.smt2 |    0.189s | 20.124MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibf3ad77.smt2                |    0.191s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlib5966a0.smt2                |    0.191s | 20.408MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0146.fof.smt2 |    0.191s | 19.836MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0071.fof.smt2 |    0.191s | 20.104MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0002.fof.smt2 |    0.192s | 20.148MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0376.fof.smt2 |    0.192s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0163.fof.smt2 |    0.193s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0166.fof.smt2 |    0.193s | 20.236MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0077.fof.smt2 |    0.194s | 20.028MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0126.fof.smt2 |    0.194s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0014.fof.smt2 |    0.194s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0013.fof.smt2 |    0.195s | 20.088MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0010.fof.smt2 |    0.195s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0032.fof.smt2 |    0.195s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0275.fof.smt2 |    0.196s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0187.fof.smt2 |    0.197s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibfe2816.smt2                |    0.198s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0190.fof.smt2 |    0.198s | 19.816MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0356.fof.smt2 |    0.198s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0329.fof.smt2 |    0.198s | 20.08MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0111.fof.smt2 |    0.198s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlibfc99e2.smt2                |    0.200s | 20.356MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0237.fof.smt2 |    0.200s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0259.fof.smt2 |    0.201s | 19.904MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0314.fof.smt2 |    0.201s | 19.624MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0010.fof.smt2 |    0.201s | 20.58MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0299.fof.smt2 |    0.202s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0341.fof.smt2 |    0.202s | 20.116MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0159.fof.smt2 |    0.202s | 19.88MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0012.fof.smt2 |    0.203s | 20.576MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0254.fof.smt2 |    0.203s | 19.984MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0387.fof.smt2 |    0.203s | 19.84MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0194.fof.smt2 |    0.204s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0042.fof.smt2 |    0.204s | 19.9MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0039.fof.smt2 |    0.204s | 19.872MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0338.fof.smt2 |    0.205s | 19.628MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0001.fof.smt2 |    0.205s | 20.132MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0309.fof.smt2 |    0.205s | 19.856MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0385.fof.smt2 |    0.205s | 19.648MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0021.fof.smt2 |    0.205s | 19.892MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0290.fof.smt2 |    0.205s | 19.748MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0093.fof.smt2 |    0.205s | 20.112MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0319.fof.smt2 |    0.205s | 20.1MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0283.fof.smt2 |    0.206s | 20.352MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0079.fof.smt2 |    0.206s | 19.876MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0150.fof.smt2 |    0.206s | 20.052MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0148.fof.smt2 |    0.206s | 20.068MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0373.fof.smt2 |    0.207s | 19.764MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0063.fof.smt2 |    0.207s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0099.fof.smt2 |    0.207s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0214.fof.smt2 |    0.208s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0006.fof.smt2 |    0.208s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/cl5_nebula_norm_0005.fof.smt2 |    0.209s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0019.fof.smt2 |    0.209s | 20.32MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0368.fof.smt2 |    0.209s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0229.fof.smt2 |    0.209s | 19.78MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0209.fof.smt2 |    0.210s | 19.884MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0156.fof.smt2 |    0.210s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0206.fof.smt2 |    0.211s | 20.092MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0083.fof.smt2 |    0.211s | 19.868MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0293.fof.smt2 |    0.212s | 20.084MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0067.fof.smt2 |    0.214s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/why/smtlib14c92b.smt2                |    0.215s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0236.fof.smt2 |    0.215s | 20.332MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0193.fof.smt2 |    0.215s | 20.364MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0121.fof.smt2 |    0.218s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/AUFNIRA/nasa/fol_simplify/quaternion_ds1_symm_0243.fof.smt2 |    0.219s | 20.1MiB| unsat | 0 |  |  |
