caqe-picosat-par results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70456699.93
Adder93247400.3
blackbox-01X-QBF68712709.98
blackbox_design761063.76
Blocks88366122.68
BMC772134287.32
bomb48419251.73
C432733315782.38
C499763218623.16
C5315802130659.53
C628877235473.78
C88078236007.94
Chain82104.48
circuits69137800.18
conformant_planning792134215.61
Connect464617504.68
Counter5295276.26
Debug8249200
DFlipFlop7396462.51
dungeon55324761.16
evader-pursuer-4x4-logarithmic59516470.81
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic67327753.3
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72330132.44
FPGA_PLB_FIT_FAST384126.38
FPGA_PLB_FIT_SLOW2512330.04
fpu4710150.61
Generalized-Tic-Tac-Toe48177561.5
HardwareFixpoint562317445.61
Impl74100.16
incrementer-encoder52615915.76
irqlkeapclte8148600
ISCAS8932513197.51
ITC99421119821.22
jmc_quant_squaring9557000
k_branch_n7595483.44
k_branch_p8294358.02
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_n7210795.33
k_ph_p70428932.67
k_poly_n68104.07
k_poly_p64103.13
k_t4p_n711015.72
k_t4p_p761012.56
LinearBitvectorRankingFunction6036000
Logn2936632.8
mqm75331919.35
MutexP78753.96
Planning-CTE382114671
QBF-Hardness51185292.83
qbfeval1227143049.08
Qshifter61693.04
RankingFunctions551016.17
Reduction-finding542415071.92
Rewriting45100.54
s119644155811.89
s126970329884.98
s2736133.75
s298706213314.02
s333072331672.93
s38669552508.97
s499627213305.84
s51059325605.95
s64155543280
s71373557373.67
s820705318976.94
Sorting_networks863327732.14
SzymanskiP93818531.25
term169441548.92
terminator70522408.68
tipdiam68426405.65
tipfixpoint693221026.3
ToiletA483711.87
ToiletC4819503.83
ToiletG4370.07
trafficlight-controller4585940.92
Tree74280
uclid3018000
VonNeumann7510101.15
wmiforward70106
z4ml61441.28