yQuaffle results solving families - 2007

Family# Total# Sat# UnsatTime
Adder7846800
blackbox-01X-QBF1024142429024.57
blackbox_design13178600
Blocks50411658.81
BMC343274797388
C43231113806.16
C4992117217.24
C5315321112474.46
C6288106000
C880106000
Chain2213200
conformant_planning1226251256.58
Connect442024.72
Counter148400
Debug145186983.16
evader-pursuer-4x4-logarithmic2816800
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW106000
jmc_quant1710200
k_branch_n95400
k_branch_p1911400
k_d4_n3923400
k_d4_p3621600
k_dum_n3219200
k_dum_p3822800
k_grz_n2917400
k_grz_p2615600
k_lin_n137800
k_path_n3319800
k_path_p3319800
k_poly_n4225200
k_t4p_n3923400
k_t4p_p5130600
MutexP4828800
Qshifter4426400
s272112600
s2981710200
s38684800
s499116600
s51042400
s713106000
s82084800
Sorting_networks25396107670.14
SzymanskiP5533000
term12017855.83
tipdiam2032489896.85
tipfixpoint48635240027.57
Toilet127200