quabs-minisat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135455.64
Adder52126388.04
blackbox-01X-QBF355122.57
blackbox_design41524.24
Blocks48226251.97
BMC411116339.09
bomb28113836.28
C43240221395.36
C49942120390.22
C531544212594.14
C62884124588.11
C88042119399.52
Chain48221170.48
circuits38119191.58
conformant_planning471119205.95
Connect43439716.98
Counter3038078.77
Debug4627586.66
DFlipFlop3951894.32
dungeon31212664.81
evader-pursuer-4x4-logarithmic34214790.57
evader-pursuer-4x4-standard4023988.4
evader-pursuer-6x6-logarithmic3722189.27
evader-pursuer-6x6-standard3621589.65
evader-pursuer-8x8-logarithmic3923388.69
FPGA_PLB_FIT_FAST242136.8
FPGA_PLB_FIT_SLOW1822296.2
fpu273830.81
Generalized-Tic-Tac-Toe2614459.89
HardwareFixpoint3219190.72
Impl3951.89
incrementer-encoder31212625.11
irqlkeapclte4627586.66
ISCAS89169595.41
ITC993319790.93
jmc_quant_squaring5130585.31
k_branch_n3847528.32
k_branch_p4247889.65
k_d4_n38575.3
k_d4_p39538.16
k_dum_n36510.52
k_dum_p3955.77
k_grz_n39512.55
k_grz_p3458.36
k_lin_n34527.91
k_lin_p3252.06
k_path_n3858.77
k_path_p3856.78
k_ph_n3745399.06
k_ph_p38311685.24
k_poly_n36523.1
k_poly_p36522.83
k_t4p_n355141.33
k_t4p_p46583.27
LinearBitvectorRankingFunction3520990.55
Logn1921224.69
mqm453113311834.68
MutexP47122189.67
NuSMV_diam2759283.7
Planning-CTE19111373.51
QBF-Hardness29134655.35
qbfeval121028.3
QLTL_safety300543201.84
Qshifter33114394.24
RankingFunctions3319790.43
Reduction-finding3139681.61
Rewriting2550.1
s1196251297.35
s126937213197.73
s272120
s298342324.95
s33304139604.38
s38638234.45
s499333215.48
s51033561.16
s641353259.23
s713423292.12
s820372321.34
Sorting_networks49126540.99
SzymanskiP4828786.08
term13822131.65
terminator3754.49
tipdiam39317034.31
tipfixpoint38413.6
ToiletA27523.45
ToiletC261456.35
ToiletG2740.13
trafficlight-controller255223.7
Tree39142.44
uclid2213193.62
VonNeumann40310678.02
wmiforward39312343.34
z4ml32310.08