| Benchmark | EvalMaxSAT | UWrMaxSat | iMaxHS | UWrMaxSat+SCIP |
|---|
| 139464p0.aig | 1.82 | 3.63 | 2.7 | 4.66 |
| 6s10.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s120.aig | 9.63 | 5.04 | 51.83 | 696.96 |
| 6s131.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s163.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s177.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s179.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s194.aig | 1533.2 | 7200.0 | 7200.0 | 7200.0 |
| 6s203b41.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s204b19.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s273b37.aig | 293.76 | 7200.0 | 70.89 | 7200.0 |
| 6s274r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s277rb292.aig | 48.47 | 389.66 | 22.73 | 844.46 |
| 6s279r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s280r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s307rb09.aig | 91.05 | 1631.42 | 238.91 | 1819.36 |
| 6s316b421.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s325rb072.aig | 3.61 | 18.91 | 2.42 | 68.07 |
| 6s341r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s350rb46.aig | 564.39 | 7200.0 | 481.45 | 7200.0 |
| 6s355rb11080.aig | 3.94 | 3.41 | 3.19 | 3.35 |
| 6s36.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s366r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s376r.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s399b02.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s401rb051.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s407rb296.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s41.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| 6s421rb083.aig | 4.1 | 9.76 | 3.22 | 294.29 |
| 6s43.aig | 364.94 | 674.13 | 1134.03 | 4178.03 |
| 6s52.aig | 5926.1 | 7200.0 | 3617.63 | 7200.0 |
| 6s7.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| beemandrsn4b1.aig | 6436.11 | 6608.01 | 6424.86 | 7200.0 |
| beembkry8b1.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| beembrptwo6b1.aig | 87.5 | 113.32 | 85.2 | 206.23 |
| beemlann2f1.aig | 19.18 | 17.78 | 12.12 | 43.47 |
| beemldfilt3f1.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| beempgmprot1f2.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| beemptrsn7f1.aig | 2049.35 | 5330.06 | 1993.23 | 7200.0 |
| beemrshr4b1.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| beemtlphn4f1.aig | 83.28 | 62.51 | 55.43 | 278.79 |
| bj08amba2g4f3.aig | 16.44 | 6.17 | 15.27 | 685.86 |
| bob12s08.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| bob12s09.aig | 926.56 | 1051.65 | 7200.0 | 1061.45 |
| bob12s10.aig | 4737.91 | 6344.47 | 7200.0 | 7200.0 |
| bob9234spec5neg.aig | 15.81 | 15.85 | 18.8 | 116.44 |
| boblivea.aig | 9.79 | 32.4 | 13.58 | 24.74 |
| bobsmoci.aig | 2058.06 | 670.25 | 7200.0 | 7200.0 |
| cmudme2.aig | 265.99 | 1301.87 | 440.29 | 1388.88 |
| eijks1423.aig | 127.8 | 117.92 | 7200.0 | 485.23 |
| intel007.aig | 473.52 | 786.7 | 7200.0 | 7200.0 |
| intel013.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| intel016.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| intel026.aig | 80.24 | 108.06 | 76.86 | 447.94 |
| intel047.aig | 609.73 | 1708.05 | 7200.0 | 7200.0 |
| mentorbm1p09.aig | 3.01 | 6.35 | 4.33 | 6.6 |
| ndista262144.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| neclaftp2002.aig | 3052.97 | 7200.0 | 2791.71 | 7200.0 |
| neclaftp4001.aig | 5.95 | 18.84 | 4.31 | 36.56 |
| nusmvreactorp6.aig | 178.68 | 136.82 | 158.64 | 314.98 |
| oc8051gm06iram.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oc8051gm0caddr.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oc8051gm15addr.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oc8051gm1edata.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oc8051gm43acc.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oc8051gmadacc.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b16s.aig | 15.0 | 13.09 | 11.73 | 12.97 |
| oski15a01b24s.aig | 16.68 | 14.66 | 13.94 | 15.62 |
| oski15a01b25s.aig | 5.05 | 4.94 | 4.96 | 5.06 |
| oski15a01b31s.aig | 4.89 | 5.02 | 5.07 | 5.68 |
| oski15a01b34s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b38s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b45s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b54s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b72s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b74s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a01b76s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a07b0s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a08b12s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a08b14s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a08b16s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a08b17s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a10b12s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a10b14s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b02s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b03s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b05s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b10s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b12s.aig | 64.56 | 396.0 | 22.48 | 594.89 |
| oski15a14b25s.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski15a14b32s.aig | 65.25 | 84.6 | 754.18 | 1331.57 |
| oski1rub02i.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski1rub10i.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| oski2b2i.aig | 1264.53 | 7200.0 | 1637.21 | 7200.0 |
| oski2ub0i.aig | 7200.0 | 7200.0 | 7200.0 | 7200.0 |
| pdtfifo1to0.aig | 2376.51 | 4307.74 | 7200.0 | 7200.0 |
| pdtvissoap2.aig | 5.18 | 8.68 | 5.33 | 148.18 |
| pj2010.aig | 2.06 | 2.63 | 1.86 | 63.54 |
| prodcellp0neg.aig | 49.53 | 52.99 | 54.89 | 144.62 |
| productioncellp0.aig | 53.73 | 52.01 | 46.04 | 121.42 |