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


FamilyOverallTimeReference solver
N#SU
Abduction 54130.52qsts
Adder 5404388.13xb-bid-qsts
blackbox-01X-QBF 55145.66xb-qsts
blackbox_design 55500.84quabs-picosat
Blocks 55230.19qsts
BMC 52020.02qsts
bomb 5312710.42xb-bid-qsts
C432 44400.57xb-qsts
C499 44400.36xb-bid-qsts
C5315 43300.47xb-bid-qsts
C6288 43301.19xb-qsts
C880 44220.56qsts
Chain 55050.11qsts
circuits 5330451.84xb-bid-qsts
conformant_planning 6431103.02xb-qsts
Connect4 5413429.39xb-bid-qsts
Counter 54402.29xb-qsts
DFlipFlop 55057.79qsts
dungeon 550520.92qsts
evader-pursuer-4x4-logarithmic 444029.2ghostq-plain
evader-pursuer-6x6-logarithmic 420295.54xb-qsts
evader-pursuer-8x8-logarithmic 4202570.36xb-qsts
FPGA_PLB_FIT_FAST 33212.03xb-qsts
FPGA_PLB_FIT_SLOW 22026.56xb-qsts
fpu 55058.3qsts
Generalized-Tic-Tac-Toe 55059.82qsts
HardwareFixpoint 552360.67xb-bid-qsts
Impl 55500.08qsts
incrementer-encoder 55143.96qsts
irqlkeapclte 54401604.25ghostq-cegar
ISCAS89 333062.46xb-qsts
ITC99 5330123.74ghostq-cegar
jmc_quant_squaring 51018xb-qsts
k_branch_n 55507.94xb-qsts
k_branch_p 550516.38xb-qsts
k_d4_n 55500.34qsts
k_d4_p 55050.23qsts
k_dum_n 55500.14qsts
k_dum_p 55050.09qsts
k_grz_n 55500.14qsts
k_grz_p 55050.17qsts
k_lin_n 55500.8qsts
k_lin_p 55050.08qsts
k_path_n 55500.13qsts
k_path_p 55050.11qsts
k_ph_n 55320.22qsts
k_ph_p 540459.15xb-bid-qsts
k_poly_n 55500.28qsts
k_poly_p 55050.24qsts
k_t4p_n 55500.53qsts
k_t4p_p 55050.37qsts
LinearBitvectorRankingFunction 510130.25rareqs-nn
Logn 22022.12qsts
mqm 136136513131.38qsts
MutexP 44400.1qsts
NuSMV_diam 929281112.77qsts
Planning-CTE 31100.52qsts
QBF-Hardness 541330.14quabs-picosat
qbfeval12 22020.45ghostq-plain
QLTL_safety 250250250023.53xb-qsts
Qshifter 322028.08xb-bid-qsts
RankingFunctions 55503.4xb-qsts
Reduction-finding 53033.34ghostq-cegar
Rewriting 55050.02quabs-minisat
s1196 33121.67qsts
s1269 55140.36qsts
s27 22020quabs-minisat
s298 55230.56qsts
s3330 55050.5qsts
s386 55230.2qsts
s499 55230.25qsts
s510 55230.35qsts
s641 55320.66qsts
s713 55321.23qsts
s820 55230.26qsts
Sorting_networks 5321181.51xb-bid-qsts
SzymanskiP 5505700.77qsts
term1 44400.62xb-qsts
terminator 55050.51quabs-minisat
tipdiam 55320.14qsts
tipfixpoint 55410.45qsts
ToiletA 55053.81ghostq-plain
ToiletC 551411.24quabs-minisat
ToiletG 44400.02quabs-minisat
trafficlight-controller 55056.57qsts
Tree 55140.11qsts
uclid 22200.24xb-bid-qsts
VonNeumann 550512.3qsts
wmiforward 55501.02ghostq-cegar
z4ml 44310quabs-picosat