Solver performances for family instances
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


FamilyOverallTimeReference solver
N#SU
Abduction 10945103.67caqe-picosat-cert
Adder 102020.16depqbf-cert-v2
blackbox-01X-QBF 10707100.76depqbf-cert-v1
Blocks 10103773.18caqe-minisat-cert
BMC 10523284.76depqbf-cert-v2
bomb 103307.25depqbf-cert-v2
C432 843131.86depqbf-cert-v2
C499 8431197.26caqe-picosat-cert
C5315 83214.1caqe-minisat-cert
C880 82201.22depqbf-cert-v2
Chain 10440558.66cheq
circuits 101100.11depqbf-cert-v2
conformant_planning 10541108.57depqbf-cert-v2
Connect4 1060658.56depqbf-cert-v2
Counter 10880731.76caqe-picosat-cert
DFlipFlop 101001016.36depqbf-cert-v2
dungeon 1030331.53depqbf-cert-v1
evader-pursuer-4x4-logarithmic 77706.38depqbf-cert-v2
evader-pursuer-6x6-logarithmic 8404109.05depqbf-cert-v1
evader-pursuer-6x6-standard 810168.82depqbf-cert-v1
evader-pursuer-8x8-logarithmic 8404119.64depqbf-cert-v1
FPGA_PLB_FIT_FAST 55414.06depqbf-cert-v2
FPGA_PLB_FIT_SLOW 321198.66cheq
fpu 1010010452.83depqbf-cert-v2
Generalized-Tic-Tac-Toe 10716170.1caqe-picosat-cert
Impl 10101000.1cheq
incrementer-encoder 1060616.14depqbf-cert-v2
ISCAS89 865129.97depqbf-cert-v2
ITC99 72110.71depqbf-cert-v2
k_branch_n 1022015.72cheq
k_branch_p 10101118.72depqbf-cert-v1
k_d4_n 1033047.22cheq
k_d4_p 10100101.22depqbf-cert-v1
k_dum_n 10440132.4cheq
k_dum_p 10909120.1depqbf-cert-v1
k_grz_n 10330521.84cheq
k_grz_p 10808193.09depqbf-cert-v1
k_lin_n 10660793.21cheq
k_lin_p 10100104.83depqbf-cert-v2
k_path_n 1022022.35cheq
k_path_p 102020.4depqbf-cert-v1
k_ph_n 1010100674.8cheq
k_ph_p 103030.23caqe-minisat-cert
k_poly_n 101101.06cheq
k_poly_p 10100100.93depqbf-cert-v2
k_t4p_p 1010125.81depqbf-cert-v1
Logn 440433.48caqe-minisat-cert
mqm 10624139.93cheq
MutexP 733073.22cheq
Planning-CTE 72200.72depqbf-cert-v2
QBF-Hardness 10707448.76caqe-picosat-cert
qbfeval12 55141.09caqe-minisat-cert
Qshifter 61100.17cheq
Reduction-finding 104139.55depqbf-cert-v2
Rewriting 10100100.47cheq
s27 441332.6caqe-picosat-cert
Sorting_networks 10532131.25depqbf-cert-v2
SzymanskiP 10909453.42cheq
term1 8743335.28depqbf-cert-v2
terminator 107076.47depqbf-cert-v1
tipdiam 1044057.69cheq
tipfixpoint 103032.44depqbf-cert-v2
ToiletA 1010372.27cheq
ToiletC 101019178.39caqe-minisat-cert
ToiletG 77700.12cheq
trafficlight-controller 10808265.02cheq
Tree 1010286.76cheq
VonNeumann 1010010184.24caqe-minisat-cert
wmiforward 103300.03cheq
z4ml 88440.21caqe-minisat-cert