Instance | Solver | Result | Time | |
---|---|---|---|---|
audio_ddksynth_csynth2.cpp | GhostQ___plain_pcnf_2019 | SAT | 35.09 | |
filesys_fastfat_cachesup.c | caqe-pre | SAT | 11.91 | |
filesys_smbmrx_cvsndrcv.c | caqe-pre | UNSAT | 9.91 | |
filesys_smbmrx_midatlas.c | caqe-pre | UNSAT | 1.89 | |
input_mouser_detect.c | Caqe-hqspre | SAT | 8.16 | |
kmdf_osrusbfx2_exe_dump.c | caqe-pre | UNSAT | 30.97 | |
kmdf_pcidrv_sys_hw_physet.c | Caqe-hqspre | SAT | 1.29 | |
network_trans_sys_notify.c | Caqe-hqspre | UNSAT | 12.63 |