hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456264.05
Adder1091255483.67
blackbox-01X-QBF74621608.29
blackbox_design76618011.31
Blocks883743.02
BMC874324481.92
bomb51419263.18
C432733312774.57
C499763221553.75
C5315832132440.16
C62888148580.61
C88078235991.36
Chain82104.69
circuits75141385.17
conformant_planning793322359.56
Connect468619711.01
Counter5487838.19
Debug9657585.57
DFlipFlop731020.7
dungeon72431926.14
evader-pursuer-4x4-logarithmic61791.49
evader-pursuer-4x4-standard65418140.43
evader-pursuer-6x6-logarithmic72614935.77
evader-pursuer-6x6-standard7243182.82
evader-pursuer-8x8-logarithmic75521586.58
FPGA_PLB_FIT_FAST38417.56
FPGA_PLB_FIT_SLOW2512598.52
fpu4710145.89
Generalized-Tic-Tac-Toe54184782.63
HardwareFixpoint752230598.55
Impl74102.22
incrementer-encoder63622243.82
irqlkeapclte111159914.59
ISCAS893261166.62
ITC99511125197.22
jmc_quant_squaring1132149564.01
k_branch_n8596825.61
k_branch_p9910511.55
k_d4_n73106.86
k_d4_p72104.67
k_dum_n66102.87
k_dum_p74103.45
k_grz_n68104.97
k_grz_p70104.41
k_lin_n6410151.64
k_lin_p65103.75
k_path_n67103.33
k_path_p67103.78
k_ph_n7310350.78
k_ph_p81337788.63
k_poly_n68103.01
k_poly_p64102.69
k_t4p_n71106.38
k_t4p_p76105.46
LinearBitvectorRankingFunction8047981.7
Logn29433.15
mqm81554206.04
MutexP7877.28
Planning-CTE50224597.24
QBF-Hardness59715171.97
qbfeval1227143000.3
Qshifter62676.79
RankingFunctions60104.31
Reduction-finding651522870.8
Rewriting45101.53
s1196441120544.51
s12697142585.11
s27361317.53
s29870425273.47
s333073236758.55
s386695515250.32
s49962428213.94
s51059328263.01
s64155517176.7
s713735123407.31
s82070430888.74
Sorting_networks1042335386.62
SzymanskiP9710391.47
term1694452.58
terminator82144986.17
tipdiam82434793.07
tipfixpoint772326996.85
ToiletA483710.02
ToiletC48192444.06
ToiletG4371.35
trafficlight-controller4510361.91
Tree74282.22
uclid3017993.2
VonNeumann7510113.79
wmiforward73103.8
z4ml61442.36