QBF Solver Evaluation Portal
qbflib.orgFamily BoundedSynthesisPetriGames results for solvers
QBFEVAL'18 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Cqesto_2018 | 11818.03 | 236.36 | 331.08 | 21.31 | 417.97 | 0.86 |
| GhostQ_PG___cegar_qcir_2018 | 20794.86 | 415.9 | 396.92 | 168.1 | 875.41 | 0.66 |
| GhostQ_PG___plain_qcir_2018 | 29143.7 | 582.87 | 364.56 | 900.01 | 772.96 | 0.48 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 10103.48 | 202.07 | 302.08 | 41.25 | 201.23 | 0.9 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 10067.3 | 201.35 | 301.64 | 42.58 | 225.92 | 0.9 |
| PortfolioGhostQQfunQuAbSQute___pfs | 10004.43 | 200.09 | 301.59 | 43.19 | 202.77 | 0.82 |
| QFUN | 21537.28 | 430.75 | 402.11 | 265.56 | 879.34 | 0.6 |
| Quabs_2018 | 13199.12 | 263.98 | 328.77 | 76.22 | 431.6 | 0.86 |
| quabs___caqe-bloqqer | 45001.46 | 900.03 | 0.03 | 900.02 | 0.03 | 0 |
| quabs___caqe-hqspre | 33061.9 | 661.24 | 374.86 | 900.01 | 788.51 | 0.32 |
| Qute_hybrid | 33163.19 | 663.26 | 326.22 | 900.01 | 560.94 | 0.42 |
| Qute_opt617 | 36278.07 | 725.56 | 317.5 | 900.03 | 234.43 | 0.28 |
| Qute_opt993 | 26694.83 | 533.9 | 388.69 | 750.84 | 850.22 | 0.5 |