quabs-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135408.81
Adder52126390.62
blackbox-01X-QBF35566.08
blackbox_design4157.04
Blocks48226136.31
BMC411116243.75
bomb281113382.75
C4324022233.8
C49942120390.3
C5315441210942.86
C62884124588.11
C88042119311.72
Chain48124647.28
circuits38119193.52
conformant_planning471119195.92
Connect43428742.84
Counter3038002.22
Debug4627586.66
DFlipFlop3951975.64
dungeon31212692.71
evader-pursuer-4x4-logarithmic34213581.25
evader-pursuer-4x4-standard4023989.4
evader-pursuer-6x6-logarithmic3722189.27
evader-pursuer-6x6-standard3621591.36
evader-pursuer-8x8-logarithmic39118095.19
FPGA_PLB_FIT_FAST242139.52
FPGA_PLB_FIT_SLOW1810798.38
fpu273504.37
Generalized-Tic-Tac-Toe2614684.6
HardwareFixpoint3219190.78
Impl3951.42
incrementer-encoder31212642.26
irqlkeapclte4627587.56
ISCAS891623603.16
ITC9933116792.03
jmc_quant_squaring5130586.21
k_branch_n3849201.18
k_branch_p425833.88
k_d4_n385138.34
k_d4_p39530.46
k_dum_n36513.63
k_dum_p3957.8
k_grz_n3956.52
k_grz_p34511.68
k_lin_n34562.13
k_lin_p3250.63
k_path_n38520.17
k_path_p38516.59
k_ph_n37577.9
k_ph_p38312892.37
k_poly_n36566.13
k_poly_p36538.13
k_t4p_n355125.65
k_t4p_p46571.92
LinearBitvectorRankingFunction3520989.85
Logn1921325.55
mqm45311346260.26
MutexP47451.52
NuSMV_diam27592125.88
Planning-CTE1918488.26
QBF-Hardness29134386.13
qbfeval1210218.2
QLTL_safety300358443.5
Qshifter33114394.24
RankingFunctions3319806.57
Reduction-finding31310520.74
Rewriting2550.1
s11962512338.01
s126937213250.47
s272120
s298342385.19
s33304139607.56
s386382310.67
s499333235.56
s51033592.99
s6413532223.67
s7134232304.35
s820372336.23
Sorting_networks4929385.79
SzymanskiP4857996.54
term13822201.33
terminator3739601.38
tipdiam39310195.69
tipfixpoint384110.24
ToiletA27524.57
ToiletC26141008.12
ToiletG2740.2
trafficlight-controller255554.3
Tree39141.03
uclid2213193.62
VonNeumann40310722.92
wmiforward39214394.44
z4ml32310