QBF Solver Evaluation Portal
qbflib.orgEBDDRES results solving families - 2007
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Adder | 88 | 2 | 1908.69 | |
| blackbox-01X-QBF | 1084 | 6 | 29942.95 | |
| blackbox_design | 131 | 3655.64 | ||
| Blocks | 50 | 1503.32 | ||
| BMC | 380 | 17793.43 | ||
| C432 | 31 | 785.3 | ||
| C499 | 21 | 535.38 | ||
| C5315 | 32 | 791.1 | ||
| C6288 | 10 | 329.26 | ||
| C880 | 10 | 331.46 | ||
| Chain | 22 | 538.35 | ||
| conformant_planning | 124 | 2 | 9603.96 | |
| Connect4 | 4 | 131.13 | ||
| Counter | 14 | 404.42 | ||
| Debug | 182 | 73991.69 | ||
| evader-pursuer-4x4-logarithmic | 29 | 969.75 | ||
| evader-pursuer-8x8-logarithmic | 10 | 247.17 | ||
| FPGA_PLB_FIT_SLOW | 10 | 267.26 | ||
| jmc_quant | 19 | 481.66 | ||
| k_branch_n | 9 | 209.46 | ||
| k_branch_p | 21 | 655.77 | ||
| k_d4_n | 39 | 918.77 | ||
| k_d4_p | 36 | 5 | 42.96 | |
| k_dum_n | 32 | 5 | 5.49 | |
| k_dum_p | 38 | 4 | 13.49 | |
| k_grz_n | 29 | 717.38 | ||
| k_grz_p | 26 | 714.94 | ||
| k_lin_n | 13 | 408.21 | ||
| k_path_n | 33 | 5 | 14.65 | |
| k_path_p | 33 | 5 | 14.98 | |
| k_poly_n | 42 | 1 | 1169.05 | |
| k_t4p_n | 39 | 6 | 75.21 | |
| k_t4p_p | 51 | 6 | 53.93 | |
| MutexP | 48 | 4 | 487.1 | |
| Qshifter | 45 | 4 | 2016.87 | |
| s27 | 21 | 2 | 11.05 | |
| s298 | 17 | 392.49 | ||
| s386 | 8 | 190.22 | ||
| s499 | 11 | 264.5 | ||
| s510 | 4 | 98.23 | ||
| s713 | 10 | 249.33 | ||
| s820 | 8 | 210.74 | ||
| Sorting_networks | 280 | 8484.37 | ||
| SzymanskiP | 61 | 15384.88 | ||
| term1 | 20 | 1 | 319.31 | |
| tipdiam | 223 | 18 | 5397.44 | |
| tipfixpoint | 509 | 14227.35 | ||
| Toilet | 12 | 332.56 |