3D placement on 3D placement benchmark
0.005Runtime (seconds)Yices2
Evaluation Results
| Method | Links | |
|---|---|---|
| Yices2Instance=2_2_02026.03 | 0.005 | |
| Yices2Instance=2_2_12026.03 | 0.005 | |
| Yices2Instance=2_8_22026.03 | 0.015 | |
| Yices2Instance=2_8_32026.03 | 0.016 | |
| MathSAT5Instance=2_2_02026.03 | 0.02 | |
| MathSAT5Instance=2_2_12026.03 | 0.021 | |
| CVC5Instance=2_2_02026.03 | 0.023 | |
| CVC5Instance=2_2_12026.03 | 0.024 | |
| Z3Instance=2_2_02026.03 | 0.034 | |
| Z3Instance=2_2_12026.03 | 0.036 | |
| Z3Instance=2_8_22026.03 | 0.047 | |
| Z3Instance=2_8_32026.03 | 0.047 | |
| Z3PPInstance=2_2_02026.03 | 0.05 | |
| Z3PPInstance=2_2_12026.03 | 0.051 | |
| Z3PPInstance=2_8_22026.03 | 0.08 | |
| MathSAT5Instance=2_8_22026.03 | 0.081 | |
| Z3PPInstance=2_8_32026.03 | 0.081 | |
| MathSAT5Instance=2_8_32026.03 | 0.084 | |
| SMTSInstance=2_2_02026.03 | 0.12 | |
| Z3Instance=4_8_72026.03 | 0.121 | |
| SMTSInstance=2_2_12026.03 | 0.122 | |
| Yices2Instance=4_8_72026.03 | 0.154 | |
| SMTSInstance=2_8_22026.03 | 0.167 | |
| SMTSInstance=2_8_32026.03 | 0.168 | |
| SMT-RATInstance=2_2_02026.03 | 0.213 | |
| SMT-RATInstance=2_2_12026.03 | 0.214 | |
| CVC5Instance=2_8_22026.03 | 0.269 | |
| CVC5Instance=2_8_32026.03 | 0.272 | |
| Z3PPInstance=4_8_72026.03 | 0.28 | |
| SMTSInstance=4_8_72026.03 | 0.348 | |
| MathSAT5Instance=4_8_72026.03 | 1.367 | |
| CVC5Instance=4_8_72026.03 | 3.475 | |
| FourierSMTInstance=2_2_02026.03 | 8.357 | |
| FourierSMTInstance=2_2_12026.03 | 8.462 | |
| FourierSMTInstance=2_8_22026.03 | 9.428 | |
| FourierSMTInstance=2_8_32026.03 | 9.538 | |
| FourierSMTInstance=4_8_72026.03 | 11.982 | |
| SMT-RATInstance=2_8_22026.03 | 857.466 |