ijtihad_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86266610.32
amba824247.58
arithmetic54900.06
blackbox-01X-QBF78939659.04
BMC734234440.95
C43221250.01
C4993127900
C531551135123.16
C62886760300
C88060242052.29
circuits73160050.48
conformant_planning58524152.2
Connect21113.79
Connect31900
Connect436131500.06
Connect521900.64
Connect621900.06
Connect721800
Connect8220.5
Counter19211706.42
cycle-sched824482.06
Debug94279231.26
disjunctive_decomposition531800.17
driver8220.78
dungeon601642645.8
evader-pursuer-4x4-logarithmic10182.7
evader-pursuer-4x4-standard64425580.66
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1238114.57
fpu202023.62
genbuf826609.9
Generalized-Tic-Tac-Toe20315363.73
genpatch5113032.74
HardwareFixpoint542344110.84
hwmcc823624.56
hyperLTL4110
incrementer-encoder35211201.6
irqlkeapclte8172900
ISCAS894223.34
ITC99372130772.44
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n37315632.93
k_branch_p6169057.54
k_ph_p5852200
LinearBitvectorRankingFunction73354011.24
ltl2aig-comp823668.82
LTL2DBA4110.62
LTL2DPA4113.38
mqm2522500
mult-matrix815400.52
Planning-CTE532279511.04
QBF-Hardness30225274.46
qbfeval12715400.01
RankingFunctions220.13
Reduction-finding29121602.25
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks572219686.64
SzymanskiP192842.07
terminator4286373.64
tipdiam5549500
tipfixpoint5852200
toy8121800.54
trafficlight-controller101019.58
uclid3027000