Family trafficlight-controller results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer14.81.480.421.480.681
Caqe-bloqqer-qdo215.3121.538.0620.5215.431
Caqe-hqspre29.692.971.732.61.81
Cued_2_20189000.37900.040.03900.030.030
Cued_3_20189000.41900.040.02900.040.020
depqbf_prefix_opt_qdo9000.57900.060.03900.060.040
depqbf_pre_QxQBH39.883.991.853.612.121
GhostQ-PG_cegar272.5527.2611.1227.1817.621
GhostQ-PG_plain9000.35900.040.03900.040.030
Heretiq-cube13.381.340.351.290.621
Heretiq-simple13.581.360.361.290.741
ijtihad13.531.350.361.280.791
Iprover-HQSpre-Bloqqer33.163.321.682.971.861
PortfolioDepQBFGhostQRaReQSQute___pf134.9413.4911.6610.022.011
predyndep238.0223.89.3522.4813.981
Qute_default30.33.033.432.181.441
Qute_opt50030.923.093.592.141.351
Qute_random30.33.033.422.091.371
Rareqs_201814.241.420.431.410.711