caqe-picosat-par results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71457299.93
Adder115260600.3
blackbox-01X-QBF77716510.05
blackbox_design761063.76
Blocks88366122.68
BMC912142687.32
bomb51420758.35
C432733315782.38
C499763218623.16
C5315862134259.53
C628886240873.78
C88078236007.94
Chain82104.48
circuits75141400.18
conformant_planning792134215.61
Connect468619904.68
Counter5495876.53
Debug10361800
DFlipFlop7396462.51
dungeon73335561.16
evader-pursuer-4x4-logarithmic61517016.51
evader-pursuer-4x4-standard6539000
evader-pursuer-6x6-logarithmic74331496.9
evader-pursuer-6x6-standard7746200
evader-pursuer-8x8-logarithmic78333186.54
FPGA_PLB_FIT_FAST384126.38
FPGA_PLB_FIT_SLOW2512330.04
fpu4710150.61
Generalized-Tic-Tac-Toe541710307.66
HardwareFixpoint812328869.43
Impl74100.16
incrementer-encoder67624915.76
irqlkeapclte12172600
ISCAS8932513197.51
ITC99561128221.22
jmc_quant_squaring11870800
k_branch_n8897302.34
k_branch_p10396212.8
k_d4_n731025.32
k_d4_p72108.21
k_dum_n66103.34
k_dum_p74103.95
k_grz_n68109.69
k_grz_p70107.57
k_lin_n641064.71
k_lin_p65105.48
k_path_n67105.13
k_path_p67106.6
k_ph_n7410881.62
k_ph_p85437932.67
k_poly_n68104.07
k_poly_p64103.13
k_t4p_n711015.72
k_t4p_p761012.56
LinearBitvectorRankingFunction8651600
Logn2936632.8
mqm84337319.35
MutexP78753.96
Planning-CTE552123230.6
QBF-Hardness63187711.64
qbfeval1227143049.08
Qshifter62693.56
RankingFunctions611021.28
Reduction-finding652419891.63
Rewriting45100.54
s119644155811.89
s126976333484.98
s2736133.75
s298706213314.02
s333076334072.93
s38669552508.97
s499627213305.84
s51059325605.95
s64155543280
s71373557373.67
s820725319478.92
Sorting_networks1103338941.58
SzymanskiP99822131.25
term169441548.92
terminator86532008.68
tipdiam86437205.65
tipfixpoint813226433.95
ToiletA483711.87
ToiletC4819503.83
ToiletG4370.07
trafficlight-controller4585940.92
Tree74280
uclid3018000
VonNeumann7510101.15
wmiforward74107.16
z4ml61441.28