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

Family# Total# Sat# UnsatTime
Abduction2623400
Adder114288794.36
amba2219800
arithmetic2244691.74
blackbox-01X-QBF133794075.25
BMC9876918.57
C4322118900
C4993127900
C531557142244.08
C62887668400
C8806054000
circuits8475600
conformant_planning6054000
Connect21900
Connect321800
Connect443137801.53
Connect521933.53
Connect6311804.23
Connect743600
Connect82230.66
Counter22116399.4
cycle-sched2421600
Debug125112500
disjunctive_decomposition23115947.43
driver18114491.66
dungeon11511467630.69
evader-pursuer-4x4-logarithmic1014726.3
evader-pursuer-4x4-standard6558500
evader-pursuer-6x6-logarithmic5045000
evader-pursuer-6x6-standard7769300
evader-pursuer-8x8-logarithmic5145900
formula_add3935100
fpu2020512.54
genbuf2219800
Generalized-Tic-Tac-Toe3228800
genpatch2018000
HardwareFixpoint1251104955.08
hwmcc1629230.6
hyperLTL4110.66
incrementer-encoder5521115805.18
irqlkeapclte121108900
ISCAS89722534.85
ITC99574132200.73
jmc_quant65400
jmc_quant_squaring9888200
k_branch_n5650400
k_branch_p8576500
k_ph_p8072000
LinearBitvectorRankingFunction119295330.69
ltl2aig-comp1917100
LTL2DBA916316.22
LTL2DPA1016438.36
mqm3430600
mult-matrix2421600
Planning-CTE1316105069.37
QBF-Hardness6054000
qbfeval1276300
RankingFunctions21800
Reduction-finding45135749.03
s11961511568.72
s12691715300
s2981412600
s33302118900
s4991311700
s51098100
s6411614400
s7131513500
s8201513500
sketch1614400
Sorting_networks8172900
SzymanskiP2510074.34
terminator7870200
tipdiam8576500
tipfixpoint9383700
toy1429015.1
trafficlight-controller1010868.19
uclid3027000