Instance | Result | Time | |
---|---|---|---|
kernel_agplib_intrface.c | SAT | 50.02 | |
hid_hclient_ecdisp.c | SAT | 52.04 | |
input_mouser_cseries.c | SAT | 61.8 | |
network_irda_miniport_nscirda_settings.c | SAT | 64.2 | |
filesys_smbmrx_cvsndrcv.c | SAT | 64.54 | |
network_irda_miniport_nscirda_comm.c | FAIL | 599.61 | |
network_ndis_rtlnwifi_hw_hw_ccmp.c | FAIL | 599.61 | |
input_pnpi8042_moudep.c | FAIL | 599.61 | |
network_trans_sys_notify.c | FAIL | 599.61 | |
audio_ddksynth_csynth2.cpp | FAIL | 599.72 |