QBF Solver Evaluation Portal
qbflib.orgUnique instances for cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Time | Result |
|---|---|---|
| rewriting_k_23 | 0.02 | UNSAT |
| k_dum_n-5 | 129.61 | SAT |
| k_grz_n-5 | 342.04 | SAT |
| szymanski-14-s | 29.47 | UNSAT |
| sortnetsort8.AE.stepl.003 | 2.22 | SAT |
| k_d4_n-3 | 45.51 | SAT |
| k_lin_n-8 | 164.56 | SAT |
| k_lin_n-5 | 31.46 | SAT |
| vis.prodcell^01.E-d2 | 44.19 | SAT |
| k_branch_n-3 | 15.3 | SAT |
| k_path_n-4 | 20.56 | SAT |
| rewriting_k_75 | 0.1 | UNSAT |
| Umbrella_tbm_24.tex.module.000066 | 16.24 | SAT |
| rewriting_k_100 | 0.19 | UNSAT |
| k_ph_n-16 | 158.07 | SAT |
| CHAIN16v.17 | 131.96 | SAT |
| szymanski-20-s | 223.32 | UNSAT |
| tree-exa10-30 | 6.65 | SAT |
| rewriting_k_25 | 0.02 | UNSAT |
| lut4_AND_fXOR | 98.4 | UNSAT |
| k_lin_n-7 | 149.9 | SAT |
| Umbrella_tbm_24.tex.module.000131 | 16.27 | SAT |
| rewriting_k_30 | 0.02 | UNSAT |
| mutex-8-s | 73.1 | SAT |
| rewriting_k_50 | 0.05 | UNSAT |
| CHAIN14v.15 | 23.16 | SAT |
| szymanski-18-s | 120.65 | UNSAT |
| szymanski-12-s | 11.97 | UNSAT |
| k_ph_n-21 | 454.89 | SAT |
| k_grz_n-4 | 146.72 | SAT |
| k_lin_n-9 | 363.73 | SAT |
| szymanski-16-s | 63.22 | UNSAT |
| k_lin_n-6 | 81.68 | SAT |
| CHAIN17v.18 | 399.47 | SAT |
| k_grz_n-2 | 33.08 | SAT |