QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for trafficlight-controller
QBFEVAL'16 - Prenex CNF Track.
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| tlc02-uniform-depth-114 | 1 | 19 | qsts |
| tlc02-uniform-depth-241 | 1 | 14 | qsts |
| tlc03-nonuniform-depth-17 | 1 | 23 | qsts |
| tlc04-nonuniform-depth-56 | 1 | 20 | qsts |
| tlc04-nonuniform-depth-98 | 1 | 17 | qsts |
| tlc04-uniform-depth-36 | 1 | 13 | qsts |