quantor3.0 results solving families - 2008

Family# Total# Sat# UnsatTime
Abduction7113543160590.29
Adder1736229851.32
blackbox-01X-QBF102413025744.76
blackbox_design1314236.37
Blocks10249335.42
BMC343565827260.09
C432733410377.84
C499762224024.06
C531580221272.85
C6288772546.5
C88078129677.37
Chain87122.22
circuits130745176.64
comp28440.55
conformant_planning12210629126.12
Counter71121206.42
Debug1453221718.46
DFlipFlop731015.09
evader-pursuer-4x4-logarithmic59121963.05
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic6738638.97
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic7240790.66
FPGA_PLB_FIT_FAST384117.66
FPGA_PLB_FIT_SLOW251219.42
Impl74100.3
irqlkeapclte19418748.7
jmc_quant436064.7
jmc_quant_squaring9515693.98
k_branch_n9732428.77
k_branch_p10332939.05
k_d4_n10152203.43
k_d4_p9571781.34
k_dum_n92211.48
k_dum_p92211.97
k_grz_n9321466.43
k_grz_p9321544.86
k_lin_n94929308.49
k_lin_p892118.84
k_path_n93212.34
k_path_p94212.38
k_ph_n911319376.79
k_ph_p97939697.59
k_poly_n96211.54
k_poly_p85211.17
k_t4p_n9681697.61
k_t4p_p97133088.45
Logn192154.91
MutexP7831325.43
Qshifter616193.05
s11964426400
s12697846800
s27361323.38
s29893444062.85
s33307746200
s38671137813.22
s49992546967.09
s510117164809.37
s71373139943.89
s82078143501.47
Sorting_networks371251427724.3
SzymanskiP10132869.17
term1694311346.35
terminator7961240956.38
tipdiam39075114810.19
tipfixpoint81171337910.39
Toilet33536.03
Tree87590.46
uclid30909.24
VonNeumann751093.38
wmiforward221128136.96
z4ml61440.36