ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86266610.32
amba824345.72
arithmetic54900.05
blackbox-01X-QBF781036964.06
BMC734234370.54
C43221248.12
C4993127900
C531551135123.4
C62886760300
C88060242694.11
circuits73160044.64
conformant_planning58524147.32
Connect21113.85
Connect31900
Connect436131500.06
Connect521900.64
Connect621900.06
Connect721800
Connect8220.5
Counter19211706.47
cycle-sched824434.68
Debug94277067.33
disjunctive_decomposition531800.17
driver8220.82
dungeon601642642.49
evader-pursuer-4x4-logarithmic101837.4
evader-pursuer-4x4-standard64425348.28
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1238188.81
fpu202023.7
genbuf826396.7
Generalized-Tic-Tac-Toe20315738.82
genpatch5113034.34
HardwareFixpoint542344109.79
hwmcc823624.36
hyperLTL4110
incrementer-encoder35211203.2
irqlkeapclte8172900
ISCAS894223.34
ITC99372130717.94
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n37313453.64
k_branch_p6169391.48
k_ph_p5852200
LinearBitvectorRankingFunction73354011.44
ltl2aig-comp823668.8
LTL2DBA4110.62
LTL2DPA4113.4
mqm2522500
mult-matrix815400.52
Planning-CTE532279380.21
QBF-Hardness30225225.95
qbfeval12715400.01
RankingFunctions220.12
Reduction-finding29121602.25
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks572219907.84
SzymanskiP192838
terminator4286363.27
tipdiam5549500
tipfixpoint5852200
toy82247.12
trafficlight-controller101019.68
uclid3027000