Sota solver results for family toy
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
add20y.satCaqe-bloqqer-qdoSAT0
bs128n.satHiqqer2019_1SAT0
bs128y.satHiqqer2019_1SAT0
mult9.satCaqe-hqspreSAT0
stay24n.satHiqqer2019_2SAT0.93