QBF Solver Evaluation Portal
qbflib.orgUnique instances for par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | Time | Result |
|---|---|---|
| s1269_d8_s | 7.54 | SAT |
| sdlx-fixpoint-3 | 2.02 | UNSAT |
| small-seq-fixpoint-3 | 20.07 | UNSAT |
| biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008 | 25.59 | UNSAT |
| stmt21_319_418 | 0.51 | SAT |
| C880.blif_0.10_0.20_0_1_inp_exact | 435.93 | UNSAT |
| C880.blif_0.10_0.20_0_0_inp_exact | 409.32 | UNSAT |
| s298_d18_s | 1.02 | SAT |
| C880.blif_0.10_0.20_0_1_out_exact | 0.51 | UNSAT |
| uclid-pipe3b | 1.01 | UNSAT |
| ken.flash^08.C-d4 | 3.02 | UNSAT |
| C880.blif_0.10_0.20_0_0_out_exact | 0.51 | UNSAT |
| C5315.blif_0.10_1.00_0_0_out_exact | 0.51 | UNSAT |
| cache-coherence-2-fixpoint-6 | 67.74 | UNSAT |
| C880.blif_0.10_1.00_0_0_out_exact | 0.51 | UNSAT |
| nusmv.reactor^3.C-d4 | 1.01 | SAT |
| uclid-pipe3a | 43.15 | SAT |