QBF Solver Evaluation Portal
qbflib.orgUnique instances for semprop
QBFEVAL'06
| Instance | Time | Result |
|---|---|---|
| x400.2 | 0.27 | SAT |
| x400.3 | 0.27 | SAT |
| x400.7 | 0.26 | SAT |
| x205.1 | 0.13 | SAT |
| x225.8 | 0.12 | SAT |
| x210.3 | 0.1 | SAT |
| x235.2 | 0.12 | SAT |
| x225.9 | 0.14 | SAT |
| x250.3 | 0.14 | SAT |
| x200.4 | 0.13 | SAT |
| x200.8 | 0.12 | SAT |
| x220.4 | 0.15 | SAT |
| x230.0 | 0.14 | SAT |
| x230.1 | 0.13 | SAT |
| x230.5 | 0.13 | SAT |
| x195.9 | 0.11 | SAT |
| x235.6 | 0.13 | SAT |
| x185.7 | 0.1 | SAT |
| x240.1 | 0.14 | SAT |
| x200.0 | 0.13 | SAT |
| x240.3 | 0.14 | SAT |
| x240.7 | 0.16 | SAT |
| x245.2 | 0.15 | SAT |
| x240.4 | 0.13 | SAT |
| x250.7 | 0.16 | SAT |
| x250.8 | 0.14 | SAT |
| x190.1 | 0.09 | SAT |
| x190.4 | 0.09 | SAT |
| x235.3 | 0.15 | SAT |
| x300.2 | 0.18 | SAT |
| x225.2 | 0.13 | SAT |
| x350.9 | 0.22 | SAT |
| x220.8 | 0.14 | SAT |
| x300.0 | 0.18 | SAT |
| x300.1 | 0.18 | SAT |
| x300.6 | 0.19 | SAT |
| x300.7 | 0.18 | SAT |
| x350.3 | 0.24 | SAT |
| x350.5 | 0.22 | SAT |
| x215.9 | 0.11 | SAT |
| x400.0 | 0.3 | SAT |
| x215.7 | 0.12 | SAT |
| x225.1 | 0.12 | SAT |
| x240.6 | 0.15 | SAT |
| x170.7 | 0.08 | SAT |
| x185.9 | 0.1 | SAT |
| x215.3 | 0.1 | SAT |
| x240.8 | 0.16 | SAT |
| x245.3 | 0.15 | SAT |
| x250.6 | 0.15 | SAT |
| x350.2 | 0.24 | SAT |
| x400.6 | 0.3 | SAT |
| x400.8 | 0.29 | SAT |
| x400.9 | 0.3 | SAT |
| x175.4 | 0.09 | SAT |
| x210.8 | 0.13 | SAT |
| x215.2 | 0.12 | SAT |
| x235.1 | 0.14 | SAT |
| x210.1 | 0.12 | SAT |
| x300.8 | 0.18 | SAT |
| x250.9 | 0.15 | SAT |
| x180.4 | 0.1 | SAT |
| x400.4 | 0.29 | SAT |
| x185.1 | 0.09 | SAT |
| x300.3 | 0.19 | SAT |
| x200.2 | 0.12 | SAT |
| x230.3 | 0.13 | SAT |
| x195.4 | 0.1 | SAT |
| x185.3 | 0.07 | SAT |
| x350.7 | 0.24 | SAT |
| x195.8 | 0.09 | SAT |
| x250.5 | 0.14 | SAT |
| x400.1 | 0.27 | SAT |
| x190.9 | 0.1 | SAT |
| x195.0 | 0.09 | SAT |
| x205.2 | 0.13 | SAT |
| x215.6 | 0.12 | SAT |
| x220.0 | 0.15 | SAT |
| x225.4 | 0.13 | SAT |
| x240.9 | 0.16 | SAT |
| x250.1 | 0.15 | SAT |
| x350.6 | 0.25 | SAT |
| x300.5 | 0.19 | SAT |
| x350.4 | 0.24 | SAT |
| x400.5 | 0.29 | SAT |
| x175.7 | 0.1 | SAT |
| x300.4 | 0.19 | SAT |
| x215.4 | 0.13 | SAT |
| x230.9 | 0.14 | SAT |
| x170.2 | 0.09 | SAT |
| x195.1 | 0.11 | SAT |
| x210.9 | 0.13 | SAT |
| x160.5 | 0.08 | SAT |
| x220.1 | 0.14 | SAT |
| x205.7 | 0.13 | SAT |
| x210.5 | 0.12 | SAT |
| x220.2 | 0.14 | SAT |
| x180.5 | 0.1 | SAT |
| x165.5 | 0.08 | SAT |
| x180.6 | 0.09 | SAT |
| x170.0 | 0.08 | SAT |
| x245.5 | 0.14 | SAT |
| x170.6 | 0.09 | SAT |
| x200.9 | 0.13 | SAT |
| x210.7 | 0.12 | SAT |
| x245.8 | 0.14 | SAT |
| x230.2 | 0.15 | SAT |
| x245.4 | 0.16 | SAT |
| x300.9 | 0.17 | SAT |
| x225.5 | 0.15 | SAT |
| x205.8 | 0.13 | SAT |
| x225.6 | 0.13 | SAT |
| x350.1 | 0.23 | SAT |
| x215.1 | 0.1 | SAT |
| x235.5 | 0.13 | SAT |
| x350.0 | 0.22 | SAT |
| x350.8 | 0.22 | SAT |