iProver-qbf-bloqqer-2017-07-27-v3 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder861261753.45
amba87200
arithmetic54900.57
blackbox-01X-QBF781043735.57
BMC73163219.2
C4322118900
C4993127900
C531551143450.8
C62886760300
C8806054000
circuits7365700
conformant_planning5852200
Connect21900
Connect31900
Connect436131500.3
Connect521902.86
Connect621900.24
Connect721800
Connect8222.22
Counter19211930.93
cycle-sched87200
Debug9484600
disjunctive_decomposition531800.89
driver8229.46
dungeon601642617.88
evader-pursuer-4x4-logarithmic101870.7
evader-pursuer-4x4-standard64344371.58
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1229295.85
fpu2020102.74
genbuf87200
Generalized-Tic-Tac-Toe20117367.14
genpatch513602.81
HardwareFixpoint542731593.35
hwmcc825555.08
hyperLTL4110.2
incrementer-encoder352115117.82
irqlkeapclte8172900
ISCAS89422352.24
ITC99375121016.53
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3758250.21
k_branch_p6169266.09
k_ph_p5852200
LinearBitvectorRankingFunction73357337.92
ltl2aig-comp815951.92
LTL2DBA4114.34
LTL2DPA41113.86
mqm2522500
mult-matrix815414.84
Planning-CTE53739497.85
QBF-Hardness3027000
qbfeval12715400.09
RankingFunctions221.12
Reduction-finding29125314.15
s11961513500
s12691511583.61
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks5751300
SzymanskiP1917100
terminator4237800
tipdiam5549500
tipfixpoint58145038.88
toy82216.58
trafficlight-controller1010438.42
uclid3027000