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

Family# Total# Sat# UnsatTime
Abduction2623400
Adder1141280542.36
amba2219800
arithmetic2244502.7
blackbox-01X-QBF1331073974.66
BMC98184788.9
C4322118900
C4993127900
C531557148850.8
C62887668400
C8806054000
circuits8475600
conformant_planning6054000
Connect21900
Connect321800
Connect443137800.3
Connect521902.86
Connect6311800.24
Connect743600
Connect8222.22
Counter22214630.93
cycle-sched2421600
Debug125112500
disjunctive_decomposition2337204.45
driver182223.36
dungeon1151687784.58
evader-pursuer-4x4-logarithmic101870.7
evader-pursuer-4x4-standard65345271.58
evader-pursuer-6x6-logarithmic5045000
evader-pursuer-6x6-standard7769300
evader-pursuer-8x8-logarithmic5145900
formula_add39232138.47
fpu2020102.74
genbuf2219800
Generalized-Tic-Tac-Toe32126901.42
genpatch20114411.24
HardwareFixpoint1252770176.11
hwmcc16212755.08
hyperLTL4110.2
incrementer-encoder552118259.01
irqlkeapclte121108900
ISCAS89722998.8
ITC99575131112.7
jmc_quant65400
jmc_quant_squaring9888200
k_branch_n56511063.9
k_branch_p85614765.1
k_ph_p8072000
LinearBitvectorRankingFunction119391802.06
ltl2aig-comp19112731.72
LTL2DBA91110.49
LTL2DPA101136.59
mqm3430600
mult-matrix24115351.94
Planning-CTE1317105194.97
QBF-Hardness6054000
qbfeval12715400.09
RankingFunctions221.12
Reduction-finding45139399.81
s11961513500
s12691713383.61
s2981412600
s33302118900
s4991311700
s51098100
s6411614400
s7131513500
s8201513500
sketch1614400
Sorting_networks8172900
SzymanskiP2522500
terminator7870200
tipdiam8576500
tipfixpoint93173853.46
toy142246.76
trafficlight-controller1010438.42
uclid3027000