qestos results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction703511506.41
Adder93234222.46
blackbox-01X-QBF6896197.67
blackbox_design76714006.92
Blocks88377.91
BMC775312906.93
bomb48317929.39
C432733310865.12
C499763218611.63
C5315802222577.34
C62887732954.26
C88078235990.76
Chain82100.79
circuits69331783.14
conformant_planning79643132.65
Connect464512425.73
Counter5287199.18
Debug8246116.38
DFlipFlop731020.98
dungeon55324596.41
evader-pursuer-4x4-logarithmic59322234.49
evader-pursuer-4x4-standard6417145.96
evader-pursuer-6x6-logarithmic67312751.51
evader-pursuer-6x6-standard6614252.68
evader-pursuer-8x8-logarithmic72213394.69
FPGA_PLB_FIT_FAST38415.18
FPGA_PLB_FIT_SLOW25127.67
fpu471066.46
Generalized-Tic-Tac-Toe48169635.45
HardwareFixpoint562216487.57
Impl74100
incrementer-encoder5219397.92
irqlkeapclte8148382.09
ISCAS89326133.47
ITC99421110709.35
jmc_quant_squaring9555668.56
k_branch_n75622048.75
k_branch_p82428202.43
k_d4_n73106.61
k_d4_p72102.07
k_dum_n66100.63
k_dum_p74100.8
k_grz_n68102.66
k_grz_p70101.74
k_lin_n641047.17
k_lin_p65101.38
k_path_n67101.26
k_path_p67101.58
k_ph_n7210718.49
k_ph_p70424871.42
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.9
LinearBitvectorRankingFunction6029784.94
Logn29439.62
mqm75140783.01
MutexP7874.15
Planning-CTE38214710.37
QBF-Hardness51519123.12
qbfeval122724173.44
Qshifter61675.98
RankingFunctions55101.62
Reduction-finding54168054.19
Rewriting45100.09
s11964419197.58
s12697034377.47
s2736134.91
s29870222644.33
s333072137867.94
s38669225084.13
s4996221768.1
s5105932012.78
s64155125250.81
s71373130498.82
s82070123620.52
Sorting_networks865123425.01
SzymanskiP93101130.09
term169444411.81
terminator70425816.1
tipdiam68424110.5
tipfixpoint692319567.29
ToiletA48378.18
ToiletC4819183.2
ToiletG4370
trafficlight-controller4510108.25
Tree74280
uclid3017994.3
VonNeumann751047.65
wmiforward70101.18
z4ml61440.46