| Family | |
|---|---|
| Name | tptp |
| Generation Date | None |
| First Occurrence | 2014-07-21 |
| Benchmarks | 88 |
| NIA • Charts • Solver Isomap |
|---|
| NUM881=1.smt2 |
| ARI123=1.smt2 |
| NUM880=1.smt2 |
| ARI118=1.smt2 |
| NUM879=1.smt2 |
| NUM885=1.smt2 |
| NUM882=1.smt2 |
| NUM878=1.smt2 |
| NUM886=1.smt2 |
| UFLIA • Charts • Solver Isomap |
|---|
| ARI616=1.smt2 |
| ARI618=1.smt2 |
| ARI611=1.smt2 |
| ARI615=1.smt2 |
| NUM859=1.smt2 |
| ARI603=1.smt2 |
| NUM858=1.smt2 |
| ARI612=1.smt2 |
| ARI604=1.smt2 |
| NUM860=1.smt2 |