QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'16 - Random QBFs Track.
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| ASP_Program_Inclusion | 40 | 40 | 0 | 40 | 60.69 | aqua-s3o |
| CounterFactual | 80 | 56 | 27 | 29 | 1361.34 | caqe-picosat |
| Model_instances | 60 | 40 | 30 | 10 | 2770.03 | xb-bid-qsts |
| Q_2_3 | 50 | 23 | 23 | 0 | 678.69 | xb-bid-qsts |
| Q_3_3 | 50 | 12 | 12 | 0 | 350.79 | xb-bid-qsts |
| Q_3_3_3 | 50 | 4 | 4 | 0 | 122.63 | xb-bid-qsts |
| RobotsD2 | 30 | 30 | 26 | 4 | 873.38 | rareqs |
| RobotsD3 | 30 | 30 | 23 | 7 | 138.16 | rareqs |
| RobotsD4 | 30 | 30 | 15 | 15 | 64.44 | hiqqer1ldsq |
| RobotsD5 | 30 | 30 | 13 | 17 | 53.88 | qsts |
| Strategic_Companies | 80 | 52 | 8 | 44 | 1670.13 | rareqs |