Solver performances for family instances
QBFEVAL'18 - Prenex CNF Track


FamilyOverallTimeReference solver
N#SU
Adder 1010100226.37Qute_opt500
amba 2211191.1Rareqs_2018
arithmetic 444012.69predyndep
blackbox-01X-QBF 202002032.22Rareqs_2018
BMC 101073176.2Rareqs_2018
CombinationalEquivalence 202010101214.31GhostQ-PG_cegar
cycle-sched 4321424.25Rareqs_2018
Debug 107702852.22Caqe-hqspre
disjunctive_decomposition 44311.97Caqe-bloqqer
driver 22200Caqe-bloqqer
dungeon 2121021443.04Iprover-HQSpre-Bloqqer
formula_add 76601062.41Rareqs_2018
fpu 101001012.76Rareqs_2018
genbuf 3330352.12Qute_random
Generalized-Tic-Tac-Toe 101037561.8Caqe-bloqqer
genpatch 5532710.66GhostQ-PG_cegar
HardwareFixpoint 1514113127.67GhostQ-PG_cegar
hwmcc 211094.78Caqe-hqspre
incrementer-encoder 10101915.85Heretiq-simple
irqlkeapclte 1010100194.59predyndep
ISCAS89 1010643.79depqbf_prefix_opt_qdo
ITC99 10853221.55depqbf_pre_QxQBH
jmc_quant_squaring 66600Qute_opt500
k_branch_n 666050.79predyndep
k_branch_p 88082.65depqbf_prefix_opt_qdo
k_ph_p 5202395.9predyndep
LinearBitvectorRankingFunction 151064880.74Caqe-hqspre
ltl2aig-comp 220232.13Rareqs_2018
LTL2DBA 11100Qute_opt500
LTL2DPA 11101.07ijtihad
Model_instances 651459.89PortfolioDepQBFGhostQRaReQSQute___pf
mqm 1010100112.8Qute_default
mult-matrix 42201.82Caqe-hqspre
Planning-CTE 26262242197.71Iprover-HQSpre-Bloqqer
PositionalGames_gttt 1513130449.08predyndep
PositionalGames_hex 1510733118.54Caqe-bloqqer
QBF-Hardness 101019377.7Caqe-bloqqer
Q_2_3 2018018989.77PortfolioDepQBFGhostQRaReQSQute___pf
RankingFunctions 15151500Qute_default
Reduction-finding 10734827.89Caqe-bloqqer
Selection-hard 5550192.27Caqe-hqspre
sketch 106061346.96Rareqs_2018
Sorting_networks 101037880.16Caqe-bloqqer-qdo
SzymanskiP 220286.3Caqe-bloqqer
terminator 10101916.53Caqe-hqspre
tipdiam 10651207.08GhostQ-PG_plain
tipfixpoint 121091241.91GhostQ-PG_plain
toy 11100Caqe-bloqqer
trafficlight-controller 101001013.38Heretiq-cube
wgrowing 98801006.34Caqe-bloqqer
wmiforward 10101001.69Rareqs_2018