Continuous Time Scheduling on continuous time scheduling benchmark
0.028RuntimeYices2
Evaluation results
| Method | Links | |
|---|---|---|
| Yices2Instance=16.2.72026.03 | 0.028 | |
| Yices2Instance=16.2.22026.03 | 0.03 | |
| Yices2Instance=16.2.42026.03 | 0.032 | |
| Yices2Instance=16.2.52026.03 | 0.033 | |
| Yices2Instance=16.2.92026.03 | 0.034 | |
| Yices2Instance=16.2.62026.03 | 0.035 | |
| Yices2Instance=16.2.82026.03 | 0.037 | |
| Yices2Instance=16.2.32026.03 | 0.044 | |
| Yices2Instance=16.2.12026.03 | 0.062 | |
| Z3Instance=16.2.72026.03 | 0.078 | |
| Z3Instance=16.2.62026.03 | 0.079 | |
| Z3Instance=16.2.12026.03 | 0.083 | |
| Z3Instance=16.2.82026.03 | 0.083 | |
| Z3Instance=16.2.42026.03 | 0.086 | |
| Z3Instance=16.2.52026.03 | 0.086 | |
| Z3Instance=16.2.22026.03 | 0.092 | |
| Z3Instance=16.2.92026.03 | 0.093 | |
| Z3Instance=16.2.32026.03 | 0.096 | |
| Yices2Instance=16.3.02026.03 | 0.118 | |
| Z3PPInstance=16.2.42026.03 | 0.145 | |
| Z3PPInstance=16.2.62026.03 | 0.15 | |
| Z3PPInstance=16.2.72026.03 | 0.15 | |
| Z3PPInstance=16.2.22026.03 | 0.154 | |
| Z3PPInstance=16.2.92026.03 | 0.155 | |
| Z3Instance=16.3.02026.03 | 0.156 | |
| Z3PPInstance=16.2.52026.03 | 0.157 | |
| Z3PPInstance=16.2.32026.03 | 0.159 | |
| Z3PPInstance=16.2.82026.03 | 0.16 | |
| MathSAT5Instance=16.2.12026.03 | 0.163 | |
| Z3PPInstance=16.2.12026.03 | 0.163 | |
| SMTSInstance=16.2.82026.03 | 0.18 | |
| SMTSInstance=16.2.72026.03 | 0.182 | |
| SMTSInstance=16.2.92026.03 | 0.187 | |
| SMTSInstance=16.2.62026.03 | 0.19 | |
| SMTSInstance=16.2.52026.03 | 0.194 | |
| SMTSInstance=16.2.12026.03 | 0.195 | |
| SMTSInstance=16.2.42026.03 | 0.199 | |
| MathSAT5Instance=16.2.72026.03 | 0.199 | |
| CVC5Instance=16.2.72026.03 | 0.209 | |
| SMTSInstance=16.2.32026.03 | 0.212 | |
| Yices2Instance=16.2.02026.03 | 0.23 | |
| MathSAT5Instance=16.2.22026.03 | 0.252 | |
| CVC5Instance=16.2.42026.03 | 0.252 | |
| MathSAT5Instance=16.2.62026.03 | 0.253 | |
| CVC5Instance=16.2.92026.03 | 0.258 | |
| MathSAT5Instance=16.2.42026.03 | 0.261 | |
| MathSAT5Instance=16.2.92026.03 | 0.261 | |
| CVC5Instance=16.2.52026.03 | 0.266 | |
| CVC5Instance=16.2.32026.03 | 0.267 | |
| CVC5Instance=16.2.22026.03 | 0.288 | |
| CVC5Instance=16.2.62026.03 | 0.288 | |
| MathSAT5Instance=16.2.02026.03 | 0.299 | |
| MathSAT5Instance=16.2.82026.03 | 0.309 | |
| MathSAT5Instance=16.2.52026.03 | 0.323 | |
| MathSAT5Instance=16.2.32026.03 | 0.324 | |
| SMTSInstance=16.3.02026.03 | 0.324 | |
| Z3PPInstance=16.2.02026.03 | 0.331 | |
| CVC5Instance=16.2.12026.03 | 0.332 | |
| CVC5Instance=16.2.82026.03 | 0.34 | |
| SMTSInstance=16.2.22026.03 | 0.358 | |
| Z3PPInstance=16.3.02026.03 | 0.361 | |
| Z3Instance=16.2.02026.03 | 0.862 | |
| CVC5Instance=16.3.02026.03 | 1.089 | |
| SMTSInstance=16.2.02026.03 | 1.172 | |
| CVC5Instance=16.2.02026.03 | 1.179 | |
| MathSAT5Instance=16.3.02026.03 | 1.292 | |
| SMT-RATInstance=16.2.72026.03 | 2.04 | |
| SMT-RATInstance=16.2.62026.03 | 3.607 | |
| SMT-RATInstance=16.2.32026.03 | 5.562 | |
| SMT-RATInstance=16.2.92026.03 | 5.775 | |
| SMT-RATInstance=16.2.82026.03 | 6.266 | |
| SMT-RATInstance=16.2.42026.03 | 6.632 | |
| SMT-RATInstance=16.2.22026.03 | 7.262 | |
| SMT-RATInstance=16.2.52026.03 | 7.903 | |
| FourierSMTInstance=16.2.62026.03 | 9.193 | |
| FourierSMTInstance=16.2.52026.03 | 9.473 | |
| FourierSMTInstance=16.2.72026.03 | 9.749 | |
| FourierSMTInstance=16.2.92026.03 | 9.851 | |
| SMT-RATInstance=16.2.12026.03 | 9.952 | |
| SMT-RATInstance=16.2.02026.03 | 9.956 | |
| FourierSMTInstance=16.3.02026.03 | 10.349 | |
| FourierSMTInstance=16.2.82026.03 | 10.671 | |
| FourierSMTInstance=16.2.42026.03 | 11.105 | |
| FourierSMTInstance=16.2.32026.03 | 12.357 | |
| FourierSMTInstance=16.2.22026.03 | 12.897 | |
| FourierSMTInstance=16.2.12026.03 | 16.922 | |
| FourierSMTInstance=600.52026.03 | 18.77 | |
| FourierSMTInstance=600.62026.03 | 18.83 | |
| FourierSMTInstance=600.72026.03 | 18.84 | |
| FourierSMTInstance=600.82026.03 | 19.03 | |
| FourierSMTInstance=600.92026.03 | 19.24 | |
| FourierSMTInstance=700.02026.03 | 19.29 | |
| FourierSMTInstance=700.12026.03 | 19.43 | |
| FourierSMTInstance=700.22026.03 | 19.54 | |
| FourierSMTInstance=700.32026.03 | 19.57 | |
| FourierSMTInstance=700.42026.03 | 19.64 | |
| FourierSMTInstance=700.52026.03 | 19.67 | |
| FourierSMTInstance=700.62026.03 | 19.81 | |
| FourierSMTInstance=700.72026.03 | 19.83 | |
| FourierSMTInstance=700.82026.03 | 19.98 |