BenchmarkEvalMaxSATUWrMaxSatiMaxHSUWrMaxSat+SCIP
139464p0.aig1.823.632.74.66
6s10.aig7200.07200.07200.07200.0
6s120.aig9.635.0451.83696.96
6s131.aig7200.07200.07200.07200.0
6s163.aig7200.07200.07200.07200.0
6s177.aig7200.07200.07200.07200.0
6s179.aig7200.07200.07200.07200.0
6s194.aig1533.27200.07200.07200.0
6s203b41.aig7200.07200.07200.07200.0
6s204b19.aig7200.07200.07200.07200.0
6s273b37.aig293.767200.070.897200.0
6s274r.aig7200.07200.07200.07200.0
6s277rb292.aig48.47389.6622.73844.46
6s279r.aig7200.07200.07200.07200.0
6s280r.aig7200.07200.07200.07200.0
6s307rb09.aig91.051631.42238.911819.36
6s316b421.aig7200.07200.07200.07200.0
6s325rb072.aig3.6118.912.4268.07
6s341r.aig7200.07200.07200.07200.0
6s350rb46.aig564.397200.0481.457200.0
6s355rb11080.aig3.943.413.193.35
6s36.aig7200.07200.07200.07200.0
6s366r.aig7200.07200.07200.07200.0
6s376r.aig7200.07200.07200.07200.0
6s399b02.aig7200.07200.07200.07200.0
6s401rb051.aig7200.07200.07200.07200.0
6s407rb296.aig7200.07200.07200.07200.0
6s41.aig7200.07200.07200.07200.0
6s421rb083.aig4.19.763.22294.29
6s43.aig364.94674.131134.034178.03
6s52.aig5926.17200.03617.637200.0
6s7.aig7200.07200.07200.07200.0
beemandrsn4b1.aig6436.116608.016424.867200.0
beembkry8b1.aig7200.07200.07200.07200.0
beembrptwo6b1.aig87.5113.3285.2206.23
beemlann2f1.aig19.1817.7812.1243.47
beemldfilt3f1.aig7200.07200.07200.07200.0
beempgmprot1f2.aig7200.07200.07200.07200.0
beemptrsn7f1.aig2049.355330.061993.237200.0
beemrshr4b1.aig7200.07200.07200.07200.0
beemtlphn4f1.aig83.2862.5155.43278.79
bj08amba2g4f3.aig16.446.1715.27685.86
bob12s08.aig7200.07200.07200.07200.0
bob12s09.aig926.561051.657200.01061.45
bob12s10.aig4737.916344.477200.07200.0
bob9234spec5neg.aig15.8115.8518.8116.44
boblivea.aig9.7932.413.5824.74
bobsmoci.aig2058.06670.257200.07200.0
cmudme2.aig265.991301.87440.291388.88
eijks1423.aig127.8117.927200.0485.23
intel007.aig473.52786.77200.07200.0
intel013.aig7200.07200.07200.07200.0
intel016.aig7200.07200.07200.07200.0
intel026.aig80.24108.0676.86447.94
intel047.aig609.731708.057200.07200.0
mentorbm1p09.aig3.016.354.336.6
ndista262144.aig7200.07200.07200.07200.0
neclaftp2002.aig3052.977200.02791.717200.0
neclaftp4001.aig5.9518.844.3136.56
nusmvreactorp6.aig178.68136.82158.64314.98
oc8051gm06iram.aig7200.07200.07200.07200.0
oc8051gm0caddr.aig7200.07200.07200.07200.0
oc8051gm15addr.aig7200.07200.07200.07200.0
oc8051gm1edata.aig7200.07200.07200.07200.0
oc8051gm43acc.aig7200.07200.07200.07200.0
oc8051gmadacc.aig7200.07200.07200.07200.0
oski15a01b16s.aig15.013.0911.7312.97
oski15a01b24s.aig16.6814.6613.9415.62
oski15a01b25s.aig5.054.944.965.06
oski15a01b31s.aig4.895.025.075.68
oski15a01b34s.aig7200.07200.07200.07200.0
oski15a01b38s.aig7200.07200.07200.07200.0
oski15a01b45s.aig7200.07200.07200.07200.0
oski15a01b54s.aig7200.07200.07200.07200.0
oski15a01b72s.aig7200.07200.07200.07200.0
oski15a01b74s.aig7200.07200.07200.07200.0
oski15a01b76s.aig7200.07200.07200.07200.0
oski15a07b0s.aig7200.07200.07200.07200.0
oski15a08b12s.aig7200.07200.07200.07200.0
oski15a08b14s.aig7200.07200.07200.07200.0
oski15a08b16s.aig7200.07200.07200.07200.0
oski15a08b17s.aig7200.07200.07200.07200.0
oski15a10b12s.aig7200.07200.07200.07200.0
oski15a10b14s.aig7200.07200.07200.07200.0
oski15a14b02s.aig7200.07200.07200.07200.0
oski15a14b03s.aig7200.07200.07200.07200.0
oski15a14b05s.aig7200.07200.07200.07200.0
oski15a14b10s.aig7200.07200.07200.07200.0
oski15a14b12s.aig64.56396.022.48594.89
oski15a14b25s.aig7200.07200.07200.07200.0
oski15a14b32s.aig65.2584.6754.181331.57
oski1rub02i.aig7200.07200.07200.07200.0
oski1rub10i.aig7200.07200.07200.07200.0
oski2b2i.aig1264.537200.01637.217200.0
oski2ub0i.aig7200.07200.07200.07200.0
pdtfifo1to0.aig2376.514307.747200.07200.0
pdtvissoap2.aig5.188.685.33148.18
pj2010.aig2.062.631.8663.54
prodcellp0neg.aig49.5352.9954.89144.62
productioncellp0.aig53.7352.0146.04121.42