| Competing |
no |
| Single Query Track |
ABVFP, ALIA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, BV, BVFP, FP, LIA, LRA, NIA, NRA, QF_ABV, QF_ABVFP, QF_ALIA, QF_ANIA, QF_AUFBV, QF_AUFLIA, QF_AUFNIA, QF_AX, QF_BV, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_NIA, QF_NIRA, QF_NRA, QF_RDL, QF_UF, QF_UFBV, QF_UFIDL, QF_UFLIA, QF_UFLRA, QF_UFNIA, QF_UFNRA, UF, UFBV, UFIDL, UFLIA, UFLRA, UFNIA
|
| Incremental Track |
ABVFP, ALIA, AUFNIRA, BV, BVFP, LIA, LRA, QF_ABV, QF_ABVFP, QF_ALIA, QF_ANIA, QF_AUFBV, QF_AUFLIA, QF_BV, QF_BVFP, QF_FP, QF_LIA, QF_LRA, QF_NIA, QF_UF, QF_UFBV, QF_UFLIA, QF_UFLRA, QF_UFNIA, UFLRA, ANIA, QF_AUFBVLIA, QF_AUFBVNIA, QF_UFBVLIA
|
| Challenge Track (non-incremental) |
QF_ABV, QF_AUFBV, QF_BV
|
| Challenge Track (incremental) |
QF_ABV, QF_AUFBV, QF_BV
|
| Unsat Core Track |
ABVFP, ALIA, AUFLIA, AUFLIRA, AUFNIA, AUFNIRA, BV, BVFP, FP, LIA, LRA, NIA, NRA, QF_ABV, QF_ABVFP, QF_ALIA, QF_ANIA, QF_AUFBV, QF_AUFLIA, QF_AUFNIA, QF_AX, QF_BV, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_IDL, QF_LIA, QF_LIRA, QF_LRA, QF_NIA, QF_NIRA, QF_NRA, QF_RDL, QF_UF, QF_UFBV, QF_UFIDL, QF_UFLIA, QF_UFLRA, QF_UFNIA, QF_UFNRA, UF, UFBV, UFIDL, UFLIA, UFLRA, UFNIA
|
| Model Validation Track (experimental) |
|
| Preliminary ID |
23470 |
| Final ID |
23470 |
| Seed |
|
| System Description |
|
| Variant of Submission ID |
|
| Derived from Solver |
|
| Wrapped Solvers |
|
| Website |
|
| Team Members |
|