Family toy results for solvers
QBFEVAL'18 - Prenex 2QBF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v3198.2639.6578.800.51
aspq3alt266.9253.38101.932.392.511
ASPQ_2018267.7553.55102.222.392.511
CADET_201774.0414.8120.367.375.651
Caqe-bloqqer204.6840.9481.87001
Caqe-bloqqer-qdo2050.83410.17408.61235.88560.520.6
Caqe-hqspre906.2181.24359.392.411.810.8
Cued_2_2018909.84181.97359.032.412.520.8
Cued_3_2018909.86181.97359.022.442.520.8
depqbf_prefix_opt_qdo3777.06755.41289.21900361.520.2
depqbf_pre_QxQBH7.781.561.381.612.341
GhostQ-PG_cegar4500.06900.010.01900.010.010
GhostQ-PG_plain3700.54740.11319.88900.03399.870.2
Heretiq-cube221.1444.2355.18046.961
Heretiq-simple296.6359.3380.74046.321
ijtihad1800.01360440.9104500.6
Iprover-HQSpre-Bloqqer6.921.381.261.292.051
PortfolioDepQBFGhostQRaReQSQute___pf996.17199.23350.6835.5829.950.8
predyndep145.7129.1452.792.772.791
Qute_default939.46187.89356.253.1315.620.8
Qute_opt500943.17188.63355.973.117.490.8
Qute_random943.1188.62355.953.1217.480.8
Rareqs_2018155.2931.0662.12001