Solver performances for family instances
QBFEVAL'17 - Random QBFs Track


FamilyOverallTimeReference solver
N#SU
CombinationalEquivalence 303015151430.78QELL_default
CounterFactual 3140412.99Qute_opt500
Model_instances 4622175696.47Qute_default
PositionalGames_gttt 64393904310.5qbfrelay-limited-depqbf
PositionalGames_hex 49131034095.28xb-qsts_xbqsts1.0
Q_2_2_3 50000 - -
Q_2_3 4713013528.42prefix-opt-depqbf
Q_3_3 50000 - -
Q_3_3_3 50110320.91AIGSolve
RobotsD2 5550775.05rareqs
Selection-hard 10550234.93caqe_2017_v3
Strategic_Companies 40130132481.31rareqs
wgrowing 339902451.4caqe_2017_v1