+-----------------------------------------------------------------------------------------------------------------------------------------------------+---------------+---------+
|                                                                       problem                                                                       |    result     |  real   |
+-----------------------------------------------------------------------------------------------------------------------------------------------------+---------------+---------+
| /data/qbf/qbf20/PCNF/Adder2-16-c.qdimacs                                                                                                            | UNSATISFIABLE | 2.54    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007.qdimacs | UNSATISFIABLE | 0.38    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008.qdimacs   | UNSATISFIABLE | 1.75    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010.qdimacs                                       | UNSATISFIABLE | 3.07    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010.qdimacs  | UNSATISFIABLE | 1.12    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009.qdimacs   | UNSATISFIABLE | 1.79    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009.qdimacs                                       | UNSATISFIABLE | 2.37    |
| /data/qbf/qbf20/PCNF/biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010.qdimacs   | UNSATISFIABLE | 2.22    |
| /data/qbf/qbf20/PCNF/cache-coherence-2-fixpoint-2.qdimacs                                                                                           | UNSATISFIABLE | 0.56    |
| /data/qbf/qbf20/PCNF/cmu.dme1.B-f3.qdimacs                                                                                                          | SATISFIABLE   | 0.2     |
| /data/qbf/qbf20/PCNF/cmu.dme2.B-f3.qdimacs                                                                                                          | SATISFIABLE   | 818.3   |
| /data/qbf/qbf20/PCNF/eijk.bs3330.S-d3.qdimacs                                                                                                       | SATISFIABLE   | 0.26    |
| /data/qbf/qbf20/PCNF/ev-pr-6x6-11-5-0-1-2-s.qdimacs                                                                                                 | UNSATISFIABLE | 921.08  |
| /data/qbf/qbf20/PCNF/filesys_smbmrx_cvsndrcv.c.qdimacs                                                                                              | UNSATISFIABLE | 1.41    |
| /data/qbf/qbf20/PCNF/filesys_smbmrx_midatlas.c.qdimacs                                                                                              | UNSATISFIABLE | 0.46    |
| /data/qbf/qbf20/PCNF/GuidanceService2.qdimacs                                                                                                       | UNSATISFIABLE | 0.29    |
| /data/qbf/qbf20/PCNF/incrementer-enc06-uniform-depth-24.qdimacs                                                                                     | UNSATISFIABLE | 2.01    |
| /data/qbf/qbf20/PCNF/incrementer-enc07-uniform-depth-25.qdimacs                                                                                     | UNSATISFIABLE | 1.88    |
| /data/qbf/qbf20/PCNF/incrementer-enc08-uniform-depth-33.qdimacs                                                                                     | SATISFIABLE   | 0.65    |
| /data/qbf/qbf20/PCNF/k_ph_n-18.qdimacs                                                                                                              | SATISFIABLE   | 44.95   |
| /data/qbf/qbf20/PCNF/load_3c_comp_comp7_REAL.unsat.qdimacs                                                                                          | UNSATISFIABLE | 1.89    |
| /data/qbf/qbf20/PCNF/LoginService.qdimacs                                                                                                           | UNSATISFIABLE | 1746.98 |
| /data/qbf/qbf20/PCNF/neclaftp2002.qdimacs                                                                                                           | UNSATISFIABLE | 0.24    |
| /data/qbf/qbf20/PCNF/neclaftp4001.qdimacs                                                                                                           | UNSATISFIABLE | 0.15    |
| /data/qbf/qbf20/PCNF/network_trans_sys_notify.c.qdimacs                                                                                             | UNSATISFIABLE | 1.19    |
| /data/qbf/qbf20/PCNF/PhaseService.qdimacs                                                                                                           | UNSATISFIABLE | 1.37    |
| /data/qbf/qbf20/PCNF/small-pipeline-fixpoint-1.qdimacs                                                                                              | UNSATISFIABLE | 0.28    |
| /data/qbf/qbf20/PCNF/stmt21_181_369.qdimacs                                                                                                         | UNSATISFIABLE | 0.47    |
| /data/qbf/qbf20/PCNF/stmt32_329_378.qdimacs                                                                                                         | UNSATISFIABLE | 0.26    |
| /data/qbf/qbf20/PCNF/stmt39_285_335.qdimacs                                                                                                         | UNSATISFIABLE | 0.32    |
| /data/qbf/qbf20/PCNF/texas.PI_main^05.E-f3.qdimacs                                                                                                  | SATISFIABLE   | 0.58    |
| /data/qbf/qbf20/PCNF/texas.PI_main^08.E-f3.qdimacs                                                                                                  | SATISFIABLE   | 0.25    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-40.qdimacs                                                                                                 |               | 1.09    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-45.qdimacs                                                                                                 | UNSATISFIABLE | 1.28    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-50.qdimacs                                                                                                 | UNSATISFIABLE | 1.46    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-55.qdimacs                                                                                                 | UNSATISFIABLE | 1.69    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-60.qdimacs                                                                                                 | UNSATISFIABLE | 1.87    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-65.qdimacs                                                                                                 | UNSATISFIABLE | 2.15    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-70.qdimacs                                                                                                 | UNSATISFIABLE | 2.29    |
| /data/qbf/qbf20/PCNF/tlc05-uniform-depth-75.qdimacs                                                                                                 | UNSATISFIABLE | 2.7     |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs/Organic_Synthesis_Hard__mitexams_problem16_length_7.qdimacs                                           | SATISFIABLE   | 3054.75 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs/Organic_Synthesis_Hard__mitexams_problem18_length_6.qdimacs                                           | UNSATISFIABLE | 1431.32 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs/Organic_Synthesis_Medium__mitexams_problem18_length_4.qdimacs                                         | UNSATISFIABLE | 276.34  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs/Organic_Synthesis_Medium__sat18_problem11_length_4.qdimacs                                            | UNSATISFIABLE | 2123.52 |
+-----------------------------------------------------------------------------------------------------------------------------------------------------+---------------+---------+
