QBF Solver Evaluation Portal
qbflib.orgSota solver results for family LinearBitvectorRankingFunction
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| audio_ddksynth_csynth2.cpp | GhostQ___plain_pcnf_2019 | SAT | 35.01 |  |
| filesys_fastfat_cachesup.c | Caqe-hqspre | SAT | 12 | |
| filesys_smbmrx_cvsndrcv.c | Rareqs_2018 | UNSAT | 0.74 | |
| filesys_smbmrx_midatlas.c | Rareqs_2018 | UNSAT | 0 | |
| input_mouser_detect.c | Caqe-hqspre | SAT | 8.16 | |
| kmdf_osrusbfx2_exe_dump.c | nanoqbf_hqspre | UNSAT | 27.19 | |
| kmdf_pcidrv_sys_hw_physet.c | Caqe-hqspre | SAT | 1.3 | |
| network_trans_sys_notify.c | Rareqs_2018 | UNSAT | 0.62 | |