QBF Solver Evaluation Portal
qbflib.orgUnique instances for semprop
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| ncf_4_16_8_d.4 | 854.69 | SAT |
| ncf_4_16_8_edau.8 | 89.42 | UNSAT |
| ncf_4_32_4_u.5 | 131.81 | SAT |
| ncf_8_16_8_euad.3 | 501.88 | SAT |
| ncf_4_16_8_u.3 | 739.88 | SAT |
| ncf_4_32_2_u.7 | 57.94 | SAT |
| ncf_8_16_8_u.2 | 861.59 | SAT |
| ncf_4_16_8_d.6 | 677.68 | SAT |
| ncf_4_32_2_edau.7 | 7.31 | SAT |
| ncf_8_16_8_d.4 | 134.73 | UNSAT |
| ncf_4_16_8_d.9 | 74.84 | SAT |
| ncf_8_32_2_edau.6 | 7.93 | UNSAT |
| ncf_4_16_8_euad.6 | 516.32 | SAT |
| ncf_8_16_8_edau.5 | 353.87 | SAT |
| ncf_4_16_8_edau.3 | 87.88 | SAT |
| ncf_8_16_8_d.2 | 96.46 | SAT |
| ncf_4_32_2_u.10 | 3.01 | SAT |
| ncf_4_32_4_edau.5 | 157.07 | SAT |
| robots_1_5_2_9.8 | 841.85 | UNSAT |
| robots_1_5_3_90.8 | 474.05 | UNSAT |
| robots_1_5_3_100.8 | 570.2 | UNSAT |
| robots_1_5_2_61.8 | 319.29 | UNSAT |
| ncf_4_32_2_edau.10 | 1.46 | SAT |
| ncf_4_16_4_d.3 | 21.23 | SAT |
| ncf_8_16_8_edau.4 | 246.18 | UNSAT |
| ncf_4_16_4_d.2 | 52.83 | SAT |
| ncf_4_32_2_d.6 | 719.58 | UNSAT |
| ncf_8_16_8_edau.2 | 715.5 | SAT |
| ncf_8_16_8_d.5 | 355.63 | SAT |
| ncf_8_16_8_euad.5 | 541.26 | SAT |
| ncf_4_16_8_d.2 | 280 | SAT |
| ncf_4_16_4_u.2 | 507.8 | SAT |
| ncf_4_16_8_d.8 | 87.56 | UNSAT |
| ncf_8_16_8_euad.2 | 409.31 | SAT |
| ncf_4_16_8_edau.2 | 684.34 | SAT |
| robots_1_5_4_17.8 | 795.41 | UNSAT |