QBF Solver Evaluation Portal
qbflib.orgqestos results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| ASP_Program_Inclusion | 62 | 40 | 191.88 | |
| CounterFactual | 271 | 25 | 21 | 76521.84 |
| Model_instances | 248 | 4 | 1 | 140163.18 |
| Q_2_2_3 | 150 | 89959.89 | ||
| Q_2_3 | 188 | 112765.81 | ||
| Q_3_3 | 150 | 89973.99 | ||
| Q_3_3_3 | 149 | 88854.5 | ||
| RobotsD2 | 36 | 19 | 4 | 7182.38 |
| RobotsD3 | 30 | 23 | 4 | 2181.46 |
| RobotsD4 | 35 | 15 | 15 | 540.32 |
| RobotsD5 | 33 | 13 | 17 | 119.03 |
| Strategic_Companies | 183 | 8 | 37 | 58262.62 |