+--------------+-----------------+-------------------------------------------------------------------------------------------------------------+
| pq_orig_real | pq_bloqqer_real |                                                   problem                                                   |
+--------------+-----------------+-------------------------------------------------------------------------------------------------------------+
| 0.26         | 3701.09         | /data/qbf/qbf20/PCNF/eijk.bs3330.S-d3.qdimacs                                                               |
| 3701.1       | 0.15            | /data/qbf/qbf20/PCNF/exquery_query64_1344.qdimacs                                                           |
| 44.95        | 3701.11         | /data/qbf/qbf20/PCNF/k_ph_n-18.qdimacs                                                                      |
| 3701.09      | 0.16            | /data/qbf/qbf20/PCNF/nxquery_query64_1344n.qdimacs                                                          |
| 3701.11      | 0.17            | /data/qbf/qbf20/PCNF/nxquery_query71_1344.qdimacs                                                           |
| 3701.11      | 0.01            | /data/qbf/qbf20/PCNF/s01423_PR_4_90.qdimacs                                                                 |
| 0.28         | 3701.1          | /data/qbf/qbf20/PCNF/small-pipeline-fixpoint-1.qdimacs                                                      |
| 3701.1       | 0.01            | /data/qbf/qbf20/PCNF/small-swap1-fixpoint-5.qdimacs                                                         |
| 0.47         | 3701.09         | /data/qbf/qbf20/PCNF/stmt21_181_369.qdimacs                                                                 |
| 3701.11      | 0.26            | /data/qbf/qbf20/PCNF/trivial_query71_1344.qdimacs                                                           |
| 3701.09      | 0.01            | /data/qbf/qbf20/PCNF/trueque_query64_1344.qdimacs                                                           |
| 3701.11      | 0.01            | /data/qbf/qbf20/PCNF/trueque_query71_1344.qdimacs                                                           |
| 3701.11      | 0.02            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_explicit_goal_Medium__hein_17_6x6-07.pg.qdimacs |
| 3701.11      | 0.01            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_explicit_goal_Medium__hein_18_7x7-03.pg.qdimacs |
| 3701.11      | 0.01            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_explicit_goal_Medium__hein_18_7x7-05.pg.qdimacs |
| 3701.11      | 0.01            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_explicit_goal_Medium__hein_18_7x7-07.pg.qdimacs |
| 3701.1       | 0.02            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_explicit_goal_Medium__hein_20_6x6-07.pg.qdimacs |
| 3701.07      | 0.01            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__symbolic_implicit_goal_Easy__hein_04_3x3-03.pg.qdimacs   |
| 3701.11      | 0.26            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__witness_based_Easy__hein_07_4x4-07.pg.qdimacs            |
| 3701.11      | 0.21            | /data/qbf/eval2022/new-benchmarks/new-qdimacs/hex__witness_based_Medium__hein_18_7x7-05.pg.qdimacs          |
+--------------+-----------------+-------------------------------------------------------------------------------------------------------------+
