![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Readme.txt | 2026-09-02 11:20 | 419 | |
| nra_01.smt2 | 2026-09-02 10:35 | 224 | |
| nra_03.smt2 | 2026-09-02 10:35 | 306 | |
| nra_11.smt2 | 2026-09-02 10:35 | 324 | |
| nra_17.smt2 | 2026-09-02 10:35 | 227 | |
| nra_18.smt2 | 2026-09-02 10:35 | 226 | |
| nra_19.smt2 | 2026-09-02 10:35 | 202 | |
| nra_20.smt2 | 2026-09-02 10:35 | 225 | |
| nra_abs_1.smt2 | 2026-09-02 10:35 | 148 | |
| nra_fedor_02.smt2 | 2026-09-02 10:35 | 151 | |
| nra_fedor_03.smt2 | 2026-09-02 10:35 | 157 | |
| nra_fedor_04.smt2 | 2026-09-02 10:35 | 127 | |
| nra_fedor_05.smt2 | 2026-09-02 10:35 | 151 | |
| nra_fedor_06.smt2 | 2026-09-02 10:35 | 151 | |
| nra_fedor_07.smt2 | 2026-09-02 10:35 | 147 | |
| nra_fedor_08.smt2 | 2026-09-02 10:35 | 147 | |
| nra_fedor_09.smt2 | 2026-09-02 10:35 | 132 | |
| nra_fedor_10.smt2 | 2026-09-02 10:35 | 153 | |
| nra_fedor_11.smt2 | 2026-09-02 10:35 | 148 | |
| nra_fedor_14.smt2 | 2026-09-02 10:35 | 1.0K | |
| nra_mass_spring.smt2 | 2026-09-02 10:35 | 13K | |
| nra_unsat_02.smt2 | 2026-09-02 10:35 | 306 | |
| nra_unsat_05.smt2 | 2026-09-02 10:35 | 298 | |
| nra_unsat_07.smt2 | 2026-09-02 10:35 | 307 | |
| nra_unsat_09.smt2 | 2026-09-02 10:35 | 314 | |
| nra_unsat_10.smt2 | 2026-09-02 10:35 | 315 | |
| nra_unsat_abs_2.smt2 | 2026-09-02 10:35 | 179 | |
| nra_unsat_fedor_01.smt2 | 2026-09-02 10:35 | 158 | |
| nra_unsat_hex_01.smt2 | 2026-09-02 10:35 | 266 | |
| nra_unsat_trivial_check.smt2 | 2026-09-02 10:35 | 237 | |
| smt_dreal_nra_out.csv | 2026-09-02 10:49 | 1.8K | |