QBF Solver Evaluation Portal
qbflib.orgUnique instances for xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.
| Instance | Time | Result |
|---|---|---|
| k_ph_p-13 | 158.16 | UNSAT |
| k8_2_3 | 36.04 | SAT |
| connect_8x7_6_R | 267.6 | SAT |
| connect_9x8_6_R | 434.36 | SAT |
| hid_hclient_ecdisp.c | 52.04 | SAT |
| k8_3_2 | 31.88 | SAT |
| connect_8x7_5_R | 285.01 | SAT |
| network_irda_miniport_nscirda_settings.c | 64.2 | SAT |
| C6288.blif_0.10_1.00_0_0_out_exact | 53.21 | SAT |
| k8_3_4 | 41.65 | SAT |
| input_mouser_cseries.c | 61.8 | SAT |
| k12_4_2 | 441.88 | SAT |
| k_ph_p-12 | 80.82 | UNSAT |
| kernel_agplib_intrface.c | 50.02 | SAT |
| p20-1.pddl_planlen=32 | 28.88 | UNSAT |
| p20-1.pddl_planlen=26 | 17.35 | UNSAT |
| p20-5.pddl_planlen=32 | 40.59 | UNSAT |
| p20-5.pddl_planlen=17 | 46.44 | UNSAT |