+-------------------------------------------------------------------------------------------------------------------------+---------------+---------+
|                                                         problem                                                         |    result     |  real   |
+-------------------------------------------------------------------------------------------------------------------------+---------------+---------+
| /data/qbf/qbf20/PCNF_bloqqer/Adder2-14-s.qdimacs                                                                        | SATISFIABLE   | 1295.92 |
| /data/qbf/qbf20/PCNF_bloqqer/Adder2-16-s.qdimacs                                                                        | SATISFIABLE   | 2231.01 |
| /data/qbf/qbf20/PCNF_bloqqer/beemskbn1f1_c0to7.sat.qdimacs                                                              | SATISFIABLE   | 201.1   |
| /data/qbf/qbf20/PCNF_bloqqer/c1_Debug_s3_f1_e1_v1.qdimacs                                                               | SATISFIABLE   | 3164.34 |
| /data/qbf/qbf20/PCNF_bloqqer/ev-pr-6x6-17-5-0-1-2-lg.qdimacs                                                            | UNSATISFIABLE | 3437.2  |
| /data/qbf/qbf20/PCNF_bloqqer/exquery_query64_1344.qdimacs                                                               | SATISFIABLE   | 0.15    |
| /data/qbf/qbf20/PCNF_bloqqer/fpu-01Xh-error02-nonuniform-depth-27.qdimacs                                               | SATISFIABLE   | 3.88    |
| /data/qbf/qbf20/PCNF_bloqqer/gttt_1_1_000111_4x4_torus_w.qdimacs                                                        | UNSATISFIABLE | 13.64   |
| /data/qbf/qbf20/PCNF_bloqqer/GuidanceService.qdimacs                                                                    | UNSATISFIABLE | 0.29    |
| /data/qbf/qbf20/PCNF_bloqqer/nxquery_query64_1344n.qdimacs                                                              | UNSATISFIABLE | 0.16    |
| /data/qbf/qbf20/PCNF_bloqqer/nxquery_query71_1344.qdimacs                                                               | SATISFIABLE   | 0.17    |
| /data/qbf/qbf20/PCNF_bloqqer/s01423_PR_4_90.qdimacs                                                                     | UNSATISFIABLE | 0.01    |
| /data/qbf/qbf20/PCNF_bloqqer/small-swap1-fixpoint-5.qdimacs                                                             | SATISFIABLE   | 0.01    |
| /data/qbf/qbf20/PCNF_bloqqer/sortnetsort10.AE.stepl.006.qdimacs                                                         | SATISFIABLE   | 1068.7  |
| /data/qbf/qbf20/PCNF_bloqqer/sortnetsort10.v.stepl.005.qdimacs                                                          | UNSATISFIABLE | 42.12   |
| /data/qbf/qbf20/PCNF_bloqqer/trivial_query71_1344.qdimacs                                                               | SATISFIABLE   | 0.26    |
| /data/qbf/qbf20/PCNF_bloqqer/trueque_query64_1344.qdimacs                                                               | SATISFIABLE   | 0.01    |
| /data/qbf/qbf20/PCNF_bloqqer/trueque_query71_1344.qdimacs                                                               | SATISFIABLE   | 0.01    |
| /data/qbf/qbf20/PCNF_bloqqer/Umbrella_tbm_05.tex.module.000039.qdimacs                                                  | SATISFIABLE   | 25.26   |
| /data/qbf/qbf20/PCNF_bloqqer/W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs                                          | SATISFIABLE   | 57.1    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__compact_goal_witness_based_Hard__hein_05_6x6-13.pg.qdimacs   | SATISFIABLE   | 3102.97 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__compact_goal_witness_based_Hard__hein_18_7x7-13.pg.qdimacs   | UNSATISFIABLE | 1401.12 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__compact_goal_witness_based_Medium__hein_02_5x5-11.pg.qdimacs | UNSATISFIABLE | 39.04   |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__compact_goal_witness_based_Medium__hein_10_5x5-11.pg.qdimacs | UNSATISFIABLE | 13.97   |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__compact_goal_witness_based_Medium__hein_15_5x5-13.pg.qdimacs | UNSATISFIABLE | 167.18  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Hard__hein_05_6x6-11.pg.qdimacs       | UNSATISFIABLE | 501.29  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_02_5x5-11.pg.qdimacs     | UNSATISFIABLE | 973.33  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_11_5x5-09.pg.qdimacs     | UNSATISFIABLE | 1.79    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_17_6x6-07.pg.qdimacs     | UNSATISFIABLE | 0.02    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_18_7x7-03.pg.qdimacs     | UNSATISFIABLE | 0.01    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_18_7x7-05.pg.qdimacs     | UNSATISFIABLE | 0.01    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_18_7x7-07.pg.qdimacs     | UNSATISFIABLE | 0.01    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_explicit_goal_Medium__hein_20_6x6-07.pg.qdimacs     | UNSATISFIABLE | 0.02    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Easy__hein_04_3x3-03.pg.qdimacs       | UNSATISFIABLE | 0.01    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Hard__hein_03_6x6-13.pg.qdimacs       | UNSATISFIABLE | 1830.57 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Hard__hein_17_6x6-13.pg.qdimacs       | UNSATISFIABLE | 2674.38 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Medium__hein_02_5x5-11.pg.qdimacs     | UNSATISFIABLE | 37.13   |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Medium__hein_02_5x5-13.pg.qdimacs     | SATISFIABLE   | 404.36  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__symbolic_implicit_goal_Medium__hein_15_5x5-15.pg.qdimacs     | SATISFIABLE   | 1944.27 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__witness_based_Easy__hein_07_4x4-07.pg.qdimacs                | UNSATISFIABLE | 0.26    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__witness_based_Hard__hein_20_6x6-13.pg.qdimacs                | UNSATISFIABLE | 3123.99 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__witness_based_Medium__hein_10_5x5-13.pg.qdimacs              | SATISFIABLE   | 197.63  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/hex__witness_based_Medium__hein_18_7x7-05.pg.qdimacs              | UNSATISFIABLE | 0.21    |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Hard__mitexams_problem03_length_5.qdimacs       | SATISFIABLE   | 2897.47 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Hard__mitexams_problem19_length_6.qdimacs       | SATISFIABLE   | 3489.44 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Medium__mitexams_problem03_length_4.qdimacs     | UNSATISFIABLE | 879.44  |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Medium__mitexams_problem05_length_4.qdimacs     | SATISFIABLE   | 2253.59 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Medium__mitexams_problem14_length_4.qdimacs     | UNSATISFIABLE | 1638.19 |
| /data/qbf/eval2022/new-benchmarks/new-qdimacs-bloqqer/Organic_Synthesis_Medium__sat18_problem12_length_4.qdimacs        | UNSATISFIABLE | 2846.59 |
+-------------------------------------------------------------------------------------------------------------------------+---------------+---------+
