Problem LinearBitvectorRankingFunction_gq.ts LinearBitvectorRankingFunction_gqc.ts LinearBitvectorRankingFunction_nq72.ts LinearBitvectorRankingFunction_quantor.ts LinearBitvectorRankingFunction_rareqsuuh3pb.ts LinearBitvectorRankingFunction_znenofex.ts
1394diag_ioctl.c.qdimacs.gz 482 (480+2) 800 (798+2) 800 (798+2) 19 (17+3) 800 (797+3) 248 (246+2)
1394diag_isochapi.c.qdimacs.gz 371 (369+2) 800 (798+2) 800 (799+1) 19 (17+2) 800 (797+3) 221 (218+2)
AVStream_hwsim.cpp.qdimacs.gz 800 (798+2) 800 (799+1) 800 (798+2) 23 (20+2) 800 (798+2) 800 (800+0)
AVStream_image.cpp.qdimacs.gz 576 (574+2) 800 (798+2) 800 (800+0) 19 (17+2) 800 (797+3) 230 (228+2)
audio_ac97_common.cpp.qdimacs.gz 377 (375+2) 707 (705+2) 800 (799+1) 19 (17+2) 800 (797+3) 230 (228+2)
audio_ac97_rtstream.cpp.qdimacs.gz 388 (386+2) 706 (703+2) 800 (799+1) 20 (17+2) 800 (797+3) 212 (209+3)
audio_ac97_wavepcistream.cpp.qdimacs.gz 800 (799+1) 800 (799+1) 800 (799+1) 27 (25+2) 800 (797+3) 195 (192+2)
audio_ac97_wavepcistream2.cpp.qdimacs.gz 404 (402+2) 800 (798+2) 800 (799+1) 20 (18+2) 309 (308+1)
s cnf 0 (s cnf 0)
204 (202+2)
audio_ac97_wavepcistream3.cpp.qdimacs.gz 381 (379+2) 787 (785+2) 800 (800+1) 24 (22+2) 800 (797+3) 227 (225+3)
audio_ddksynth_csynth.cpp.qdimacs.gz 358 (356+2) 800 (798+2) 800 (799+1) 21 (18+2) 800 (797+4) 120 (118+2)
audio_ddksynth_csynth2.cpp.qdimacs.gz 317 (315+2) 772 (768+3) 800 (799+1) 30 (27+3) 800 (799+2) 193 (190+2)
audio_ddksynth_voice.cpp.qdimacs.gz 574 (572+2) 800 (798+2) 800 (800+0) 19 (17+2) 800 (797+3) 800 (800+0)
audio_dmusuart_mpu.cpp.qdimacs.gz 354 (352+2) 650 (648+2) 800 (799+1) 19 (17+2) 800 (796+4) 536 (534+2)
audio_fmsynth_miniport.cpp.qdimacs.gz 375 (373+2) 515 (514+1) 800 (799+1) 19 (17+2) 800 (796+4) 188 (186+2)
audio_fmsynth_miniport2.cpp.qdimacs.gz 229 (227+2) 350 (348+1) 800 (799+1) 19 (16+2) 800 (797+3) 300 (297+3)
audio_gfxswap.xp_filter.cpp.qdimacs.gz 389 (387+2) 595 (594+1) 800 (799+1) 24 (22+2) 800 (797+3) 181 (178+2)
audio_sysfx_swap.cpp.qdimacs.gz 391 (389+2) 589 (587+1) 800 (799+1) 19 (17+2) 800 (796+4) 189 (187+2)
filesys_cdfs_allocsup.c.qdimacs.gz 65 (63+2) 56 (55+1) 800 (799+1) 20 (18+2) 800 (799+1) 180 (177+3)
filesys_cdfs_cddata.c.qdimacs.gz 348 (346+2) 464 (463+1) 800 (799+1) 19 (17+2) 800 (795+5) 192 (189+2)
filesys_cdfs_namesup.c.qdimacs.gz 800 (798+2) 800 (799+1) 800 (798+2) 21 (19+2) 800 (798+2) 210 (207+2)
filesys_cdfs_namesup2.c.qdimacs.gz 366 (365+2) 496 (495+1) 800 (800+1) 19 (17+2) 800 (798+2) 234 (231+3)
filesys_fastfat_allocsup.c.qdimacs.gz 351 (349+2) 430 (429+1) 800 (799+1) 19 (17+2) 800 (798+2) 203 (200+2)
filesys_fastfat_cachesup.c.qdimacs.gz 383 (381+2) 517 (516+1) 800 (799+1) 19 (17+2) 800 (798+2) 174 (172+2)
filesys_fastfat_easup.c.qdimacs.gz 325 (323+2) 472 (471+1) 800 (799+1) 19 (17+2) 800 (796+4) 256 (254+2)
filesys_fastfat_write.c.qdimacs.gz 351 (349+2) 470 (469+1) 800 (799+1) 18 (16+2) 800 (797+3) 207 (205+2)
filesys_filter_namelookup.c.qdimacs.gz 388 (386+2) 611 (609+1) 800 (799+1) 17 (14+3) 800 (797+3) 203 (201+2)
filesys_smbmrx_cvsndrcv.c.qdimacs.gz 477 (475+2) 518 (516+1) 800 (800+0) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
291 (288+2)
filesys_smbmrx_midatlas.c.qdimacs.gz 312 (310+2) 341 (339+1) 800 (800+1) 21 (19+2) 0 (0+0)
s cnf 0 (s cnf 0)
161 (158+2)
filesys_smbmrx_smbxchng.c.qdimacs.gz 419 (417+2) 492 (490+1) 800 (799+1) 16 (14+2) 800 (797+3) 204 (201+2)
general_pcidrv_sys_hw_eeprom.c.qdimacs.gz 351 (348+2) 549 (547+1) 800 (799+1) 17 (13+3) 800 (797+3) 366 (363+3)
general_pcidrv_sys_hw_eeprom2.c.qdimacs.gz 231 (229+2) 385 (384+1) 800 (800+0) 13 (11+2) 800 (798+2) 210 (207+3)
general_toaster_exe_notify_notify.c.qdimacs.gz 289 (288+2) 506 (505+1) 800 (799+1) 14 (12+2) 800 (797+3) 211 (209+2)
hid_firefly_app_firefly.cpp.qdimacs.gz 581 (579+2) 800 (799+1) 800 (799+1) 0 (0+0) 800 (797+3) 260 (257+3)
hid_hclient_ecdisp.c.qdimacs.gz 267 (265+1) 604 (603+1) 800 (799+1) 14 (12+2) 800 (798+2) 226 (224+2)
input_mouser_cseries.c.qdimacs.gz 279 (278+1) 513 (511+2) 800 (799+1) 15 (12+2) 800 (798+3) 182 (180+2)
input_mouser_detect.c.qdimacs.gz 314 (312+1) 578 (577+1) 800 (799+1) 14 (12+2) 800 (798+2) 134 (131+2)
input_pnpi8042_moudep.c.qdimacs.gz 240 (238+1) 473 (472+1) 800 (799+1) 14 (12+2) 800 (797+3) 203 (200+2)
ir_smscir_io.c.qdimacs.gz 473 (471+2) 800 (799+2) 800 (799+1) 16 (14+2) 800 (798+2) 268 (265+3)
kernel_agplib_init.c.qdimacs.gz 265 (263+2) 800 (798+2) 800 (800+0) 19 (16+3) 43 (43+1)
s cnf 1 (s cnf 1)
101 (99+2)
kernel_agplib_intrface.c.qdimacs.gz 258 (256+1) 425 (423+1) 800 (800+0) 14 (12+2) 800 (797+3) 204 (201+3)
kernel_uagp35_gart.c.qdimacs.gz 251 (250+1) 511 (509+1) 800 (799+1) 14 (11+2) 800 (797+3) 200 (198+2)
kmdf_AMCC5933_sys_S5933DK1.c.qdimacs.gz 421 (420+2) 647 (645+2) 800 (799+1) 28 (24+4) 800 (798+2) 223 (220+3)
kmdf_osrusbfx2_exe_dump.c.qdimacs.gz 408 (406+1) 686 (685+2) 800 (800+0) 14 (12+2) 0 (0+0)
s cnf 0 (s cnf 0)
800 (799+1)
kmdf_osrusbfx2_exe_testapp.c.qdimacs.gz 304 (303+1) 492 (490+1) 800 (800+0) 15 (12+2) 800 (797+3) 194 (191+3)
kmdf_pcidrv_sys_hw_nic_init.c.qdimacs.gz 296 (295+1) 515 (514+1) 800 (800+0) 14 (12+2) 800 (797+3) 193 (191+3)
kmdf_pcidrv_sys_hw_physet.c.qdimacs.gz 278 (276+2) 800 (798+2) 800 (800+0) 16 (13+3) 608 (605+3)
s cnf 1 (s cnf 1)
79 (77+2)
kmdf_usbsamp_sys_queue.c.qdimacs.gz 290 (289+2) 649 (648+2) 800 (799+1) 17 (15+2) 800 (797+3) 508 (505+4)
mmedia_gsm610_gsm610.c.qdimacs.gz 238 (237+1) 503 (501+1) 800 (799+1) 15 (12+2) 800 (798+2) 412 (408+5)
mmedia_gsm610_gsm6102.c.qdimacs.gz 300 (299+1) 586 (585+1) 800 (800+0) 22 (20+2) 0 (0+0)
s cnf 0 (s cnf 0)
174 (172+2)
mmedia_gsm610_gsm6103.c.qdimacs.gz 304 (303+1) 590 (588+1) 800 (800+0) 24 (22+2) 0 (0+0)
s cnf 0 (s cnf 0)
190 (188+2)
mmedia_imaadpcm_imaadpcm.c.qdimacs.gz 258 (257+1) 494 (492+1) 800 (799+1) 18 (16+2) 800 (797+3) 176 (173+2)
network_irda_miniport_nscirda_comm.c.qdimacs.gz 247 (246+1) 469 (467+1) 800 (798+2) 19 (16+2) 800 (797+3) 438 (436+2)
network_irda_miniport_nscirda_settings.c.qdimacs.gz 251 (250+1) 427 (426+1) 800 (799+1) 18 (16+2) 800 (796+4) 158 (156+2)
network_ndis_coisdn_TpiParam.c.qdimacs.gz 280 (279+1) 596 (594+1) 800 (799+1) 18 (16+2) 800 (796+4) 237 (235+2)
network_ndis_e100bex_5x_kd_mp_dbg.c.qdimacs.gz 498 (496+2) 718 (716+2) 800 (799+1) 19 (17+2) 800 (797+3) 558 (556+3)
network_ndis_rtlnwifi_extsta_st_aplst.c.qdimacs.gz 247 (246+1) 424 (423+1) 800 (799+1) 18 (16+2) 800 (795+5) 166 (164+2)
network_ndis_rtlnwifi_extsta_st_misc.c.qdimacs.gz 631 (630+2) 800 (799+1) 800 (799+1) 21 (19+2) 800 (797+3) 800 (800+0)
network_ndis_rtlnwifi_hw_hw_ccmp.c.qdimacs.gz 166 (165+1) 347 (345+1) 800 (799+1) 17 (14+2) 800 (797+3) 108 (106+2)
network_trans_sys_notify.c.qdimacs.gz 266 (265+1) 517 (516+1) 800 (800+0) 18 (16+2) 0 (0+0)
s cnf 0 (s cnf 0)
158 (156+2)
network_usbnwifi_mp_util.c.qdimacs.gz 622 (621+2) 800 (799+1) 800 (800+0) 21 (19+2) 800 (798+2) 800 (800+1)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 9
wins: 9
solved: 0
wins: 0
LinearBitvectorRankingFunction_gq.ts LinearBitvectorRankingFunction_gqc.ts LinearBitvectorRankingFunction_nq72.ts LinearBitvectorRankingFunction_quantor.ts LinearBitvectorRankingFunction_rareqsuuh3pb.ts LinearBitvectorRankingFunction_znenofex.ts