SOTA views
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
Abduction109457.6345
Adder1031272.7321
blackbox-01X-QBF109940.96351
blackbox_design1010104.5928
Blocks1010373.5882
BMC10853600.8371
bomb105418.3123
C4328835164.9262
C4998633105.3442
C531584221.8931
C62888220.612
C8808826872.13215
Chain1010100.2573
circuits10110.031
conformant_planning10752239.62331
Connect4106620.8151
Counter1099215.94621
Debug10116001
DFlipFlop1010101.3682
dungeon10615700.54312
evader-pursuer-4x4-logarithmic7772.7652
evader-pursuer-4x4-standard77726.197
evader-pursuer-6x6-logarithmic866360.6133
evader-pursuer-6x6-standard822521.772
evader-pursuer-8x8-logarithmic855442.5923
FPGA_PLB_FIT_FAST55410.455
FPGA_PLB_FIT_SLOW331219.6121
fpu10101011.9737
Generalized-Tic-Tac-Toe101019578.45721
HardwareFixpoint1082696.5653
Impl1010100.0210
incrementer-encoder10716331.9761
irqlkeapclte1022134.282
ISCAS89776139.7161
ITC9973211.7821
jmc_quant_squaring10422240.384
k_branch_n10995.5736
k_branch_p10101012.3719
k_d4_n1010100.5337
k_d4_p1010100.3710
k_dum_n1010100.2646
k_dum_p1010100.2773
k_grz_n1010100.4310
k_grz_p1010100.3910
k_lin_n1010102.7610
k_lin_p1010100.3310
k_path_n1010100.346
k_path_p1010100.3228
k_ph_n10101023.8410
k_ph_p1085395.72314
k_poly_n1010100.2419
k_poly_p1010100.2410
k_t4p_n1010100.5319
k_t4p_p1010100.4519
LinearBitvectorRankingFunction10000 -
Logn4443.7613
mqm10105556.2519
MutexP7770.3834
Planning-CTE732138.321
QBF-Hardness10101922.3873
qbfeval1265140.1751
Qshifter6665.3933
RankingFunctions1010100.4155
Reduction-finding107254.7252
Rewriting1010100.1246
s11966615714.616
s1269104412.0831
s2744130.324
s29810972605.47171
s33301033369.723
s38610105569.6910
s499109721322.7181
s5101044582.3231
s64199548.629
s71310105513.6410
s820108531567.3653
Sorting_networks1074357.7616
SzymanskiP10101023.56262
term188442.218
terminator1010193.02181
tipdiam107614.53412
tipfixpoint1085316.1435
ToiletA1010371.3919
ToiletC1010195.9328
ToiletG7770.017
trafficlight-controller10101042.61631
Tree101028010
uclid321144.162
VonNeumann1010105.4337
wmiforward1010100.2746
z4ml88440.148