Qute_random results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23118192.9
Adder8677400
amba816431
arithmetic531800.18
blackbox-01X-QBF78840615.64
BMC733242383.69
C4322118900
C49931120704.5
C5315511126523.64
C628867152213.32
C88060144439.24
circuits73158614
conformant_planning58339991.76
Connect211491.22
Connect31900
Connect436131500.06
Connect521900.58
Connect621900.08
Connect721800
Connect8220.47
Counter19211806.9
cycle-sched87200
Debug94666052.66
disjunctive_decomposition5112706.51
driver82210.28
dungeon601251343.92
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard647850.02
evader-pursuer-6x6-logarithmic44235818.42
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1239216.81
fpu202044.83
genbuf87200
Generalized-Tic-Tac-Toe20314414.33
genpatch54500
HardwareFixpoint5421417254.99
hwmcc8122495
hyperLTL4110.06
incrementer-encoder351917167.42
irqlkeapclte8172900
ISCAS894227.39
ITC99373124327.79
jmc_quant43600
jmc_quant_squaring77166108.3
k_branch_n3765556.42
k_branch_p6186604.46
k_ph_p5852200
LinearBitvectorRankingFunction73554367.11
ltl2aig-comp815412.9
LTL2DBA411800.14
LTL2DPA411800.68
mqm2522500
mult-matrix87200
Planning-CTE532275409.32
QBF-Hardness30422245.17
qbfeval12721928.5
RankingFunctions222.82
Reduction-finding29125234.78
s11961513500
s12691513500
s2981416682.76
s33301917100
s4991311700
s51098100
s64116111733.2
s7131516071.67
s8201412600
sketch54500
Sorting_networks571140510.55
SzymanskiP1922148.16
terminator4218436.61
tipdiam55431519.8
tipfixpoint58717035.03
toy8223.04
trafficlight-controller101044.53
uclid3027000