QBF Solver Evaluation Portal
qbflib.orgUnique instances for QUANTOR
QBFEVAL'04
| Instance | Time | Result |
|---|---|---|
| C432.blif_0.10_0.20_0_0_out_exact | 588.53 | UNSAT |
| C432.blif_0.10_0.20_0_1_out_exact | 657.69 | UNSAT |
| C499.blif_0.10_1.00_0_0_out_exact | 13.05 | UNSAT |
| C5315.blif_0.10_1.00_0_0_out_exact | 49.18 | UNSAT |
| s298_d5_s | 452.96 | SAT |
| s3330_d2_s | 154.87 | SAT |
| s499_d3_s | 11.36 | SAT |
| s499_d4_s | 58.77 | SAT |
| s641_d2_s | 350.81 | SAT |
| s713_d2_s | 287.14 | SAT |