rev_qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23118082.64
Adder86266644.76
amba815434.42
arithmetic54900.04
blackbox-01X-QBF7820740.95
BMC733235723.81
C4322125.61
C4993128125.96
C5315511126235.48
C628867243475.6
C88060418036.01
circuits73165288.48
conformant_planning581420925.44
Connect21900
Connect31900
Connect436131500.05
Connect521900.63
Connect621900.06
Connect721800
Connect8220.5
Counter19116200.12
cycle-sched816954.78
Debug9484287.12
disjunctive_decomposition531800.17
driver8220.74
dungeon601643969.98
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1275473.37
fpu202023.38
genbuf824443.34
Generalized-Tic-Tac-Toe20117815.67
genpatch532110.24
HardwareFixpoint542238987.01
hwmcc821934.92
hyperLTL4110
incrementer-encoder35161141.01
irqlkeapclte81104406.29
ISCAS89412907.55
ITC99377110228.54
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p61145007.04
k_ph_p58249371.9
LinearBitvectorRankingFunction73255180.15
ltl2aig-comp823921.8
LTL2DBA4112.02
LTL2DPA4116.98
mqm2522500
mult-matrix815400.5
Planning-CTE5311831573.13
QBF-Hardness30126103.75
qbfeval127334.99
RankingFunctions220.12
Reduction-finding291120819.26
s11961523270.6
s12691517684.82
s2981411385.14
s33301918579.3
s4991311577.08
s510921719.81
s6411611245.92
s7131521999.62
s8201411903.77
sketch54500
Sorting_networks572219792.44
SzymanskiP192842.55
terminator42229751.28
tipdiam555317243.32
tipfixpoint58910113.34
toy82260.48
trafficlight-controller10759.5
uclid301111507.49