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

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86268005.68
amba87200
arithmetic54938.78
blackbox-01X-QBF78755423.65
BMC7359625.4
C4322118900
C4993127900
C531551136844.08
C62886760300
C8806054000
circuits7365700
conformant_planning5852200
Connect21900
Connect31900
Connect436131501.53
Connect521933.53
Connect621904.23
Connect721800
Connect82230.66
Counter19113699.4
cycle-sched87200
Debug9484600
disjunctive_decomposition513515.13
driver815491.66
dungeon6011435613.66
evader-pursuer-4x4-logarithmic1014726.3
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1210800
fpu2020512.54
genbuf87200
Generalized-Tic-Tac-Toe2018000
genpatch54500
HardwareFixpoint54144677.59
hwmcc823110.96
hyperLTL4110.66
incrementer-encoder352119939.18
irqlkeapclte8172900
ISCAS89422290.62
ITC99374120205.8
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p6154900
k_ph_p5852200
LinearBitvectorRankingFunction73258285.02
ltl2aig-comp87200
LTL2DBA411816.22
LTL2DPA411892.24
mqm2522500
mult-matrix87200
Planning-CTE53639312.04
QBF-Hardness3027000
qbfeval1276300
RankingFunctions21800
Reduction-finding29122706.45
s11961511568.72
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks5751300
SzymanskiP197659.43
terminator4237800
tipdiam5549500
tipfixpoint5852200
toy823615.1
trafficlight-controller1010868.19
uclid3027000