x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
qsts(0.09) | |
ghostq-plain(13.02) | |
ghostq-cegar(25.91) | |
rareqs(40.27) | |
qesto(50.96) | |
xb-qsts(60.29) | |
xb-bid-qsts(60.46) | |
caqe-minisat(84.83) | |
caqe-picosat(91.46) | |
aqua-s2v(292.92) |