ijtihad_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2623400
Adder106281014.7
amba18210491.44
arithmetic1743600.17
blackbox-01X-QBF1181054994.78
BMC924241848.8
C43221248.12
C4993127900
C531554137823.4
C62887163900
C88060242694.11
circuits84169944.64
conformant_planning60525947.32
Connect21113.85
Connect321800
Connect443137800.06
Connect521900.64
Connect6311800.06
Connect743600
Connect8220.5
Counter22214406.47
cycle-sched1829286.7
Debug115293541.27
disjunctive_decomposition1835400.68
driver14221.54
dungeon1051678872.19
evader-pursuer-4x4-logarithmic101837.4
evader-pursuer-4x4-standard65426248.28
evader-pursuer-6x6-logarithmic4843200
evader-pursuer-6x6-standard7264800
evader-pursuer-8x8-logarithmic4843200
formula_add29321692.45
fpu202023.7
genbuf18214369.56
Generalized-Tic-Tac-Toe32323815.64
genpatch15119103.02
HardwareFixpoint1092385539.01
hwmcc1429024.36
hyperLTL4110
incrementer-encoder50211233.21
irqlkeapclte11199900
ISCAS896228.16
ITC99502140843.4
jmc_quant54500
jmc_quant_squaring9484600
k_branch_n51319139.13
k_branch_p80613119.73
k_ph_p7567500
LinearBitvectorRankingFunction110381016.61
ltl2aig-comp1525539.73
LTL2DBA7111.22
LTL2DPA8117.48
mqm3127900
mult-matrix18111701.3
Planning-CTE10722720019.93
QBF-Hardness50239677.85
qbfeval12715400.01
RankingFunctions220.12
Reduction-finding45134203.15
s11961513500
s12691614400
s2981412600
s33302018000
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch1412600
Sorting_networks752227050.08
SzymanskiP2321010.08
terminator6989101.64
tipdiam7769300
tipfixpoint8374700
toy1222140.4
trafficlight-controller101019.68
uclid3027000