quabs-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136008.52
Adder63132987.93
blackbox-01X-QBF35566.08
blackbox_design4157.04
Blocks48226136.31
BMC461119242.6
bomb311115182.35
C4324022233.8
C49942120390.3
C5315461212142.48
C62884728186.37
C88042119311.72
Chain48124647.28
circuits41120992.75
conformant_planning471119195.92
Connect43629375.18
Counter3239201.84
Debug5834783.18
DFlipFlop3951975.64
dungeon40218090.4
evader-pursuer-4x4-logarithmic36214780.87
evader-pursuer-4x4-standard4124589.11
evader-pursuer-6x6-logarithmic4426387.24
evader-pursuer-6x6-standard4325789.63
evader-pursuer-8x8-logarithmic43119964.69
FPGA_PLB_FIT_FAST242139.52
FPGA_PLB_FIT_SLOW1810798.38
fpu273504.37
Generalized-Tic-Tac-Toe2814877.1
HardwareFixpoint4325787.59
Impl3951.42
incrementer-encoder43219838.78
irqlkeapclte6639582.16
ISCAS891623603.16
ITC9945123988.55
jmc_quant_squaring6438382.64
k_branch_n45412889.49
k_branch_p5251118.39
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_n39585.11
k_ph_p44316491.23
k_poly_n36566.13
k_poly_p36538.13
k_t4p_n355125.65
k_t4p_p46571.92
LinearBitvectorRankingFunction5331784.63
Logn1921325.55
mqm48311348071.36
MutexP47451.52
NuSMV_diam27592125.88
Planning-CTE27113285.98
QBF-Hardness35136240.7
qbfeval1210218.2
QLTL_safety300358443.5
Qshifter34114994.05
RankingFunctions3621608.39
Reduction-finding37314119.03
Rewriting2550.1
s11962512338.01
s126940215049.8
s272120
s298342385.19
s333042310207.27
s386382310.67
s499333235.56
s51033592.99
s6413532223.67
s7134232304.35
s820382337.33
Sorting_networks6639580.86
SzymanskiP4857996.54
term13822201.33
terminator41312000.22
tipdiam49314393.84
tipfixpoint474113.57
ToiletA27524.57
ToiletC26141008.12
ToiletG2740.2
trafficlight-controller255554.3
Tree39141.03
uclid2213193.62
VonNeumann40310722.92
wmiforward39214394.44
z4ml32310