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


FamilyOverallTimeReference solver
N#SU
amba 221163.91quabs___caqe-bloqqer
ASP_Equivalence_Checking 2518991036.76GhostQ_PG___plain_qcir_2018
bomb 3211400.67QFUN
BoundedSynthesisPetriGames 504527185566.96PortfolioGhostQQfunQuAbSQute___pf3
chess_composing 8000 - -
chess_solving 259902271.91GhostQ_PG___plain_qcir_2018
CombinationalEquivalence 252513126.02QFUN
Counter 21103.89quabs___caqe-bloqqer
cycle-sched 2110249.28quabs___caqe-hqspre
driver 22020quabs___caqe-bloqqer
dungeon 3202778.05quabs___caqe-bloqqer
evader-pursuer-4x4-logarithmic 22207.19Qute_opt993
evader-pursuer-4x4-standard 111015.75quabs___caqe-hqspre
evader-pursuer-6x6-logarithmic 32021017.75quabs___caqe-bloqqer
evader-pursuer-8x8-logarithmic 11015.27quabs___caqe-bloqqer
genbuf 4303146.92quabs___caqe-bloqqer
HardwareFixpoint 33211.58quabs___caqe-bloqqer
hwmcc 641319.3quabs___caqe-bloqqer
incrementer-encoder 33120Cqesto_2018
jctc 171064756.65QFUN
jmc_quant_squaring 4101268.88Qute_opt993
k_branch_n 22201.49quabs___caqe-bloqqer
k_branch_p 33030.04quabs___caqe-bloqqer
k_ph_n 11100Qute_hybrid
k_ph_p 210126.7QFUN
LinearBitvectorRankingFunction 51010QFUN
ltl2aig-comp 530324.26quabs___caqe-bloqqer
LTL2DPA 33121.64quabs___caqe-bloqqer
Model_instances 25171432832.67quabs___caqe-bloqqer
mult-matrix 42200quabs___caqe-bloqqer
PetriGames 2510010515.77quabs___caqe-bloqqer
Planning-CTE 2202537.9QFUN
Qshifter 11101.5quabs___caqe-bloqqer
Random-qcir-1000-50 25250250quabs___caqe-bloqqer
RankingFunctions 33300quabs___caqe-bloqqer
Reduction-finding 252210121411.72Cqesto_2018
Sorting_networks 4413216.43quabs___caqe-bloqqer
tipdiam 2101227.77QFUN
toy 55320.01quabs___caqe-bloqqer